Appel: CIAA 2013

Wed Nov 14 18:08:50 UTC 2012

Date: Mon, 12 Nov 2012 13:12:04 +0100 (CET)
From: Denis Maurel <denis.maurel at univ-tours.fr>
Message-ID: <1846595488.10120183.1352722324742.JavaMail.root at mail10>
X-url: http://cs.smu.ca/~ciaa2013/
X-url: http://tln.li.univ-tours.fr/ciaa/)

CIAA 2013: First Call for Papers

18th International Conference on
Implementation and Application of Automata

Halifax, Nova Scotia, Canada

July 16-19, 2013

http://cs.smu.ca/~ciaa2013/
-------------------

AIM AND SCOPE

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.

TOPICS

CIAA invites papers on all aspects of implementation, application, and
theory of automata and related structures, including 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, related phenomena
     World-wide web

PREVIOUS EDITIONS

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 (http://tln.li.univ-tours.fr/ciaa/) for
archives on these previous editions.

IMPORTANT DATES

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

SUBMISSIONS

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

         http://www.easychair.org/conferences/?conf=ciaa2013

Authors must use the LNCS-style LaTeX2e available at:

         http://www.springer.de/comp/lncs/authors.html)

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.

DEMOS

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.

VENUE

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

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

RELATED EVENT

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

INVITED SPEAKERS

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

PROGRAM COMMITTEE

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.

STEERING COMMITTEE

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

ORGANIZING COMMITTEE

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

CONTACT

Email: ciaa13 at cs.smu.ca

Postal address:

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

-------------------------------------------------------------------------
Message diffuse par la liste Langage Naturel <LN at cines.fr>
Informations, abonnement : http://www.atala.org/article.php3?id_article=48
English version       : 
Archives                 : http://listserv.linguistlist.org/archives/ln.html
                                http://liste.cines.fr/info/ln

La liste LN est parrainee par l'ATALA (Association pour le Traitement
Automatique des Langues)
Information et adhesion  : http://www.atala.org/
-------------------------------------------------------------------------