Groupe d’Études et Recherche en Informatique des Systèmes Communicants Sécurisés (ERISCS) and Institut de Mathématiques de Luminy (IML), Aix-Marseille University
Conference held at the village IGESA, Porquerolles Island, France
CAI 2013 continues the tradition established by the four previous sessions: to bring together researchers from theoretical computer science and algebra. This should enhance the understanding of syntactic and semantic problems by algebraic models; and it should also propagate the application of modern techniques from informatics in algebraic computation.
We will try to achieve this goal via invited lectures and contributed research talks.
Authors are invited to submit papers (in PDF format) presenting original research work, electronically to
All submissions should be formatted according to the usual LNCS article style
and should not exceed 12 pages. Simultaneous submissions to other conferences with published proceedings is not allowed.
Submission Due: 1 March 2013
Notification: 25 April 2013
Proceedings Version Due: 14 May 2013
The Proceedings of CAI 2013 will be published in the Lecture Notes in Computer Science Series (LNCS) by Springer.
Authors of accepted papers will be invited to provide a final version of their paper formatted with the llncs.cls class file
(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,
finite and infinite computations,
algebraic characterization of logical theories,
program construction and refinements,
acceptors and transducers for discrete structures,
abstract machines or systems,
hybrid automata composition.
Papers describing original R&D solutions in the field are also welcome.