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

proceedings_cai2013_small

Past conferences: CAI2007 - CAI2009 - CAI2011

 
SUPPORTING INSTITUTIONS

Institut de Mathématiques
de Luminy

ERISCS

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

Aix-Marseille
Université

logo ERISCS
logo AMIES
logo AMU
       

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