CAI 2013 : 5th International Conference on Algebraic Informatics
Conference Series : Conference on Algebraic Informatics
Call For Papers
5th International Conference on Algebraic Informatics (CAI 2013)
September 3 - 6, 2013
Aix-Marseille University, France
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.
Authors are invited to submit papers (in PDF format) presenting original research work, electronically to
(You should receive an acknowledgment within 3 days)
All submissions should be formatted according to the usual LNCS article style:
and should not exceed 12 pages.
Simultaneous submission to other conferences with published proceedings is not allowed.
1 March 2013
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 (http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0).
(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.