Logic List Mailing Archive

CIAA 2021: Implementation & Application of Automata

19-23 Jul 2021
Bremen, Germany

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.

   * 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

   * 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