|Marcella Anselmo, Dora Giammarresi, Maria Madonia
Strong prefix codes of pictures.
Yves Aubry, Philippe Langevin
Stéphane Ballet, Jean Chaumine, Julia Pieltant
Symeon Bozapalidis, George Rahonis
Michael Cadilhac, Andreas Krebs, Pierre McKenzie
Marco Calderini, Massimiliano Sala
Bruno Courcelle, Irène Durand
Konstantinos Draziotis, Dimitrios Poulakis
Gérard H.E. Duchamp , Nguyen Hoang-Nghia, Adrian Tanasa
Nadia El Mrabet
Georgios Fotiadis, Elisavet Konstantinou
Johan P. Hansen
Sebastian Junges, Ulrich Loup, Florian Corzilius, Erika Ábrahám
Eleni Mandrali, George Rahonis
Victor Marsault, Jacques Sakarovitch
Matteo Piva, Massimiliano Sala
Michel de Rougemont, Mathieu Tracol
CALL FOR PAPERS - CLOSED
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.
If the authors believe that more details are essential to substantiate the main claims, they may include a clearly marked appendix that will be read at the discretion of the program committee.
Simultaneous submission to other conferences with published proceedings is not allowed.
The deadline is extended. The new important dates are:
||before 25th of March 2013
||9 May 2013
|Proceedings Version Due:||28 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