CAI 2019

CAI is the biennial conference serving the community interested in the intersection of theoretical computer science, algebra, and related areas.

In 2019 it will feature invited presentations and a selective single-track program of contributed papers describing original and unpublished research.

CAI 2019 is hosted at the University of Niš, Serbia, and organized by the Faculty of Sciences and Mathematics of this university.

The proceedings of CAI 2019 will be published in the Lecture Notes in Computer Science (LNCS) series by Springer.

The journal Information and Computation has agreed to publish a special issue containing selected papers of CAI 2019.

Topics include, but are not limited to, the following areas of interest (ordered alphabetically). Papers covering other areas will be given due consideration by the program committee.

• ●abstract machines or systems
• ●acceptors and transducers for discrete structures
• ●algebraic and combinatorial methods in design theory
• ●algebraic aspects of cryptography
• ●algebraic characterization of logical theories
• ●algebraic coding theory
• ●algebraic semantics
• ●algebraic specifications and algorithms
• ●algorithms for construction and classification of designs
• ●complexity problems in design theory
• ●computational number theory
• ●decision problems
• ●evolutionary algorithms
• ●exact algorithms
• ●finite and infinite computations
• ●formal power series
• ●hybrid automata
• ●implementation of symbolic algorithms
• ●molecular computing
• ●neural networks
• ●process algebra
• ●program construction and refinements
• ●quantitative automata models
• ●quantum computing
• ●symbolic mathematical computation
• ●term rewriting