CAI 2013: 5th International Conference on Algebraic Informatics

Sep 3 2013 - 09:00
Sep 6 2013 - 13:00
Venue: 

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

Short description of the event: 

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.

SUBMISSIONS:
Authors are invited to submit papers (in PDF format) presenting original research work, electronically to

cai2013@acrypta.fr

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. Simultaneous submissions to other conferences with published proceedings is not allowed.

IMPORTANT DATES:
Submission Due: 1 March 2013
Notification: 25 April 2013
Proceedings Version Due: 14 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.

satunnaisuus