posted by user: HybridSystems || 2435 views || tracked by 4 users: [display]

CAI 2013 : 5th International Conference on Algebraic Informatics

FacebookTwitterLinkedInGoogle


Conference Series : Conference on Algebraic Informatics
 
Link: http://iml.univ-mrs.fr/ati/conferences/CAI2013/
 
When Sep 3, 2013 - Sep 6, 2013
Where Aix-Marseille University, France
Submission Deadline Mar 1, 2013
Notification Due Apr 25, 2013
Final Version Due May 14, 2013
Categories    computer algebra   algebraic geometry   formal methods
 

Call For Papers

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

cai2013@acrypta.fr

(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.
Simultaneous submission 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.

Related Resources

AIME 2021   Artificial Intelligence in Medicine in Europe
ATVA 2020   18ᵗʰ International Symposium on Automated Technology for Verification and Analysis
3rd ICRLSH Singapore 2021   2021 – 3rd International Conference on Research in Life-Sciences & Healthcare (ICRLSH), 27-28 March, Singapore
SEFM 2020   Software Engineering and Formal Methods
ACM-BCB 2020   11th ACM Conference on Bioinformatics, Computational Biology, and Health Informatics
ICFEM 2020   The 22nd International Conference on Formal Engineering Methods (2020)
22nd ICRLSH 05-06 November, Singapore 2020   2020 – 22nd International Conference on Research in Life-Sciences & Healthcare (ICRLSH), 05-06 November, Singapore
FORMATS 2020   Formal Modeling and Analysis of Timed Systems
23rd ICRLSH, 05-06 November, Sydney 2020   2020 – 23rd International Conference on Research in Life-Sciences & Healthcare (ICRLSH), 05-06 November, Sydney
GandALF 2020   11th International Symposium on Games, Automata, Logics, and Formal Verification