posted by organizer: ludovic_mignot || 221 views || tracked by 1 users: [display]

CIAA 2022 : Conference on Implementation and Application of Automata

FacebookTwitterLinkedInGoogle


Conference Series : Conference on Implementation and Application of Automata
 
 
When Jun 28, 2022 - Jul 1, 2022
Where Rouen, France
Submission Deadline Feb 20, 2022
Notification Due Apr 11, 2022
Final Version Due Apr 20, 2022
Categories    automata   formal languages   theoretical computer science
 

Call For Papers

CIAA 2022: CALL FOR PAPERS

26th International Conference on Implementation and Application of Automata

Rouen, France
June 28, July 1st, 2022
Submission link: https://easychair.org/conferences/?conf=ciaa2022

The International Conference on Implementation and Application of Automata
is an annual conference in the field of theoretical computer science:
http://www.informatik.uni-giessen.de/ciaa/ciaa_welcome.html

Its purpose is to bring together members of the academic, research, and industrial
community who have an interest in the theory, implementation, and application of
automata and related structures. The conference concerns research on all aspects
of implementation and application of automata and related structures, including
theoretical aspects.

The first Workshop on Implementing Automata (WIA'96) was held in London, Ontario,
Canada, in 1996. In 2000, the workshop WIA became the conference CIAA.
The last editions are listed here:

CIAA 2021 Bremen, Germany
CIAA 2020 (canceled), Loughborough, United Kingdom
CIAA 2019, Kosice, Slovakia
CIAA 2018, Charlottetown, PEI, Canada
CIAA 2017, Marne-la-Vallée (Paris), France
CIAA 2016, Seoul, South Korea
CIAA 2015, Umeå, Sweden
CIAA 2014, Giessen, Germany

A "Best Paper Awards" will be presented to the author(s) of the paper judged to be the best on the basis of the referee reports. From 2014, these "Best Paper Awards" are named "Sheng Yu Awards" in honour of our late lamented colleague, Sheng YU.

Selected papers from the conference will be invited for consideration in an extended version for a special issue in Theoretical Computer Science (TCS).


Submission Guidelines
---------------------

Submissions must be written in LaTeX using the LNCS LaTeX2e style and must not exceed 12 pages, bibliography included. 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 journals or any other conference with published proceedings, or submitting
previously published papers is not allowed. Only electronic submission of PDF documents is possible.
The proceedings will be published in the Springer LNCS series and will be available at the conference.
Authors should submit their contributions at the Easychair website:
https://easychair.org/conferences/?conf=ciaa2022

List of Topics
--------------

We solicit papers on all aspects of implementation and application of automata and related structures, including theoretical aspects, as but not limited to:

Bioinformatics
Complexity of automata operations
Compilers
Computer-aided verification
Concurrency
Data structure design for automata
Data and image compression
Design and architecture of automata software
Digital libraries
DNA/molecular/membrane computing
Document engineering
Editors, environments
Experimental studies and practical experiences
Industrial applications
Natural language processing
Networking
New algorithms for manipulating automata
Object-oriented modeling
Pattern-matching
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
VLSI
Viruses, related phenomena
World-wide web

Important Dates
---------------

Submission deadline: February 20th 2022
Notification to authors: April 11th 2022
Camera-ready version: April 20th 2022

Program Committee
-----------------

Marie-Pierre Béal, Université Paris-Est Marne-la-Vallée, France,
Francine Blanchet-Sadri, University of North Carolina, Chapel Hill, USA,
Cezar Câmpeanu, University of Prince Edward Island, Canada,
Pascal Caron, Université de Rouen Normandie, France (co-chair),
Jan Daciuk, Gdańsk University of Technology, Poland,
Mike Domaratzki, University of Manitoba, Canada,
Emmanuel Filiot, Université Libre de Bruxelles, Belgium,
Yo-Sub Han, Yonsei University, South Korea,
Jan Holub, Czech Technical University in Prague, Czech Republic,
Markus Holzer, University of Giessen, Germany,
Jarkko Kari, University of Turku, Finland,
Galina Jiraskova, Slovak Academy of Sciences, Košice, Slovakia,
Markus Lohrey, University of Siegen, Germany,
Sylvain Lombardy, LaBRI — CNRS — Institut Polytechnique de Bordeaux, France,
Andreas Maletti, University of Leipzig, Germany,
Sebastian Maneth, University of Bremen, Germany,
Ludovic Mignot, Université de Rouen Normandie, France (co-chair),
Dirk Nowotka, University of Kiel, Germany,
Alexander Okhotin, St. Petersburg State University, Russia,
Giovanni Pighizzini, University of Milan, Italy,
Daniel Reidenbach, Loughborough University, Great Britain,
Rogério Reis, University of Porto, Portugal,
Michel Rigo, University of Liege, Belgium,
Kai Salomaa, Queen's University, Kingston, Canada,
Shinnosuke Seki, University of Electro-Communications, Japan,
Jeffrey Shallit, University of Waterloo, Canada,
Bruce Watson, Stellenbosch University, South Africa,
Hsu-Chun Yen, National Taiwan University, Taiwan

Organizing committee
--------------------

Pascal Caron
Jean-Gabriel Luque
Ludovic Mignot
Florent Nicart
Bruno Patrou


Invited Speakers
----------------

Yo-Sub Han, Yonsei University, South Korea,
Markus Holzer, University of Giessen, Germany,
Nelma Moreira, University of Porto, Portugal


Publication
-----------

CIAA 2022 proceedings will be published in the Springer Lecture Notes in Computer Science (LNCS)

Venue
-----

The conference will be held in l'Atrium 115 Boulevard de l'Europe in Rouen, Normandy, France.

Contact
-------

All questions about submissions should be emailed to ciaa2022-org@sciencesconf.org

Related Resources

CIAA 2022   26th International Conference on Implementation and Application of Automata
LATIN 2022   The 15th Latin American Theoretical Informatics Symposium
OSDI 2022   16th USENIX Symposium on Operating Systems Design and Implementation
IWOCA 2022   33rd International Workshop on Combinatorial Algorithms
PLDI 2022   The 43rd ACM SIGPLAN Conference on Programming Language Design and Implementation
ICALP 2021   International Colloquium on Automata, Languages and Programming
ICFEM 2022   23th International Conference on Formal Engineering Methods
NSDI 2021   18th USENIX Symposium on Networked Systems Design and Implementation
CODASPY 2022   The 12th ACM Conference on Data and Application Security and Privacy
ASAP 2022   33rd IEEE International Conference on Application-specific Systems, Architectures, and Processors