![]() |
| |||||||||||||||
CIAA 2025 : 29th International Conference on Implementation and Application of AutomataConference Series : Conference on Implementation and Application of Automata | |||||||||||||||
Link: https://ciaa2025.unipa.it/ | |||||||||||||||
| |||||||||||||||
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. |
|