FYI Famagouste c'est beau ! ________________________________ De : gdr-im-request(a)gdr-im.fr &lt;gdr-im-request(a)gdr-im.fr&gt; de la part de pascal caron &lt;pascal.caron(a)univ-rouen.fr&gt; Envoyé : mardi 24 janvier 2023 07:31 À : gdr-im(a)gdr-im.fr &lt;gdr-im(a)gdr-im.fr&gt; Objet : [gdr-im] CIAA 2023 CfP [Apologies for multiple postings] ============================================================ CIAA 2023 -- Call for Papers 27th International Conference on Implementation and Application of Automata September 19-22, 2023, Famagusta, Cyprus https://ciaa.emu.edu.tr/en ============================================================ 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, 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 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. https://ncma.emu.edu.tr/en CONTACT email: ciaa@emu.edu.tr<mailto:ciaa@emu.edu.tr> https://ciaa.emu.edu.tr/en ============================================================ ****************************************************** *** 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<mailto:Pascal.Caron@univ-rouen.fr> *** Tel : (0)2 32 95 52 95 Fax : (0)2 32 95 51 87