Conference on Implementation and Application of Automata

Conference on Implementation and Application of Automata
Abbreviation	CIAA (formerly WIA)
Discipline	Automata theory and formal languages
Publication details
Publisher	Springer LNCS (International)
History	1996–
Frequency	annual (since 1996)

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.

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 Science 411(38-39), 2010. Edited by S. Maneth.

• 13th CIAA 2008 in San Francisco, CA, USA

Special Issue: International Journal of Foundations of Computer Science 20(4), 2009. Edited by O. Ibarra and B. Ravikumar.

• 12th CIAA 2007 in Prague, Czech Republic

Special Issue: Theoretical Computer Science 410(37), 2009. Edited by J. Holub.

• 11th CIAA 2006 in Taipei, Taiwan

Special Issue: International Journal of Foundations of Computer Science 18(4), 2007. Edited by Oscar H. Ibarra and Hsu-Chun Yen.

• 10th CIAA 2005 in Sophia Antipolis, France

Special Issue: Theoretical Computer Science 363(2), 2006. Edited by J. Farré and I. Litovsky.

See also

• List of computer science conferences contains other academic conferences in computer science

References

• Okhotin, Alexander; Domaratzki, Michael; Salomaa, Kai (2004), "Report on CIAA 2004", Bulletin of the EATCS 84: 231–234, http://www.eatcs.org/images/bulletin/beatcs84.pdf .

External links

• official website of CIAA
• CIAA proceedings information from DBLP

This article about a computer conference is a stub. You can help Wikipedia by expanding it.v · Categories: Theoretical computer science conferences Automata theory Formal languages Computer conference stubs Wikimedia Foundation. 2010. Игры ⚽ Поможем написать реферат Aho report OpenO&M Look at other dictionaries: Automata-based programming (Shalyto's approach) — Automata Based Programming is a programming technology [1] . Its defining characteristic is the use of finite state machines to describe program behavior. The transition graphs of a state machines are used in all stages of software development… …   Wikipedia List of computer science conferences — This is a list of academic conferences in computer science. Most of these academic conferences are annual or bi annual events.The order with which the conferences are listed in their respective fields corresponds to a rough and non authoritative… …   Wikipedia CIAA — may refer to the: Central Intercollegiate Athletic Association, a U.S. athletic conference competing in NCAA Division II Confederation of the Food and Drink Industries of the EU, a European trade organization Confederation of Indian Amateur… …   Wikipedia Adaptive grammar — An adaptive grammar is a formal grammar that explicitly provides mechanisms within the formalism to allow its own production rules to be manipulated. Contents 1 Overview 1.1 Early history 1.2 Collaborative efforts …   Wikipedia Krohn–Rhodes theory — In mathematics and computer science, Krohn Rhodes theory is an approach to the study of finite semigroups and automata that seeks to decompose them in terms of elementary components. These turn out to correspond to finite aperiodic semigroups and …   Wikipedia Computer science — or computing science (abbreviated CS) is the study of the theoretical foundations of information and computation and of practical techniques for their implementation and application in computer systems. Computer scientists invent algorithmic… …   Wikipedia Cellular neural network — Cellular neural networks (CNN) are a parallel computing paradigm similar to neural networks, with the difference that communication is allowed between neighbouring units only. Typical applications include image processing, analyzing 3D surfaces,… …   Wikipedia List of important publications in computer science — This is a list of important publications in computer science, organized by field. Some reasons why a particular publication might be regarded as important: Topic creator – A publication that created a new topic Breakthrough – A publication that… …   Wikipedia Trie — A trie for keys A , to , tea , ted , ten , i , in , and inn . In computer science, a trie, or prefix tree, is an ordered tree data structure that is used to store an associative array where the keys are usually strings. Unlike a binary search… …   Wikipedia Cellular automaton — A cellular automaton (plural: cellular automata) is a discrete model studied in computability theory, mathematics, theoretical biology and microstructure modeling. It consists of a regular grid of cells , each in one of a finite number of states …   Wikipedia 18+ © Academic, 2000-2024 Contact us: Technical Support, Advertising Dictionaries export, created on PHP, Joomla, Drupal, WordPress, MODx. Mark and share Search through all dictionaries Translate… Search Internet Share the article and excerpts Direct link … Do a right-click on the link above and select “Copy Link”