Conférence CAI 2013 (CAI2013)

Écrit par Administrator Mardi, 02 Octobre 2012 03:10

La Conférence Internationale "Conference on Algebraic Informatics" aura lieu à Porquerolles (Centre IGESA) du 3 au 6 Septembre 2013. Le site de la conférence se trouve ici.

Voici le premier appel à Communication :

************ WE APOLOGIZE FOR MULTIPLE COPIES ******************

Preliminary Call for Papers

5rd 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

Cette adresse email est protégée contre les robots des spammeurs, vous devez activer Javascript pour la voir.

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.