The conference 2013 was held on September 3-6, 2013
at the village IGESA, Porquerolles Island, France
CAI 2013 included 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.
Published Proceedings of CAI 2013 (Traian Muntean, Dimitrios Poulakis, Robert Rolland eds):