CAI 2013

5th International Conference on Algebraic Informatics


Aix-Marseille University - ERISCS - IML

logo AMU

Porquerolles translucent

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):


Past conferences: CAI2007 - CAI2009 - CAI2011


Institut de Mathématiques
de Luminy


Agence pour les Mathématiques
en Interaction avec l'Entreprise
et la Société


logo AMIES
logo AMU

© 2012-2013 IML-CNRS - Updated september 17, 2013. EL