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

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

FacebookTwitterLinkedInGoogle


Conference Series : Conference on Implementation and Application of Automata
 
Link: http://www.cs.umanitoba.ca/ciaa2010
 
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

http://www.cs.umanitoba.ca/ciaa2010

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.

IMPORTANT DATES

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

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 (available at
http://www.springer.de/comp/lncs/authors.html) 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).

INVITED SPEAKERS

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

PROGRAM COMMITTEE

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 2024   The 28th International Conference on Implementation and Application of Automata
IEEE-Ei/Scopus-ACEPE 2024   2024 IEEE Asia Conference on Advances in Electrical and Power Engineering (ACEPE 2024) -Ei Compendex
NSDI 2024   The 21st USENIX Symposium on Networked Systems Design and Implementation
Ei/Scopus-ACAI 2024   2024 7th International Conference on Algorithms, Computing and Artificial Intelligence(ACAI 2024)
AIAT--EI 2024   2024 4th International Conference on Artificial Intelligence and Application Technologies (AIAT 2024)
SPIE-Ei/Scopus-DMNLP 2025   2025 2nd International Conference on Data Mining and Natural Language Processing (DMNLP 2025)-EI Compendex&Scopus
PLDI 2025   The ACM SIGPLAN Conference on Programming Language Design and Implementation
EI/Scopus-PRDM 2024   2024 5th International Conference on Pattern Recognition and Data Mining(PRDM 2024)
OSDI 2025   The 19th USENIX Symposium on Operating Systems Design and Implementation
IJANS 2024   International Journal on AdHoc Networking Systems