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:
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 Theoretical 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
<https://scholar.google.co.uk/citations?view_op=view_org&hl=it&org=15379174826387696676>,
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:
Giuseppa Castiglione and Sabrina Mantaci, University of Palermo.
Giuseppa Castiglione
Ricercatrice INF/01
Dipartimento di Matematica e Informatica
Via Archirafi 34, 90123 Palermo
**********************************************************
*
* 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/
*
**********************************************************
Posts
