19-23 Jul 2021
Call for Papers
C I A A 2 0 2 1
THE 25th INTERNATIONAL CONFERENCE ON
IMPLEMENTATION AND APPLICATION OF AUTOMATA
http://wwwdb.informatik.uni-bremen.de/ciaa2021/
The 25th International Conference on Implementation and Applications of
Automata will take place in Bremen, Germany between July 19 and 23, 2021.
It is organized by the Database Group (headed by Sebastian Maneth)
of the University of Bremen.
Remote attendance will be possible, regardless of whether or not
there will be a physical meeting.
* IMPORTANT DATES *
Deadline for submissions: March 15 2021, AoE
Notification of acceptance or rejection: April 19, 2021
Camera ready for the conference proceedings: May 3, 2021
Conference: July 19--23, 2021
* SUBMISSIONS *
Submissions must be written in LaTeX using the LNCS 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 website
https://easychair.org/conferences/?conf=ciaa2021
* INVITED SPEAKERS *
Mikolaj Bojanczyk (University of Warsaw)
Javier Esparza (Technical University of Munich)
Jeffrey Shallit (University of Waterloo)
* SHENG YU AWARD *
A "Best Paper Award," since 2014 called "Sheng Yu Award" will be
presented to the author(s) of the paper judged to be the best on the
basis of the referee reports.
* SPECIAL ISSUE *
It is planned to invite selected papers from the conference for
consideration in an extended version for a planned special issue in
Theoretical Computer Science (TCS).
* TOPICS *
Original papers are sought in all areas that relate to implementation
and application of automata, including (but not limited to):
algorithms on automata,
automata and logic,
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,
implementation of verification methods and model checking,
industrial applications,
natural language and speech processing,
networking, new algorithms for manipulating automata,
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
* 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
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, Seoul, South Korea
Jan Holub, Czech Technical University in Prague, Czech Republic
Markus Holzer, University of Giessen, Germany
Oscar Ibarra, University of California, Santa Barbara, USA
Christos Kapoutsis, Carnegie Mellon University in Qatar, Qatar
Jarkko Kari, University of Turku, Finland
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 (PC Chair)
Brink van der Merwe, Stellenbosch University, South Africa
Nelma Moreira, University of Porto, Portugal
Cyril Nicaud, Université Paris-Est Marne-la-Vallée, France
Dirk Nowotka, University of Kiel, Germany
Alexander Okhotin, St. Petersburg State University, Russia
Giovanni Pighizzini, University of Milan, Italy
Bala Ravikumar, Sonoma State University, USA
Daniel Reidenbach, Loughborough University, Great Britain
Rogério Reis, University of Porto, Portugal
Kai Salomaa, Queen's University, Kingston, Canada
Hiroyuki Seki, Nagoya University, Japanb
Shinnosuke Seki, University of Electro-Communications, Tokyo, Japan
Helmut Seidl, Technical University of Munich, Germany
Jean-Marc Talbot, Aix-Marseille University, France
Bruce Watson, Stellenbosch University, South Africa
Hsu-Chun Yen, National Taiwan University, Taipei, Taiwan
--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/
provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam