posted by user: grupocole || 447 views || tracked by 2 users: [display]

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

FacebookTwitterLinkedInGoogle


Conference Series : Conference on Implementation and Application of Automata
 
Link: https://ciaa.emu.edu.tr/en
 
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

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
https://ciaa.emu.edu.tr/en

============================================================
Feel free to circulate among colleagues who may be interested.

Related Resources

ACM-Ei/Scopus-CWCBD 2023   2023 4th International Conference on Wireless Communications and Big Data (CWCBD 2023) -EI Compendex
NSDI 2023   20th USENIX Symposium on Networked Systems Design and Implementation
IEEE Xplore-Ei/Scopus-CCCAI 2023   2023 International Conference on Communications, Computing and Artificial Intelligence (CCCAI 2023) -EI Compendex
PLDI 2023   The 44th ACM SIGPLAN Conference on Programming Language Design and Implementation
FLAIRS 2023   FLAIRS-36 2023 : The 36th International FLAIRS Conference
CODASPY 2023   The 13th ACM Conference on Data and Application Security and Privacy
CSIP 2023   10th International Conference on Signal Processing
SEC 2023   9th International Conference on Software Engineering
ICALP 2023   International Colloquium on Automata, Languages and Programming
CSSE 2023   International Conference on Computer Science and Software Engineering