Appel: CIAA 2011

Thierry Hamon thierry.hamon at UNIV-PARIS13.FR
Sat Jan 15 20:34:21 UTC 2011

Date: Thu, 13 Jan 2011 14:24:53 +0100 (CET)
From: Denis Maurel <denis.maurel at>
Message-ID: <1028895006.129487.1294925093073.JavaMail.root at mail10>

16th International Conference on Implementation and Application of

                              CIAA 2011

          S E C O N D     C A L L     F O R     P A P E R S

Université François Rabelais Tours, Blois, France

July 13-16, 2011

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

    * 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
    * VLSI
    * 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.
Joachim Niehren, INRIA, University of Lille, Fran ce - XPath Streaming
by Tree Automata The 3rd invited speaker will be known soon . *******


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 ( agata.savary at ).


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)

Message diffuse par la liste Langage Naturel <LN at>
Informations, abonnement :
English version       : 
Archives                 :

La liste LN est parrainee par l'ATALA (Association pour le Traitement
Automatique des Langues)
Information et adhesion  :

More information about the Ln mailing list