posted by system || 8718 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 2023   27th 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
PLDI 2023   The 44th ACM SIGPLAN Conference on Programming Language Design and Implementation
SCM 2023   6th International Conference on Soft Computing, Control and Mathematics
NSDI 2023   20th USENIX Symposium on Networked Systems Design and Implementation
Highlights 2023   Highlights of Logic, Games and Automata
IJPS 2023   International Journal of Pharmacological Sciences
DTMN 2023   9th International Conference on Data Mining
ICALP 2023   International Colloquium on Automata, Languages and Programming
SGRECT 2023   2023 2nd Asia Conference on Smart Grid, Renewable Energy and Computing Technology (SGRECT 2023)