CIAA: Conference on Implementation and Application of Automata

FacebookTwitterLinkedInGoogle

 

Past:   Proceedings on DBLP

Future:  Post a CFP for 2024 or later   |   Invite the Organizers Email

 
 

All CFPs on WikiCFP

Event When Where Deadline
CIAA 2023 27th International Conference on Implementation and Application of Automata
Sep 19, 2023 - Sep 22, 2023 Famagusta, Cyprus Apr 14, 2023
CIAA 2022 Conference on Implementation and Application of Automata
Jun 28, 2022 - Jul 1, 2022 Rouen, France Feb 28, 2022
CIAA 2018 23rd International Conference on Implementation and Application of Automata
Jul 30, 2018 - Aug 2, 2018 Charlottetown, Canada Mar 11, 2018
CIAA 2017 22nd International Conference on Implementation and Application of Automata
Jun 27, 2017 - Jun 30, 2017 Marne-la-Vallée (Fr Mar 1, 2017
CIAA 2016 21st International Conference on Implementation and Application of Automata
Jul 19, 2016 - Jul 22, 2016 Seoul (South Korea) Mar 15, 2016
CIAA 2015 20th International Conference on Implementation and Application of Automata
Aug 18, 2015 - Aug 21, 2015 Umea Sweden Apr 19, 2015
CIAA 2014 Conference on Implementation and Application of Automata
Jul 30, 2014 - Aug 2, 2014 Giessen, Germany Mar 9, 2014
CIAA 2013 18th International Conference on Implementation and Application of Automata
Jul 16, 2013 - Jul 19, 2013 Halifax, Nova Scotia, Canada Mar 10, 2013
CIAA 2012 17th International Conference on Implementation and Application of Automata
Jul 17, 2012 - Jul 20, 2012 Porto, Portugal Mar 18, 2012
CIAA 2011 16th International Conference on Implementation and Application of Automata
Jul 13, 2011 - Jul 16, 2011 Blois, France Mar 1, 2011
CIAA 2010 The 15th International Conference on Implementation and Application of Automata
Aug 12, 2010 - Aug 15, 2010 Winnipeg, Manitoba, Canada Apr 9, 2010
CIAA 2009 14th International Conference on Implementation and Application of Automata
Jul 14, 2009 - Jul 17, 2009 Sydney, Australia Mar 16, 2009
CIAA 2008 Thirteenth International Conference on Implementation and Application of Automata (CIAA)
Jul 21, 2008 - Jul 24, 2008 San Francisco, California Mar 1, 2008
 
 

Present CFP : 2023


============================================================

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