CIAA, the International Conference on Implementation and Application of Automata is an annual
academic conference
An academic conference or scientific conference (also congress, symposium, workshop, or meeting) is an Convention (meeting), event for researchers (not necessarily academics) to present and discuss their scholarly work. Together with academic jou ...
in the field of
computer science
Computer science is the study of computation, information, and automation. Computer science spans Theoretical computer science, theoretical disciplines (such as algorithms, theory of computation, and information theory) to Applied 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
Springer or springers may refer to:
Publishers
* Springer Science+Business Media, aka Springer International Publishing, a worldwide publishing group founded in 1842 in Germany formerly known as Springer-Verlag.
** Springer Nature, a multinationa ...
Lecture Notes in Computer Science
''Lecture Notes in Computer Science'' is a series of computer science books published by Springer Science+Business Media since 1973.
Overview
The series contains proceedings, post-proceedings, monographs, and Festschrifts. In addition, tutorials ...
. Extended versions of selected papers of each year's conference alternatingly appear in the journals
Theoretical Computer Science
Theoretical computer science is a subfield of computer science and mathematics that focuses on the Abstraction, abstract and mathematical foundations of computation.
It is difficult to circumscribe the theoretical areas precisely. The Associati ...
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
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
*
Compiler
In computing, a compiler is a computer program that Translator (computing), translates computer code written in one programming language (the ''source'' language) into another language (the ''target'' language). The name "compiler" is primaril ...
s
* 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 syst ...
* Concurrency
*
Data and image compression
* Design and architecture of automata software
* Document engineering
*
Natural language processing
Natural language processing (NLP) is a subfield of computer science and especially artificial intelligence. It is primarily concerned with providing computers with the ability to process data encoded in natural language and is thus closely related ...
*
Pattern matching
In computer science, pattern matching is the act of checking a given sequence of tokens for the presence of the constituents of some pattern. In contrast to pattern recognition, the match usually must be exact: "either it will or will not be a ...
* Teaching of
automata theory
Automata theory is the study of abstract machines and automata, as well as the computational problems that can be solved using them. It is a theory in theoretical computer science with close connections to cognitive science and mathematical l ...
*
Text processing
In computing, the term text processing refers to the theory and practice of automating the creation or manipulation of electronic text.
''Text'' usually refers to all the alphanumeric characters specified on the keyboard of the person engaging th ...
* Techniques for graphical display of automata
History of the Conference
The CIAA conference series was founded by
Darrell Raymond and
Derick Wood.
Since 2013, the Steering committee is chaired by
Kai Salomaa.
See also
*
List of computer science conferences
This is a list of academic conferences in computer science. Only conferences with separate articles are included; within each field, the conferences are listed alphabetically by their short names.
General
* FCRC – Federated Computing Resear ...
contains other academic conferences in computer science
References
*.
*.
External links
official website of CIAACIAA proceedings informationfrom
DBLP
DBLP is a computer science bibliography website. Starting in 1993 at Universität Trier in Germany, it grew from a small collection of HTML files and became an organization hosting a database and logic programming bibliography site. Since Novem ...
"List of conferences and workshops" question at cstheory.stackexchange
Theoretical computer science conferences
Automata (computation)
Formal languages
{{compu-conference-stub