Conference on Implementation and Application of Automata
Encyclopedia
CIAA, the International Conference on Implementation and Application of Automata is an annual academic conference
in the field of computer science
.
Its purpose is to bring together members of the academic, research, and industrial community who have an interest in the theory, implementation, and application of automata and related structures. There, the conference concerns research on all aspects of implementation and application of automata and related structures, including theoretical aspects. In 2000, the conference grew out of the Workshop on Implementation of Automata (WIA).
Like most theoretical computer science conferences its contributions are strongly peer-reviewed; the articles appear in proceedings published in Springer
Lecture Notes in Computer Science
. Extended versions of selected papers of each year's conference alternatingly appear in the journals Theoretical Computer Science
and International Journal of Foundations of Computer Science
. Every year a best paper award is presented.
contributions usually come from a widespread range of application domains.
Typical topics of the conference include, among others, the following,
as they relate to automata:
Academic conference
An academic conference or symposium is a conference for researchers to present and discuss their work. Together with academic or scientific journals, conferences provide an important channel for exchange of information between researchers.-Overview:Conferences are usually composed of various...
in the field of computer science
Computer science
Computer science or computing science is the study of the theoretical foundations of information and computation and of practical techniques for their implementation and application in computer systems...
.
Its purpose is to bring together members of the academic, research, and industrial community who have an interest in the theory, implementation, and application of automata and related structures. There, the conference concerns research on all aspects of implementation and application of automata and related structures, including theoretical aspects. In 2000, the conference grew out of the Workshop on Implementation of Automata (WIA).
Like most theoretical computer science conferences its contributions are strongly peer-reviewed; the articles appear in proceedings published in Springer
Springer Science+Business Media
- Selected publications :* Encyclopaedia of Mathematics* Ergebnisse der Mathematik und ihrer Grenzgebiete * Graduate Texts in Mathematics * Grothendieck's Séminaire de géométrie algébrique...
Lecture Notes in Computer Science
Lecture Notes in Computer Science
Lecture Notes in Computer Science is a series of computer science books that has been published by Springer Science+Business Media since 1973....
. Extended versions of selected papers of each year's conference alternatingly appear in the journals Theoretical Computer Science
Theoretical Computer Science (journal)
Theoretical Computer Science is a computer science journal published by Elsevier, started in 1975 and covering theoretical computer science. The journal publishes 52 issues a year. It is abstracted and indexed by Scopus and the Science Citation Index...
and International Journal of Foundations of Computer Science
International Journal of Foundations of Computer Science
The International Journal of Foundations of Computer Science is a computer science journal published by World Scientific. It was founded in 1990, covering the field of theoretical computer science, from algebraic theory and algorithms, to quantum computing and wireless networks...
. Every year a best paper award is presented.
Topics of the Conference
Since the focus of the conference is on applied theory,contributions usually come from a widespread range of application domains.
Typical topics of the conference include, among others, the following,
as they relate to automata:
- Bio-inspired computing
- Complexity of automata operations
- Compilers
- Computer-aided verification
- Concurrency
- Data and image compression
- Design and architecture of automata software
- Document engineering
- Natural language processing
- Pattern-matching
- Teaching of automata theory
- Text processing
- Techniques for graphical display of automata
Recent History of the Conference
- 16th CIAA 2011 in Blois, France
- 15th CIAA 2010 in Winnipeg, Manitoba, Canada
- 14th CIAA 2009 in Sydney, Australia
- Special Issue: Theoretical Computer ScienceTheoretical Computer Science (journal)Theoretical Computer Science is a computer science journal published by Elsevier, started in 1975 and covering theoretical computer science. The journal publishes 52 issues a year. It is abstracted and indexed by Scopus and the Science Citation Index...
411(38-39), 2010. Edited by S. Maneth.- 13th CIAA 2008 in San Francisco, CA, USA
- Special Issue: International Journal of Foundations of Computer ScienceInternational Journal of Foundations of Computer ScienceThe International Journal of Foundations of Computer Science is a computer science journal published by World Scientific. It was founded in 1990, covering the field of theoretical computer science, from algebraic theory and algorithms, to quantum computing and wireless networks...
20(4), 2009. Edited by O. Ibarra and B. Ravikumar.- 12th CIAA 2007 in Prague, Czech Republic
- Special Issue: Theoretical Computer ScienceTheoretical Computer Science (journal)Theoretical Computer Science is a computer science journal published by Elsevier, started in 1975 and covering theoretical computer science. The journal publishes 52 issues a year. It is abstracted and indexed by Scopus and the Science Citation Index...
410(37), 2009. Edited by J. Holub.- 11th CIAA 2006 in Taipei, Taiwan
- Special Issue: International Journal of Foundations of Computer ScienceInternational Journal of Foundations of Computer ScienceThe International Journal of Foundations of Computer Science is a computer science journal published by World Scientific. It was founded in 1990, covering the field of theoretical computer science, from algebraic theory and algorithms, to quantum computing and wireless networks...
18(4), 2007. Edited by Oscar H. Ibarra and Hsu-Chun Yen.- 10th CIAA 2005 in Sophia Antipolis, France
- Special Issue: Theoretical Computer ScienceTheoretical Computer Science (journal)Theoretical Computer Science is a computer science journal published by Elsevier, started in 1975 and covering theoretical computer science. The journal publishes 52 issues a year. It is abstracted and indexed by Scopus and the Science Citation Index...
363(2), 2006. Edited by J. Farré and I. Litovsky.
See also
- List of computer science conferences contains other academic conferences in computer science
External links
- official website of CIAA
- CIAA proceedings information from DBLPDBLPDBLP is a computer science bibliography website hosted at Universität Trier, in Germany. It was originally a database and logic programming bibliography site, and has existed at least since the 1980s. DBLP listed more than 1.3 million articles on computer science in January 2010...