CIAA: Conference on Implementation and Application of Automata

FacebookTwitterLinkedInGoogle

 

Past:   Proceedings on DBLP

Future:  Post a CFP for 2025 or later   |   Invite the Organizers Email

 
 

All CFPs on WikiCFP

Event When Where Deadline
CIAA 2024 The 28th International Conference on Implementation and Application of Automata
Sep 3, 2024 - Sep 6, 2024 Akita, Japan Apr 19, 2024
CIAA 2023 27th International Conference on Implementation and Application of Automata
Sep 19, 2023 - Sep 22, 2023 Famagusta, Cyprus Apr 14, 2023
CIAA 2022 Conference on Implementation and Application of Automata
Jun 28, 2022 - Jul 1, 2022 Rouen, France Feb 28, 2022
CIAA 2018 23rd International Conference on Implementation and Application of Automata
Jul 30, 2018 - Aug 2, 2018 Charlottetown, Canada Mar 11, 2018
CIAA 2017 22nd International Conference on Implementation and Application of Automata
Jun 27, 2017 - Jun 30, 2017 Marne-la-Vallée (Fr Mar 1, 2017
CIAA 2016 21st International Conference on Implementation and Application of Automata
Jul 19, 2016 - Jul 22, 2016 Seoul (South Korea) Mar 15, 2016
CIAA 2015 20th International Conference on Implementation and Application of Automata
Aug 18, 2015 - Aug 21, 2015 Umea Sweden Apr 19, 2015
CIAA 2014 Conference on Implementation and Application of Automata
Jul 30, 2014 - Aug 2, 2014 Giessen, Germany Mar 9, 2014
CIAA 2013 18th International Conference on Implementation and Application of Automata
Jul 16, 2013 - Jul 19, 2013 Halifax, Nova Scotia, Canada Mar 10, 2013
CIAA 2012 17th International Conference on Implementation and Application of Automata
Jul 17, 2012 - Jul 20, 2012 Porto, Portugal Mar 18, 2012
CIAA 2010 The 15th International Conference on Implementation and Application of Automata
Aug 12, 2010 - Aug 15, 2010 Winnipeg, Manitoba, Canada Apr 9, 2010
CIAA 2009 14th International Conference on Implementation and Application of Automata
Jul 14, 2009 - Jul 17, 2009 Sydney, Australia Mar 16, 2009
CIAA 2008 Thirteenth International Conference on Implementation and Application of Automata (CIAA)
Jul 21, 2008 - Jul 24, 2008 San Francisco, California Mar 1, 2008
 
 

Present CFP : 2024

Call for Papers
---------------

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 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:
• CIAA 2023 Famagusta, Northern Cyprus
• CIAA 2022 Rouen, France
• CIAA 2021 Bremen, Germany
• CIAA 2020 (cancelled), Loughborough, United Kingdom
• CIAA 2019, Kosice, Slovakia
• CIAA 2018, Charlottetown, PEI, Canada
• CIAA 2017, Marne-la-Vallée (Paris), France
• CIAA 2016, Seoul, South Korea
• CIAA 2015, Umeå, Sweden
• CIAA 2014, Giessen, Germany

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 honor of our late colleague, Sheng YU.


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.
The proceedings will be published in the Springer LNCS series and will be available at the conference.

Authors should submit their contributions through Easychair:
https://easychair.org/conferences/?conf=ciaa2024


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, Republic of Korea,
• Orna Kupferman, Hebrew University, Israel
• Hiroyuki Seki, Nagoya University, Japan

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
• Markus Lohrey, University of Siegen, Germany
• 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)

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.

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
 

Related Resources

SPIE-Ei/Scopus-CVCM 2024   2024 5th International Conference on Computer Vision, Communications and Multimedia (CVCM 2024) -EI Compendex
PLDI 2024   The 45th ACM SIGPLAN Conference on Programming Language Design and Implementation
GreeNet Symposium - SGNC 2024   15th Symposium on Green Networking and Computing (SGNC 2024)
OSDI 2024   The 18th USENIX Symposium on Operating Systems Design and Implementation
IEEE ICA 2022   The 6th IEEE International Conference on Agents
ICALP 2024   International Colloquium on Automata, Languages and Programming
SMC 2024   8th International Conference on Soft Computing, Mathematics and Control
NSDI 2024   The 21st USENIX Symposium on Networked Systems Design and Implementation
CODASPY 2024   The 14th ACM Conference on Data and Application Security and Privacy
ACM-Ei/Scopus-AI2A 2024   2024 4th International Conference on Artificial Intelligence, Automation and Automation (AI2A 2024) -EI Compendex