Call for Papers

C I A A     2 0 1 8
THE 23rdINTERNATIONAL CONFERENCE ON IMPLEMENTATION AND APPLICATION OF AUTOMATA
http://www.smcs.upei.ca/ciaa2018

The 23rd International Conference on Implementation and Applications of Automata will take place in Charlottetown, Prince Edward Island, Canada between July 30 and August 2, 2018. Charlottetown is the capital and largest city on Prince Edward Island, and the birthplace of Canada. The conference is organized by the School of Mathematical and Computational Sciences of University of Prince Edward Island.

Important Dates

  • Deadline for submissions: March 11 2018,
  • Notification of acceptance or rejection: April 20, 2018
  • Camera ready for the conference proceedings: May 6, 2018
  • Conference: July 30--August 2, 2018

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.

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).

Topics

We are inviting your participation at CIAA 2018. 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,
  • 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.
DCFS 2018 will take place immediately after
  • DCFS 2018 The 19th International Conference on Descriptional Complexity, Halifax/Nova Scotia, Canada, July 15 - 27, 2018,
and before
  • DLT 2018 The 22nd International Conference on Developments in Language Theory, Tokyo, Japan, September 10-14, 2018,

thus it will be easy to attend all these events.


Invited Speakers

Steering Committee

  • Jean-Marc Champarnaud (Université de Rouen, Rouen, France)
  • Markus Holzer (Justus-Liebig-Universität, Giessen, Germany)
  • Oscar Ibarra (University of California, Santa Barbara, USA)
  • Kai T. Salomaa (Queen's University, Kingston/Ontario, Canada)
  • Hsu-Chun Yen (National Taiwan University, Taipei, Taiwan)

Organizing Committee

  • ... (partial list)
  • Cezar Câmpeanu (University of Prince Edward Island, Canada)
  • Chris Vessey (University of Prince Edward Island, Canada)
  • Yingwei Wang (University of Prince Edward Island, Canada)

Website and Contacts

Official CIAA 2018 website

Personal inquires should be sent to

or to

CIAA 2018 Organizing Committee, School of Mathematical and Computational Sciences,
University of Prince Edward Island,
550 University Avenue, Charlottetown, PE C1A 4P3, CANADA.

Program Committee

  • Francine Blanchet-Sadri (University of North Carolina, USA)
  • Cezar Câmpeanu (Charlottetown, Canada)
  • Arnaud Carayol (Université Paris-Est, France)
  • Jean-Marc Champarnaud (Université de Rouen, Rouen, France)
  • Salimur Choudhury (Lakehead University, Canada)
  • Jan Daciuk (Technical University of Gdańsk, Poland)
  • Dora Giammarresi (University of Rome Tor Vergata, Italy)
  • Yo-Sub Han (Yonsei University, Seoul, South Korea)
  • Markus Holzer (Justus-Liebig-Universität, Giessen, Germany)
  • Oscar Ibarra (University of California, Santa Barbara, USA)
  • Galina Jirásková (Slovak Academy of Sciences, Slovak Republic)
  • Juhani Karhumäki (University of Turku, Finland)
  • Sylvain Lombardy (Bordeaux Institute of Technology, France)
  • Carlo Mereghetti (University of Milano, Italy)
  • František Mráz (Univerzita Karlova, Czech Republic)
  • Cyril Nicaud (Université Paris-Est, France)
  • Alexander Okhotin (University of St Petersburg, Russian Federation)
  • Giovanni Pighizzini (University of Milano, Italy)
  • Daniel Reidenbach (Loughborough University, United Kingdom)
  • Rogério Reis (University of Porto, Portugal)
  • Kai T. Salomaa (Queen's University, Kingston/Ontario, Canada)
  • Shinnosuke Seki (University of Electro-Communications, Japan)
  • Klaus Sutner (Carnegie Mellon University, USA)
  • Mikhail Volkov (Ural Federal University, Russian Federation)
  • Abuzer Yakaryilmaz (National Laboratory for Scientific Computing, Brazil)
  • Hsu-Chun Yen (National Taiwan University, Taipei, Taiwan)

We are looking forward to your participation.