28th International Conference on Implementation and Application of Automata

The call for papers for CIAA 2024 is available in text format here.

Overview

The International Conference on Implementation and Application of Automata (CIAA) is an annual conference in the field of theoretical computer science. The website of the conference series:
http://www.informatik.uni-giessen.de/ciaa/ciaa_welcome.html

The purpose of CIAA is to bring together members of the academic, research, and industrial community who have an interest in the theory, implementation, and application of automata and related structures. The conference concerns research on all aspects of implementation and application of automata and related structures, including theoretical aspects.

The first edition was held under the name Workshop on Implementing Automata (WIA’96) in London, Ontario, Canada, in 1996. In 2000, the workshop WIA became the conference CIAA. The last 10 editions of the conference took place in:

A “Best Paper Awards” will be presented to the author(s) of the paper judged to be the best on the basis of the referee reports. From 2014, these “Best Paper Awards” are named “Sheng Yu Awards” in honour of our late lamented colleague, Sheng YU.

Topics

We solicit papers on all aspects of implementation and application of automata and related structures, including theoretical aspects, including but not limited to:
• Algorithms on automata
• Automata and logic
• Bioinformatics
• Complexity of automata operations
• Compilers
• Computer-aided verification
• Concurrency
• Data structure design for automata
• Data and image compression
• Design and architecture of automata software
• Digital libraries
• DNA/molecular/membrane computing
• Document engineering
• Editors, environments
• Experimental studies and practical experiences
• Industrial applications
• Natural language processing
• Networking
• New algorithms for manipulating automata
• Object-oriented modeling
• Pattern-matching
• Quantum computing
• Speech and speaker recognition
• Structured and semi-structured documents
• Symbolic manipulation environments for automata
• Teaching
• Text processing
• Techniques for graphical display of automata
• VLSI
• Viruses, related phenomena
• World-wide web

Invited speakers

  • Sang-Ki Ko, University of Seoul, South Korea
  • Orna Kupferman, Hebrew University of Jerusalem, Israel
  • Carl-Fredrik Nyberg Brodda, Korea Institute For Advanced Study, South Korea
  • Hiroyuki Seki, Nagoya University, Japan

Publications

CIAA 2024 proceedings will be published in the Springer Lecture Notes in Computer Science (LNCS). Extended versions of selected papers from the conference will be invited for consideration in a special issue of Theoretical Computer Science.


Contact

All questions should be emailed to ciaa2024@math.akita-u.ac.jp

Sponsorship

CIAA 2024 is supported by the International Exchange Program International Research Conference Support grant of the National Institute of Information and Communications Technology (NICT) of Japan.