posted by system || 8580 views || tracked by 17 users: [display]

CIAA 2010 : The 15th International Conference on Implementation and Application of Automata


Conference Series : Conference on Implementation and Application of Automata
When Aug 12, 2010 - Aug 15, 2010
Where Winnipeg, Manitoba, Canada
Submission Deadline Apr 9, 2010
Notification Due May 15, 2010
Final Version Due Jun 1, 2010
Categories    computation theory   theoretical computer science   algorithms

Call For Papers

Call for Papers -- CIAA 2010

15th International Conference on Implementation and Application of Automata

Winnipeg, Manitoba, Canada, August 12-15, 2010

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.

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, Intex, JFLAP, MERLin, MONA, TESTAS, Turing's World, Vaucanson,
WFSC and Whale Calf.

DCFS 2010 (August 8-10, Saskatoon), CIAA 2010 (August 12-15, Winnipeg)
and DLT 2010 (August 17-20, London, Ontario) are organized in Canada
one after another to allow attendance at all three conferences.


Submission Deadline: April 9, 2010
Notification: May 15, 2010
Camera-ready Version: June 1, 2010
Conference Dates: August 12-15, 2010


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 (available at and may not
exceed 10 pages.

Papers must be in English and provide sufficient details 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.

Revised versions of selected proceedings papers will appear in a special issue
of the International Journal of Foundations of Computer Science (IJFCS).


Natasha Jonoska, University of South Florida, USA
Madhusudan Parthasarathy, University of Illinois at Urbana-Champaign, USA
Karen Rudie, Queen's University, Canada


Marie-Pierre Beal, Universite de Marne-la-Vallee, France
Cezar Campeanu, University of Prince Edward Island, Canada
Pascal Caron, Universite de Rouen, France
Jean-Marc Champarnaud, Universite de Rouen, France
Mark Daley, University of Western Ontario, Canada
Michael Domaratzki (chair), University of Manitoba, Canada
Yo-Sub Han, Yonsei University, South Korea
Tero Harju, University of Turku, Finland
Markus Holzer, Technische Universitat Munchen, Germany
Oscar Ibarra, University of California, Santa Barbara, USA
Lucian Ilie, University of Western Ontario, Canada
Masami Ito, Kyoto Sangyo University, Japan
Stavros Konstantinidis, Saint Mary's University, Canada
Igor Litovsky, Universite de Nice, France
Carlos Martin-Vide, Rovira i Virgili University, Spain
Sebastian Maneth, NICTA; University of New South Wales, Australia
Denis Maurel, Universite de Tours, France
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, Universita degli Studi di Milano, Italy
Bala Ravikumar, Sonoma State University, USA
Rogerio Reis, Universidade do Porto, Portugal
Kai Salomaa (co-chair), Queen's University, Canada
Bruce Watson, University of Pretoria, South Africa; Sagantec, USA
Hsu-Chun Yen, National Taiwan University, Taiwan
Sheng Yu, University of Western Ontario, Canada
Djelloul Ziadi, Universite de Rouen, France

Related Resources

CIAA 2022   26th International Conference on Implementation and Application of Automata
ACM-EI/Scopus-ITCC 2023   2023 3rd International Conference on Information Technology and Cloud Computing (ITCC 2023) -EI Compendex
IFL 2022   The 34th Symposium on Implementation and Application of Functional Languages
IEEE, EI, Scopus-CTISC 2023   2023 5th International Conference on Advances in Computer Technology, Information Science and Communications (CTISC 2023) -EI Compendex
CIAA 2022   Conference on Implementation and Application of Automata
IEIJ 2022   Informatics Engineering, an International Journal
NSDI 2023   20th USENIX Symposium on Networked Systems Design and Implementation
CGDEIJ 2022   Computer Game Development and Education: An International Journal
OSDI 2022   16th USENIX Symposium on Operating Systems Design and Implementation
SGRECT 2023   2023 2nd Asia Conference on Smart Grid, Renewable Energy and Computing Technology (SGRECT 2023)