¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯
The 28th International Conference on Implementation and Application of Automata (CIAA 2024) will be held in Akita, Japan, between September 3 – 6, 2024.
CIAA 2024 website:
http://www.math.akita-u.ac.jp/ciaa2024/
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 "Sheng Yu Award", named in honor of our late colleague, will be presented to the author(s) of the paper judged to be the best on the basis of the referee reports.
List of 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
Important Dates
¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯
• Submission deadline: April 19, 2024
• Notification to authors: May 24, 2024
• Camera-ready version: June 9, 2024
Invited Speakers
¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯
• Sang-Ki Ko, University of Seoul, South Korea
• Orna Kupferman, Hebrew University, Israel
• Hiroyuki Seki, Nagoya University, Japan
Submission Guidelines
¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯
Submissions must be written in LaTeX using the LNCS LaTeX2e style and must not exceed 12 pages, bibliography included. If the authors believe that more details are essential to substantiate the main claims, they may include a clearly marked appendix that will be read at the discretion of the program committee. Simultaneous submissions of papers to journals or any other conference with published proceedings, or submitting previously published papers is not allowed. Only electronic submission of PDF documents is possible.
Authors should submit their contributions through Easychair:
https://easychair.org/conferences/?conf=ciaa2024
Publication
¯¯¯¯¯¯¯¯¯¯¯
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 a journal to be announced.
Program Committee
¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯
• Marie-Pierre Béal, Université Paris-Est Marne-la-Vallée, France
• Cezar Câmpeanu, University of Prince Edward Island, Canada
• Pascal Caron, University of Rouen Normandy, France
• Giuseppa Castiglione, University of Palermo, Italy
• Erzsébet Csuhaj-Varjú, Eötvös Loránd University, Hungary
• Frank Drewes, Umeå University, Sweden
• Ömer Egecioglu, University of California Santa Barbara, US
• Attila Egri-Nagy, Akita International University, Japan
• Szilárd Zsolt Fazekas, Akita University, Japan (chair)
• Yo-Sub Han, Yonsei University, South Korea
• Markus Holzer, University of Giessen, Germany
• Jarkko Kari, University of Turku, Finland
• Manfred Kufleitner, University of Stuttgart, Germany
• Martin Kutrib, University of Giessen, Germany
• Galina Jirásková, Slovak Academy of Sciences, Slovakia
• Sylvain Lombardy, LaBRI — CNRS — Institut Polytechnique de Bordeaux, France
• Andreas Maletti, University of Leipzig, Germany
• Andreas Malcher, University of Giessen, Germany
• Florin Manea, University of Göttingen, Germany
• Sebastian Maneth, University of Bremen, Germany
• Ian McQuillan, University of Saskatchewan, Canada
• Brink van der Merwe, Stellenbosch University, South Africa
• Roland Meyer, Technical University of Braunschweig, Germany
• Victor Mitrana, Polytechnic University of Madrid, Spain
• Nelma Moreira, University of Porto, Portugal
• František Mráz, Charles University, Czech Republic
• Benedek Nagy, Eastern Mediterranean University, Northern Cyprus
• Friedrich Otto, University of Kassel, Germany
• Giovanni Pighizzini, University of Milan, Italy
• Luca Prigioniero, Loughborough University, UK
• Rogério Reis, University of Porto, Portugal
• Michel Rigo, University of Liège, Belgium
• Kai Salomaa, Queen's University, Canada
• Shinnosuke Seki, University of Electro-Communications, Japan
• Ryoma Shinya, Akita University, Japan
• Nicholas Tran, Santa Clara University, US
• György Vaszil, University of Debrecen, Hungary
• Mikhail Volkov, Ural Federal University, Russia
• Hsu-Chun Yen, National Taiwan University, Taiwan
Organizing committee
¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯
• Szilárd Zsolt Fazekas (Akita University)
• Shinnosuke Seki (University of Electro-Communications)
• Ryoma Shinya (Akita University)
• Akihiro Yamamura (Akita University)
Venue
¯¯¯¯¯
The conference will be held in the Atorion building in Akita, Japan.
Contact
¯¯¯¯¯¯¯
All questions should be addressed to Szilard Fazekas by email to:
ciaa2024@math.akita-u.ac.jp
_____________________________________
Szilard Fazekas
Associate Professor, Akita University
¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************