posted by system || 6260 views || tracked by 19 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

IFL 2019   The 31st symposium on Implementation and Application of Functional Languages
ACM-ACAI-Ei/Scopus 2019   2019 2nd International Conference on Algorithms, Computing and Artificial Intelligence
NSDI 2020   The 17th USENIX Symposium on Networked Systems Design and Implementation
DPPR 2019   9th International Conference on Digital Image Processing and Pattern Recognition
PLDI 2019   Programming Language Design and Implementation
GESD-EI/Scopus 2019   2019 2nd International Conference on Green Energy and Sustainable Development
NSDI 2019   Networked Systems Design and Implementation
CST 2019   6th International Conference on Foundations of Computer Science & Technology
ICDM 2019   19th Industrial Conference on Data Mining ICDM 2019
KomIS@ACM-SAC 2019   ACM SAC 2019 - KomIS track: Application of AI and Big Data Analytics