Marcella Anselmo, Dora Giammarresi, Maria MadoniaStrong 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 Andreas Maletti Eleni Mandrali, George Rahonis Victor Marsault, Jacques Sakarovitch Matteo Piva, Massimiliano Sala Laurent Poinsot Michel de Rougemont, Mathieu Tracol |

**CALL FOR PAPERS - CLOSED**

5th International Conference on Algebraic Informatics (CAI 2013)

http://iml.univ-mrs.fr/ati/conferences/CAI2013

September 3 - 6, 2013

Porquerolles Island

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:

http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0

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:

Submission Due: |
before 25th of March 2013 |

Notification: |
9 May 2013 |

Proceedings Version Due: | 28 May 2013 |

Proceedings

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

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

Papers describing original R&D solutions in the field are also welcome.

© 2012-2013 IML-CNRS - updated: may 15, 2013