CIAA 2012 - The 17th International Conference on Implementation and Application of Automata (CIAA)

Website www.dcc.fc.up.pt/CIAA12 | Edit Freely

Category Automata; Grammars; Formal Languages

Deadline: March 18, 2012 | Date: July 17, 2012-July 20, 2012

Venue/Country: Porto, Portugal

Updated: 2012-03-13 09:32:25 (GMT+9)

Call For Papers - CFP

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: ciaa12dcc.fc.up.pt