CAI 2013 will include a highly selective single-track program for papers describing original and unpublished research advancing the state of the art in the field.

Topics (including but not limited to the following topics of interest):

algebraic specifications and algorithms, algebraic coding theory, algebraic aspects of cryptography, computational number theory, formal power series, algebraic semantics, finite and infinite computations, algebraic characterization of logical theories, process algebra, program construction and refinements, acceptors and transducers for discrete structures, decision problems, term rewriting, abstract machines or systems, hybrid automata composition.

The Proceedings of CAI 2013 will be published in the Lecture Notes in Computer Science Series (LNCS) by Springer:

Past conferences: CAI2007 - CAI2009 - CAI2011