|
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 25 2018, AoE, FIRM
- New submissions are allowed until March 25, 2018, AoE
-
Updates of previously submitted papers are allowed until March 30, 2018.
-
Notification of acceptance or rejection: (delayed) April
20 25 27, 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
volume 10977and will be available at the conference here.
Authors should submit their contributions here.
Software Demos
CIAA 2018 will offer a tool session on Wednesday August 1st in the afternoon.
This session will be the occasion to demonstrate tools on automata to the
CIAA audience. If you are interested in presenting your tool in this session,
please send an email to 
with a brief description of the tools
and a link to the tool's webpage before *** July 10 ***
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
-
Cezar Câmpeanu (University of Prince Edward Island, Canada)
-
Leslie-Ann Ruben (University of Prince Edward Island, Canada)
-
Chris Vessey (University of Prince Edward Island, Canada)
-
Young Yu (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 (University of Latvia, Latvia)
-
Hsu-Chun Yen (National Taiwan University, Taipei, Taiwan)
|
