posted by system || 7946 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

ICALP 2021   International Colloquium on Automata, Languages and Programming
CMCA 2022   11th International Conference on Control, Modelling, Computing and Applications
OSDI 2022   16th USENIX Symposium on Operating Systems Design and Implementation
ACM-EI/Scopus-ACAI 2021   2021 4th International Conference on Algorithms, Computing and Artificial Intelligence (ACAI 2021)
PLDI 2022   The 43rd ACM SIGPLAN Conference on Programming Language Design and Implementation
DMA 2022   8th International Conference on Data Mining and Applications
NSDI 2021   18th USENIX Symposium on Networked Systems Design and Implementation
ICAIT 2022   11th International Conference on Advanced Computer Science and Information Technology
CODASPY 2022   The 12th ACM Conference on Data and Application Security and Privacy
EI Compendex, Scopus-EECT 2022   2022 2nd International Conference on Electrical, Electronics and Computing Technology (EECT 2022)