Appel: CIAA 2012, Final Call for Papers

Tue Mar 6 20:43:32 UTC 2012

Date: Mon, 5 Mar 2012 19:56:38 +0100 (CET)
From: Denis Maurel <denis.maurel at univ-tours.fr>
Message-ID: <1365796838.70759.1330973798842.JavaMail.root at mail10>
X-url: http://www.dcc.fc.up.pt/CIAA12
X-url: http://tln.li.univ-tours.fr/ciaa/

Apologies for multiple copies 

----------------------------- 
Final Call for Papers -- CIAA 2012 

17th International Conference on Implementation and Application of
Automata

Porto, Portugal 

July 17-20, 2012 

http://www.dcc.fc.up.pt/CIAA12 
------------------- 

*** SUBMISSION DEADLINE EXTENDED TO MARCH 18 (23:59h, UTC) *** 

IMPORTANT DATES 

Submission Deadline (Extended) :  March 18, 2012 (strict) 
Notification: April 20, 2012 
Final Version: May 7, 2012 
Deadline for system demos: May 31, 2012 
Conference Dates: July 17-20, 2012 

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+, 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 

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

This year edition of the conference is dedicated to Alan Turing on the
occasion of the Centenary Celebration of his life and work.

SUBMISSIONS 

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.

Submitted papers must use the LNCS-style LaTeX2e (available at
http://www.springer.de/comp/lncs/authors.html) .

Papers must be in English, should not exceed 10 pages 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.

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

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

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

DEMOS 

We encourage the submission of software demos. Developers wishing to
demonstrate their software should submit a two-page description to the
outlining the design of their system and its application area(s). The
descriptions of accepted demos will appear in a booklet available at the
conference. Deadline for submitions is May 31.

VENUE 

CIAA 2012 will take place in Porto, the second largest city in Portugal,
located by the Douro river and the Atlantic Ocean. Porto dates back to
the IV century and the city center is classified as world heritage
patrimony by UNESCO. The city is also known worldwide for the renowned
Port Wine.

The venue will be the Faculty of Sciences of the University of Porto
located in Campo Alegre area and very close to the conference hotels.

SPECIAL SESSION 

A special session in memoriam of Professor Sheng Yu will take place
during this edition of CIAA.

RELATED EVENT 

CIAA 2012 will be held just before DCFS 2012 which will take place in
Braga, also in Portugal and less then 50 km from Porto, on July
23--25. More information about this workshop can be found at the web
page http://www.dcc.fc.up.pt/DCFS12

INVITED SPEAKERS 

Janusz Brzozowski (U. of Waterloo, Canada), "In Search of Most Complex
Regular Languages" 
Paul Gastin (ENS de Cachan, Fance), "Adding Pebbles to Weighted
Automata" 
José Nuno Oliveira (U. do Minho, Portugal) (TBA) 
Grzegorz Rozenberg (Leiden, The Netherlands), "A Formal Framework for
Processes Inspired by the Functioning of Living Cells " 
Kai Salomaa (Queen's U., Kingston, Canada), "In Memoriam of Sheng Yu"

PROGRAM COMMITTEE 

Marie-Pierre Beal - France 
Béatrice Bouchou-Markhoff - France 
Patricia Bouyer - France 
Cezar Campeanu - Canada 
Pascal Caron - France 
Jean-Marc Champarnaud - France 
Jan Daciuk - Poland 
Michael Domaratzki - Canada 
Yo-Sub Han - South Korea 
Tero Harju - Finland 
Markus Holzer - Germany 
Oscar Ibarra - USA 
Masami Ito - Japan 
Joost-Pieter Katoen - Germany 
Stavros Konstantinidis - Canada 
Andreas Maletti - Germany 
Sebastian Maneth - Australia 
Denis Maurel - France 
Ian McQuillan - Canada 
Mehryar Mohri - USA 
Nelma Moreira - Portugal (co-chair) 
Alexander Okhotin - Finland 
Giovanni Pighizzini - Italy 
Bala Ravikumar - USA 
Rogério Reis - Portugal (co-chair) 
Kai Salomaa - Canada 
Colin Stirling - United Kingdom 
Mikhail Volkov - Russian Federation 
Bruce Watson - South Africa 
Hsu-Chun Yen - Taiwan 
Sheng Yu - Canada 

STEERING COMMITTEE 

Jean-Marc Champarnaud - France 
Oscar Ibarra - USA 
Denis Maurel - France 
Kai T. Salomaa - Canada 
Sheng Yu - Canada (Chair) 

ORGANIZING COMMITTEE 

Sabine Broda (U. Porto) 
António Machiavelo (U. Porto) 
Nelma Moreira (U. Porto) 
Rogério Reis (U. Porto) 
Simão Sousa (U. Beira Interior) 

The conference is sponsored by the University of Porto, University of
Beira Interior, CMUP, FCT, and EATCS.

For a small poster to download and display: 
http://www.dcc.fc.up.pt/CIAA12/resources/CIAA2012a3.pdf 

CONTACT 

Postal address: 

CIAA 2012 
DCC-FCUP 
Rua do Campo Alegre, 1021-1055 
4169-007 Porto, 
Portugal 

Email: ciaa12 at dcc.fc.up.pt 

-------------------------------------------------------------------------
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/
-------------------------------------------------------------------------