CAI 2019

8th International Conference on Algebraic Informatics

June 30 – July 4, 2019

Niš, Serbia

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 of interest

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

Poster

The poster of CAI 2019 can be downloaded in PDF format.

Previous CAIs

CAI 2019 continues the tradition established by the previous CAIs:

  • CAI 2017 - 7th International Conference on Algebraic Informatics, June 25-28, 2017, Kalamata, Greece
  • CAI 2015 - 6th International Conference on Algebraic Informatics, September 1-4, 2015, Stuttgart, Germany
  • CAI 2013 - 5th International Conference on Algebraic Informatics, September 3-6, 2013, at the village IGESA, Porquerolles Island, France
  • CAI 2011 - 4th International Conference on Algebraic Informatics, June 21-24, 2011, Linz, Austria
  • CAI 2009 - 3rd International Conference on Algebraic Informatics, May 19-22, 2009, Thessaloniki, Greece
  • CAI 2007 - 2nd International Conference on Algebraic Informatics, May 21-25, 2007, Thessaloniki, Greece
  • CAI 2005 - International Conference on Algebraic Informatics, Thessaloniki, Greece, 2005