posted by user: gauwin || 5572 views || tracked by 8 users: [display]

CIAA 2011 : 16th International Conference on Implementation and Application of Automata


Conference Series : Conference on Implementation and Application of Automata
When Jul 13, 2011 - Jul 16, 2011
Where Blois, France
Submission Deadline Mar 1, 2011
Notification Due Apr 8, 2011
Final Version Due Apr 26, 2011
Categories    automata theory   formal language theory   theoretical computer science

Call For Papers

CIAA is the premier annual conference for researchers, application developers and users of automata-based systems. 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.

A 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+, INR, JFLAP, MERLin, MONA, Nooj, TESTAS, Turing's World, Unitex, 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 to:
* 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
* Industrial applications
* Natural language and speech processing
* Networking
* New algorithms for manipulating automata
* Object-oriented modeling
* Pattern-matching
* Quantum computing
* Structured and semi-structured documents
* Symbolic manipulation environments for automata
* Techniques for graphical display of automata
* Viruses, related phenomena


Fifteen previous CIAA conferences took place in: 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.


CIAA Submission Deadline: March 1, 2011
CIAA Notification: April 8, 2011
CIAA Camera-ready Version: April 26, 2011

Conference Dates: July 13-16, 2011


Researchers are invited to submit unpublished original research.
Simultaneous submission to other venues is not allowed.

Submitted papers must use the LNCS style (available at and may not exceed 10 pages. Submissions are not anonymous, names and affiliations of the authors should be included in the paper.

Papers must be in English and provide sufficient detail to allow the program committee to assess their merits. If the authors believe 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.

Papers will be submitted electronically in PDF, using the EasyChair system. Use the following link for submission:

Proceedings will be published in Lecture Notes of Computer Science (LNCS). Extended versions of selected proceedings papers will appear in a special issue of Theoretical Computer Science (TCS).


Sheng Yu, University of Western Ontario, Canada - a talk in honour of Derick Wood.
Two other speakers will be invited.


The ACCES program of the French Ministry of Research supports invitations of researchers from Central and Eastern Europe to conferences organized in France. Travel and accommodation expensed may be covered. If interested, please send your CV to the OC chair Agata Savary (


Marie-Pierre Beal (Université Paris Est, France)
Béatrice Bouchou-Markhoff (Université François Rabelais Tours, France), co-chair
Cezar Campeanu (University of Prince Edward Island, Canada)
Pascal Caron (Université de Rouen, France)
Jean-Marc Champarnaud (Université de Rouen, France), co-chair
Michael Domaratzki (University of Manitoba, Canada)
Dora Giammarresi (University of Roma, Italy)
Yo-Sub Han (Yonsei University, South Korea)
Tero Harju (University of Turku, Finland)
Jan Holub (Czech Technical University in Prague, Czech Republic)
Markus Holzer (Justus-Liebig-Universität Giessen, Germany)
Oscar Ibarra (University of California, Santa Barbara, USA)
Masami Ito (Kyoto Sangyo University, Japan)
Stavros Konstantinidis (University of Halifax, Canada)
Martin Kutrib (University of Giessen, Germany)
Andreas Maletti (Universitat Rovira i Virgili, Tarragona, Spain)
Sebastian Maneth (University of New South Wales, Australia)
Denis Maurel (Université de François Rabelais Tours, France), co-chair
Ian McQuillan (University of Saskatchewan, Canada)
Mehryar Mohri (Courant Institute of Mathematical Sciences, USA)
Alexander Okhotin (University of Turku, Finland)
Andrei Paun (Louisiana Tech University, USA; University of Bucharest, Romania)
Giovanni Pighizzini (Universitat degli Studi di Milano, Italy)
Bala Ravikumar (Sonoma State University, USA)
Rogerio Reis (Universidade do Porto, Portugal)
Kai Salomaa (Queen's University, Kingston, Canada)
Colin Sterling (University of Edinburgh, United-Kingdom)
Bruce Watson (University of Pretoria; Stellenbosch University, South Africa)
Hsu-Chun Yen (National Taiwan University, Taiwan)
Sheng Yu (University of Western Ontario, Canada)
Djelloul Ziadi (Université de Rouen, France)


9th International Workshop on Finite State Methods and Natural Language Processing

The CIAA and FSMNLP conferences have been important international meetings for researchers and practitioners interested in various aspects of finite-state tools. These two events, which deal with complementary topics, will be, for the first time, organised jointly in Blois, France in 2011.

The International Workshop Series of Finite State Methods and Natural Language Processing (FSMNLP) is a forum for researchers and practitioners working on
- natural language processing applications or language resources,
- theoretical and implementation aspects, or
- their combinations
having obvious relevance or an explicitly discussed relation to Finite-State Methods in NLP.


CIAA/FSMNLP 2011 (July 12-16) will be organized shortly before two other conferences on related subjects:
DLT 2011 (July 19-22, Milan, Italy) and DCFS 2011 (July 25-27, Giessen, Germany). These consecutive periods, as well as the European locations, facilitate the attendance at all four conferences.


Jean-Yves Antoine (Université François Rabelais Tours, France)
Béatrice Bouchou (Université François Rabelais Tours, France)
Pascal Caron (Université de Rouen, France)
Jean-Marc Champarnaud (Université de Rouen, France)
Matthieu Constant (Université Paris-Est Marne-la-Vallée, France), FSMNLP chair
Nathalie Friburger (Université François Rabelais Tours, France)
Mirian Halfeld Ferrari Alvez (Université d'Orléans, France)
Andreas Maletti (Universitat Rovira i Virgili, Tarragona, Spain)
Patrick Marcel (Université François Rabelais Tours, France)
Denis Maurel (Université François Rabelais Tours, France)
Veronika Peralta (Université François Rabelais Tours, France)
Yacine Sam (Université François Rabelais Tours, France)
Agata Savary (Université François Rabelais Tours, France), CIAA chair

Related Resources

CIAA 2018   23rd International Conference on Implementation and Application of Automata
IJESA 2017   International Journal of Embedded Systems and Applications
CIAA 2017   22nd International Conference on Implementation and Application of Automata
CONCUR 2018   29th International Conference on Concurrency Theory
NSDI 2017   14th USENIX Symposium on Networked Systems Design and Implementation
UNIF 2018   32nd International Workshop on Unification
NSDI 2018   15th USENIX Symposium on Networked Systems Design and Implementation
ICDM 2018   18th Industrial Conference on Data Mining ICDM 2018
PLDI 2018   Programming Language Design and Implementation
OSDI 2018   13th USENIX Symposium on Operating Systems Design and Implementation