posted by user: grupocole || 2916 views || tracked by 5 users: [display]

CIAA 2023 : 27th International Conference on Implementation and Application of Automata


Conference Series : Conference on Implementation and Application of Automata
When Sep 19, 2023 - Sep 22, 2023
Where Famagusta, Cyprus
Submission Deadline Apr 14, 2023
Notification Due May 29, 2023
Final Version Due Jun 9, 2023
Categories    theoretical computer science   NLP

Call For Papers


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.


- Paper submission deadline: April 14, 2023
- Author notification: May 29, 2023
- Camera-ready deadline: June 9, 2023
- Conference: September 19-22, 2023


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,
- viruses and related phenomena,
- and the world-wide web.


- Viliam Geffert, Košice, 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, Košice, 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
- František 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 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.


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).


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.



Feel free to circulate among colleagues who may be interested.

Related Resources

CIAA 2024   The 28th International Conference on Implementation and Application of Automata
ACM-Ei/Scopus-CCISS 2024   2024 International Conference on Computing, Information Science and System (CCISS 2024)
PLDI 2024   The 45th ACM SIGPLAN Conference on Programming Language Design and Implementation
AISC 2024   12th International Conference on Artificial Intelligence, Soft Computing
OSDI 2024   The 18th USENIX Symposium on Operating Systems Design and Implementation
DEPLING 2023   International Conference on Dependency Linguistics
ICALP 2024   International Colloquium on Automata, Languages and Programming
TSD 2024   Twenty-seventh International Conference on Text, Speech and Dialogue
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