posted by user: sabrinamantaci || 229 views || tracked by 1 users: [display]

CIAA 2025 : 29th International Conference on Implementation and Application of Automata

FacebookTwitterLinkedInGoogle


Conference Series : Conference on Implementation and Application of Automata
 
Link: https://ciaa2025.unipa.it/
 
When Sep 22, 2025 - Sep 25, 2025
Where Palermo
Submission Deadline May 3, 2025
Notification Due Jun 20, 2025
Final Version Due Jun 30, 2025
Categories    computer science
 

Call For Papers

Call for Papers
¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯

The 29th International Conference on Implementation and Application of Automata (CIAA 2025) will be held in Palermo, Italy, September 22 – 25, 2025.

CIAA 2025 website:
https://ciaa2025.unipa.it/

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 is:
https://www.informatik.uni-giessen.de/ciaa/

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", 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: May 3rd
Notification deadline: June 20th
Final version deadline: June 30th
Early registration: July 18th

Invited Speakers
¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯
Marie-Pierre Béal, Université Paris-Est Marne-la-Vallée, France
Dirk Nowotka, University of Kiel, Germany
Alberto Policriti, University of Udine, Italy


Submission Guidelines
¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯
Submissions must be written in LaTeX using the LNCS LaTeX2e style and must not exceed 12 single-spaced pages, excluding the title page and the references. 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=ciaa2025

Publication
¯¯¯¯¯¯¯¯¯¯¯
CIAA 2025 proceedings will be published in the Springer Lecture Notes in Computer Science (LNCS).

Special Issue
¯¯¯¯¯¯¯¯¯¯¯¯¯
Extended versions of selected papers from the conference will be invited for consideration in a special issue of International Journal of Foundations of Computer Science (IJFCS).


Program Committee
¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯

Marcella Anselmo, Università di Salerno, Italy
Frédérique Bassino, Université Sorbonne Paris Nord, France
Luca Breveglieri, Politecnico di Milano, Italy
Martin Berger, University of Sussex, UK
Pascal Caron, Université de Rouen, France
Giuseppa Castiglione, Università di Palermo, Italy (co-chair)
Erzsébet Csuhaj-Varjú, Eötvös Loránd University, Hungary
Frank Drewes, Umeå University, Sweden
Szilárd Zsolt Fazekas, Akita University, Japan
Dora Giammarresi, Università di Roma Tor Vergata, Italy
Yo-Sub Han, Yonsei University, South Korea
Markus Holzer, University of Giessen, Germany
Galina Jirásková, Slovak Academy of Sciences, Košice, Slovakia
Nataša Jonoska, University of South Florida, USA
Jarkko Kari, University of Turku, Finland
Ondřej Klíma, Masaryk University, Czech Republic
Martin Kutrib, University of Giessen, Germany
Julien Leroy, Université de Liège, Belgium
Andreas Malcher, University of Giessen, Germany
Andreas Maletti, University of Leipzig, Germany
Florin Manea, University of Göttingen, Germany
Sebastian Maneth, University of Bremen, Germany
Sabrina Mantaci, Università di Palermo, Italy (co-chair)
Victor Mitrana, Polytechnic University of Madrid, Spain
Nelma Moreira, University of Porto, Portugal
Cyril Nicaud, Université Gustave Eiffel, France
Giovanni Pighizzini, Università di Milano Statale, Italy
Luca Prigioniero, University of Loughborough, UK
Rogerio Reis, Universidade do Porto, Portugal
Michel Rigo, University of Liège, Belgium
Giuseppe Romana, Università di Palermo, Italy
Kai Salomaa, Queen’s University, Canada
Shinnosuke Seki, The University of Electro-Communications, Tokyo, Japan
Mikhail Volkov, Ural Federal University, Russia
Bruce Watson, Stellenbosch University, South Africa
Hsu-Chun Yen, National Taiwan University, Taiwan


Organizing Committee
¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯
Giuseppa Castiglione (University of Palermo)
Chiara Epifanio (University of Palermo)
Gabriele Fici (University of Palermo)
Estéban Gabory (University of Palermo)
Dora Giammarresi (University of Roma Tor Vergata)
Sabrina Mantaci (University of Palermo)
Giuseppe Romana (University of Palermo)
Marinella Sciortino (University of Palermo)

Venue
¯¯¯¯¯
The conference will be held in the Sala Lanza of the University of Palermo’s Botanical Garden. Address: Via Lincoln 2, 90123, Palermo, Italy.

Contact
¯¯¯¯¯¯¯
All questions should be addressed to:

ciaa2025@unipa.it


Giuseppa Castiglione and Sabrina Mantaci, University of Palermo.

Related Resources

IEEE-Ei/Scopus-CNIOT 2025   2025 IEEE 6th International Conference on Computing, Networks and Internet of Things (CNIOT 2025) -EI Compendex
PLDI 2025   The ACM SIGPLAN Conference on Programming Language Design and Implementation
ACM SAC 2025   40th ACM/SIGAPP Symposium On Applied Computing
OSDI 2025   The 19th USENIX Symposium on Operating Systems Design and Implementation
IEEE CNCIT 2025   2025 4th International Conference on Networks, Communications and Information Technology (CNCIT 2025)
AIAT 2025   2025 5th International Conference on Artificial Intelligence and Application Technologies (AIAT 2025)
ICALP 2025   International Colloquium on Automata, Languages and Programming
IEEE AAIEE 2025   IEEE--2025 International Symposium on the Application of Artificial Intelligence in Electrical Engineering (AAIEE 2025)