posted by user: grupocole || 6317 views || tracked by 12 users: [display]

CIAA 2013 : 18th International Conference on Implementation and Application of Automata


Conference Series : Conference on Implementation and Application of Automata
When Jul 16, 2013 - Jul 19, 2013
Where Halifax, Nova Scotia, Canada
Submission Deadline Mar 10, 2013
Notification Due Apr 21, 2013
Categories    NLP   automata theory   theoretical computer science

Call For Papers

CIAA 2013: First Call for Papers

18th International Conference on
Implementation and Application of Automata

Halifax, Nova Scotia, Canada

July 16-19, 2013


CIAA is the premier annual conference for researchers, application
developers and users of automata-based systems. The applications of
the theory of automata, a foundational area of computer science,
have spread to almost all areas of computer science and many
other disciplines.

The CIAA series has published significant papers describing the
applications of finite automata in parsing and compilers, logic,
natural language processing, pattern matching, database management,
and bioinformatics. The conference also accepts papers that advance
the state of the art in the theoretical study of finite automata,
regular expressions, grammars and related formal models.

Another goal of the conference is to provide additions and
enhancements to existing software systems that manipulate automata,
regular expressions, grammars, and related structures; examples of
such systems include
AGL, AMoRE, ASTL, Automate, FADELA, FAdo, FinITE, FIRE Station, FSM,
Grail+, I-LaSer, INR, Intex, JFLAP, MERLin, MONA, TESTAS, Turing's
World, Vaucanson, WFSC and Whale Calf.


CIAA invites papers on all aspects of implementation, application, and
theory of automata and related structures, including but not limited
Algorithms on automata
Automata and logic
Complexity of automata operations
Computer-aided verification
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
New algorithms for manipulating automata
Object-oriented modeling
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
Viruses, related phenomena
World-wide web


Seventeen previous CIAA conferences took place in: Porto (2012),
Blois (2011), Winnipeg (2010), Sydney (2009), San Francisco (2008),
Prague (2007), Taipei (2006), Nice (2005), Kingston (2004),
Santa Barbara (2003), Tours (2002), Pretoria (2001), London
Ontario (2000), Potsdam (WIA'99), Rouen (WIA'98), London Ontario
(WIA'97), London Ontario (WIA'96).
See the conference site ( for
archives on these previous editions.


Submission Deadline: March 10, 2013
Notification: April 21, 2013
Final Version: TBA, 2013
Conference Dates: July 16-19, 2013


Papers will be submitted in PDF, using the EasyChair system at:

Authors must use the LNCS-style LaTeX2e available at:

Research papers are sought on all aspects of implementation,
application, and theory of automata and related structures.
Researchers are invited to submit unpublished original research.
Simultaneous submissions to other venues is not allowed.

Papers must be written in English and provide sufficient details to
allow the program committee to assess their merits. If the authors
believe that more details are necessary to substantiate the claims
of the paper, they may include a clearly marked appendix to be read
at the discretion of the committee.

Proceedings will be published by Springer in Lecture Notes in Computer
Science (LNCS) and will be available at the conference. Extended
versions of selected proceedings papers will appear in a special issue
of TBA.


We encourage the submission of software demos. Developers wishing to
demonstrate their software should submit a two-page description
outlining the design of their system and its application area(s).
More information about how to submit a demo will be available at the
conference website.


CIAA 2013 will take place in Halifax, Nova Scotia, the largest city
in Atlantic Canada (east of Montreal), located at the east coast of

The venue will be Saint Mary's University, located in the city centre.


CIAA 2013 will be held just before DCFS 2013, which will take place in
London, Ontario.


Cezar Campeanu (U. of Prince Edward Island, Canada)
Helmut Jurgensen (U. of Western Ontario, Canada)
Margus Veanes (Microsoft Research, USA)
TBA ()


Brzozowski, Janusz - Waterloo, Canada;
Campeanu, Cezar - Charlottetown, Canada;
Caron, Pascal - LITIS Rouen, France;
Champarnaud, Jean-Marc - Rouen, France;
Domaratzki, Michael - Manitoba, Canada;
Drewes, Frank - Umea, Sweden;
Han, Yo-Sub - Seoul, Korea;
Holub, Jan - Prague, Czech Republic;
Holzer, Markus - Giessen, Germany;
Ibarra, Oscar - Santa Barbara, USA;
Ito, Masami - Kyoto, Japan;
Jurgensen, Helmut - London, Canada;
Kari, Lila - London, Canada;
Konstantinidis, Stavros - Halifax, Canada (Chair);
Lombardy, Sylvain - LABRI, Bordeaux, France;
Maletti, Andreas - Stuttgart, Germany;
Maneth, Sebastian - New South Wales, Australia;
Maurel, Denis - Tours, France;
McQuillan, Ian - Saskatoon, Canada;
Moreira, Nelma - Porto, Portugal;
Okhotin, Alexander - Turku, Finland;
Pighizzini, Giovanni - Milano, Italy;
Ravikumar, Bala - Rohnert Park CA, USA;
Reidenbach, Daniel - Loughborough University, UK;
Reis, Rogerio - Porto, Portugal;
Salomaa, Kai - Kingston, Canada;
Tommasi, Marc - INRIA Lille, France;
Volkov, Mikhail - Ekaterinburg, Russian Federation;
Watson, Bruce - University of Pretoria;
Stellenbosch University, South Africa;
Yen, Hsu-Chun - Taipei, Taiwan.


Jean-Marc Champarnaud - France
Markus Holzer - Germany
Oscar Ibarra - USA
Denis Maurel - France
Kai T. Salomaa - Canada (Chair)
Hsu-Chun Yen - Taiwan


Rose Daurie (Saint Mary's University)
Stavros Konstantinidis (Saint Mary's University)
Casey Meijer (Saint Mary's University)



Postal address:

CIAA 2013
Department of Mathematics and Computing Science
Saint Mary's University
Halifax, Nova Scotia

Related Resources

IFL 2020   IFL 2020: The 32nd Symposium on Implementation and Application of Functional Languages
NAACL-HLT 2021   2021 Annual Conference of the North American Chapter of the Association for Computational Linguistics
NSDI 2020   The 17th USENIX Symposium on Networked Systems Design and Implementation
ACL-IJCNLP 2021   59t Annual Meeting of the Association for Computational Linguistcs and the 10th International Joint Conference on Natural Language Processing
OSDI 2020   USENIX Symposium on Operating Systems Design and Implementation
CoNeCo 2021   13th International Conference on Computer Networks & Communications
ICALP 2020   47th International Colloquium on Automata, Languages and Programming
FSEN 2021   9th IPM International Conference on Fundamentals of Software Engineering
PLDI 2020   Programming Language Design and Implementation
GandALF 2020   11th International Symposium on Games, Automata, Logics, and Formal Verification