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
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 quan ...
. 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
Bio-inspired computing, short for biologically inspired computing, is a field of study which seeks to solve computer science problems using models of biology. It relates to connectionism, social behavior, and emergence. Within computer science, b ...
* Complexity of automata operations,
state complexity State complexity is an area of theoretical computer science
dealing with the size of abstract automata,
such as different kinds of finite automata.
The classical result in the area is that
simulating an n-state
nondeterministic finite automaton
by ...
*
Compilers
* Computer-aided verification,
model checking
In computer science, model checking or property checking is a method for checking whether a finite-state model of a system meets a given specification (also known as correctness). This is typically associated with hardware or software systems ...
* Concurrency
*
Data and image compression
* Design and architecture of automata software
* Document engineering
*
Natural language processing
Natural language processing (NLP) is an interdisciplinary subfield of linguistics, computer science, and artificial intelligence concerned with the interactions between computers and human language, in particular how to program computers to pro ...
*
Pattern matching
* Teaching of
automata theory
*
Text processing
* Techniques for graphical display of automata
History of the Conference
The CIAA conference series was founded by
Darrell Raymond
Darrell is a given name derived from an English surname, which was derived from Norman-French , originally denoting one who came from Airelle in France. There are no longer any towns in France called Airelle, but is the French word for huckleberr ...
and
Derick Wood
Derick Wood (1940–2010) was an English computer scientist who worked for many years as a professor of computer science in Canada and Hong Kong. He was known for his research in automata theory and formal languages, much of which he published in ...
.
Since 2013, the Steering committee is chaired by
Kai Salomaa
Kai T. Salomaa is a Finnish Canadian theoretical computer scientist, known for his numerous contributions to the state complexity of finite automata.
His highly cited 1994 joint paper with Yu and Zhuang
laid the foundations of the area.
He has pu ...
.
See also
*
List of computer science conferences contains other academic conferences in computer science
References
*.
External links
official website of CIAACIAA proceedings informationfrom
DBLP
Theoretical computer science conferences
Automata (computation)
Formal languages
{{compu-conference-stub