[Apologies for multiple postings]
============================================================
CIAA 2023 -- Call for Papers
27th International Conference on Implementation and Application of Automata
September 19-22, 2023, Famagusta, Cyprus
============================================================
The conference is organized by the Eastern Mediterranean University.
IMPORTANT DATES
- Paper submission deadline: April 14, 2023
- Author notification: May 29, 2023
- Camera-ready deadline: June 9, 2023
- Conference: September 19-22, 2023
TOPICS
Original papers are sought in all areas that relate
to implementation and application of automata, including (but not restricted to):
- algorithms on automata,
- automata and logic,
- bioinformatics,
- complexity of automata operations,
- compilers,
- computer-aided verification,
- concurrency and parallel computing,
- data structure design for automata,
- data and image compression,
- design and architecture of automata software,
- deterministic and nondeterministic models of automata,
- digital libraries,
- DNA/molecular/membrane computing,
- document engineering, editors, environments,
- experimental studies and practical experiences,
- implementation of verification methods and model checking,
- industrial applications,
- natural language and speech processing,
- networking,
- new algorithms for manipulating automata,
- object-oriented modeling,
- pattern-matching,
- pushdown automata and context-free grammars,
- 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,
- transducers and multi-tape automata,
- VLSI,
- viruses and related phenomena,
- and the world-wide web.
INVITED SPEAKERS
- Viliam Geffert, Koice, Slovakia
- Friedrich Otto, Kassel, Germany
- Cem Say, Istanbul, Türkiye
PROGRAM COMMITTEE (to be expanded)
- Johanna Björklund, Umeĺ University, Sweden
- Francine Blanchet-Sadri, The University of North Carolina at Chapel Hill, USA
- Cezar Câmpeanu, University of Prince Edward Island, Canada
- Pascal Caron, Université de Rouen, France
- Erzsébet Csuhaj-Varjú, Eötvös Loránd University, Hungary
- Frank Drewes, Umeĺ University, Sweden
- Ömer Egecioglu, University of California, Santa Barbara, USA
- Szilárd Zsolt Fazekas, Akita University, Japan
- Yo-Sub Han, Yonsei University, South Korea
- Markus Holzer, Institut für Informatik, Universität Giessen, Germany
- Szabolcs Iván, University of Szeged, Hungary
- Galina Jirásková, Slovak Academy of Sciences, Koice, Slovakia
- Jarkko Kari, University of Turku, Finland
- Martin Kutrib, Universität Giessen, Germany
- Markus Lohrey, University of Siegen, Germany
- Sylvain Lombardy, LaBRI - CNRS - Institut Polytechnique de Bordeaux, France
- Andreas Malcher, Universität Giessen, Germany
- Andreas Maletti, Universität Leipzig, Germany
- Florin Manea, Georg August University of Göttingen, Germany
- Sebastian Maneth, University of Edinburgh, UK
- Ian McQuillan, University of Saskatchewan, Canada
- Roland Meyer, TU Braunschweig, Germany
- Nelma Moreira, University of Porto, Portugal
- Frantiek Mráz, Charles University, Prague, Czech Republic
- Benedek Nagy, Eastern Mediterranean University, Famagusta (chair)
- Alexander Okhotin, St. Petersburg State University, Russia
- Giovanni Pighizzini, University of Milan, Italy
- Igor Potapov, University of Liverpool, UK
- Daniel Reidenbach, Loughborough University, UK
- Rogério Reis, University of Porto, Portugal
- Hiroyuki Seki, Nagoya University, Japan
- Shinnosuke Seki, The University of Electro-Communications, Tokyo, Japan
- György Vaszil, University of Debrecen, Hungary
- Hsu-Chun Yen, National Taiwan University, Taiwan
SUBMISSIONS
Submissions must be written in LaTeX using the LNCS style and
must not exceed 12 pages including bibliography in BibTeX using
bibliography style 'splncs04'. 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 any other conference with published proceedings or submitting
previously published papers is not allowed. Only electronic submissions
in the PDF format are accepted. Information about the submission
procedure will be available on the conference web page in due time. The
proceedings will be published by Springer-Verlag in the series Lecture Notes
in Computer Science and will be available at the conference.
SPECIAL ISSUE
Selected papers from the conference will be invited for consideration
in an extended version and will appear in a special issue of International Journal of Foundations of Computer Science (IJFCS).
FURTHER INFORMATION
CIAA2023 will be co-located with NCMA2023: the 13th International Workshop on Non-Classical Models of Automata and Applications. The workshop will be prior to the CIAA conference on 18-19 September.
CONTACT
============================================================
******************************************************
*** Universite de Rouen /
Departement d'informatique
*** Faculte des sciences / Batiment U2 2eme étage
*** et techniques / Avenue de l'Université
*** LITIS EA 4108 / 76801 Saint Etienne du Rouvray
***
***
*** E.mail :
Pascal.Caron@univ-rouen.fr
*** Tel : (0)2 32 95 52 95 Fax
: (0)2 32 95 51 87