posted by user: grupocole || 5184 views || tracked by 8 users: [display]

CIAA 2018 : 23rd International Conference on Implementation and Application of Automata


Conference Series : Conference on Implementation and Application of Automata
When Jul 30, 2018 - Aug 2, 2018
Where Charlottetown, Canada
Submission Deadline Mar 11, 2018
Notification Due Apr 20, 2018
Final Version Due May 6, 2018
Categories    theoretical computer science   NLP

Call For Papers


1st Call for Papers -- CIAA 2018

We apologize if you receive multiple copies of this Call for Papers.

Please distribute to anyone who may be interested.


Dear colleagues and Friends,

Enclosed you can find the 1st

C A L L F O R P A P E R S.

23rd International Conference on Implementation and Application of
Automata (CIAA 2018)
July 30-- August 2, 2018, University of Prince Edward Island (Canada)

* Aims:
The CIAA conference series, which was started in 1996, covers all
aspects of implementation, application, and theory of automata and
related structures. It aims to attract contributions from both
classical automata theory and applications.

* Venue:
CIAA 2018 will take place at the University of Prince Edward Island,
in Charlottetown, Prince Edward Island Canada.
The campus is located on trans-Canada Highway 6.2 Km from the
Charlottetown airport and 3Km from the Confederation House,
the birthplace of Canada

* Topics:
Topics of interest include, 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 experience,
implementation of verification methods and model checking, industrial
applications, natural language and speech processing, networking, new
algorithms for manipulating automata, object-oriented modeling,
pattern-matching, pushdown automata and context-free grammars, quantum
computing, structured and semi-structured documents, symbolic
manipulation environments for automata, transducers and multi-tape
automata, techniques for graphical display of automata, VLSI, viruses
and related phenomena, and the world-wide web.

* Programs:
The scientific program will consist of invited lectures and
presentations of papers selected by the international program
committee, based on a thorough peer-reviewing process.
A Best Paper Awards (named after one of the conference founders, the
late Sheng Yu) will be announced and presented during the conference.

* Invited speakers:

Anne Condon (University of British Columbia, Vancouver/British Columbia, Canada)
Stavros Konstantinidis (St. Mary's University, Halifax, Canada)
Andreas Malcher (Justus-Liebig Universität Gießen, Gießen, Germany)
Jacques Sakarovitch (Université Paris Diderot, Paris, France)

* Program Committee:

Francine Blanchet-Sadri (University of North Carolina, USA)
Cezar Câmpeanu (University of Prince Edward Island, Canada, Chair)
Arnaud Carayol (Université Paris-Est, France) (co-chair)
Jean-Marc Champarnaud (Université de Rouen, France)
Salimur Choudhury (Lakehead University, Canada)
Jan Daciuk (Gdańsk University of Technology, 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)

* Important dates:
Submission deadline: March 11st, 2018
Author notification: April 20, 2018
Camera-ready version: May 6, 2018
Conference: July 30 -- August 2, 2018

* Submissions:
Submissions must be written in LaTeX 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.
Authors should submit their contributions at

Submision link is now OPEN

* Special issue:
Selected papers from the conference will be invited for consideration
in a journal special issue to be published in International Journal of
Foundations of Computer Science (IJFCS).


We are looking forward to your participation.

Related Resources

CIAA 2023   27th International Conference on Implementation and Application of Automata
ACM-Ei/Scopus-CWCBD 2023   2023 4th International Conference on Wireless Communications and Big Data (CWCBD 2023) -EI Compendex
NSDI 2023   20th USENIX Symposium on Networked Systems Design and Implementation
IEEE Xplore-Ei/Scopus-CCCAI 2023   2023 International Conference on Communications, Computing and Artificial Intelligence (CCCAI 2023) -EI Compendex
PLDI 2023   The 44th ACM SIGPLAN Conference on Programming Language Design and Implementation
FLAIRS 2023   FLAIRS-36 2023 : The 36th International FLAIRS Conference
CCGrid 2023   The 23rd IEEE/ACM International Symposium on Cluster, Cloud and Internet Computing
CSIP 2023   10th International Conference on Signal Processing
CODASPY 2023   The 13th ACM Conference on Data and Application Security and Privacy
ICALP 2023   International Colloquium on Automata, Languages and Programming