posted by user: grupocole || 3666 views || tracked by 6 users: [display]

CAI 2015 : 6th International Conference on Algebraic Informatics

FacebookTwitterLinkedInGoogle


Conference Series : Conference on Algebraic Informatics
 
 
When Sep 1, 2015 - Sep 4, 2015
Where Stuttgart, Germany
Submission Deadline Apr 27, 2015
Notification Due May 29, 2015
Final Version Due Jun 15, 2015
Categories    theoretical computer science
 

Call For Papers


6th International Conference on Algebraic Informatics (CAI 2015)
September 1–4, 2015 — Stuttgart, Germany

Springer

CAI is the biennial conference serving the community interested in the intersection of theoretical computer science, algebra, and related areas. In 2015 it will feature invited presentations and a selective single-track program of contributed papers describing original and unpublished research. The proceedings of CAI 2015 will be published in the Lecture Notes in Computer Science (LNCS) series by Springer.
Submission

We invite all authors to submit their papers (in PDF format) presenting original research work on the topics covered by the conference, electronically via EasyChair to

https://easychair.org/conferences/?conf=cai2015

Submissions should be formatted according to the usual LNCS article style and should not exceed 12 pages (including all references). If additional space is needed, a clearly marked appendix can be added. The appendix will not be published, so the merit and results of the contribution should also be understandable without it.

Simultaneous submission to other conferences with published proceedings is not allowed.
Important dates

Submission deadline: April 27, 2015
Notification: May 29, 2015
Final version: June 15, 2015
Conference: September 1–4, 2015

Topics

Typical contributions to CAI come from the following areas of interest (ordered alphabetically). Papers covering other areas will be given due consideration by the program committee. Papers describing original R&D solutions in those areas are also welcome.

abstract machines or systems
acceptors and transducers for discrete structures
algebraic aspects of cryptography
algebraic characterization of logical theories
algebraic coding theory
algebraic semantics
algebraic specifications and algorithms
computational number theory
decision problems
finite and infinite computations
formal power series
hybrid automata
process algebra
program construction and refinements
term rewriting

Program committee

Symeon Bozapalidis (Aristotle University of Thessaloniki, Greece)
Bruno Courcelle (University of Bordeaux, France)
Frank Drewes (Umea University, Sweden)
Manfred Droste (Universität Leipzig, Germany)
Zoltán Ésik (University of Szeged, Hungary)
Tero Harju (University of Turku, Finland)
Gregory Kucherov (University Paris-Est, Marne-la-Vallée, France)
Andreas Maletti (Universität Stuttgart, Germany)
Traian Muntean (Aix-Marseille Université, France)
Alexander Okhotin (University of Turku, Finland)
Friedrich Otto (Universität Kassel, Germany)
Jean Eric Pin (CNRS & Université Paris 7, France)
George Rahonis (Aristotle University of Thessaloniki, Greece)
Robert Rolland (Aix-Marseille Université, France)
Kai Salomaa (Queen's University, Kingston, ON, Canada)
Heiko Vogler (Technische Universität Dresden, Germany)
Mikhail Volkov (Ural Federal University, Yekaterinburg, Russia)
Franz Winkler (J. Kepler Universität, Linz, Austria)

Steering committee

Symeon Bozopalidis (Aristotle University of Thessaloniki, Greece)
Zoltán Ésik (University of Szeged, Hungary)
Werner Kuich (Technische Universität Wien, Vienna, Austria)
Arto Salomaa (University of Turku, Finland)

Local organizing committee

Fabienne Braune
Andreas Maletti
Daniel Quernheim
Nina Seemann

Contact: cai2015@ims.uni-stuttgart.de

Related Resources

AIME 2021   Artificial Intelligence in Medicine in Europe
GandALF 2020   11th International Symposium on Games, Automata, Logics, and Formal Verification
3rd ICRLSH Singapore 2021   2021 – 3rd International Conference on Research in Life-Sciences & Healthcare (ICRLSH), 27-28 March, Singapore
EXPRESS/SOS 2020   Combined 27th International Workshop on Expressiveness in Concurrency and 17th Workshop on Structural Operational Semantics
ACM-BCB 2020   11th ACM Conference on Bioinformatics, Computational Biology, and Health Informatics
22nd ICRLSH 05-06 November, Singapore 2020   2020 – 22nd International Conference on Research in Life-Sciences & Healthcare (ICRLSH), 05-06 November, Singapore
23rd ICRLSH, 05-06 November, Sydney 2020   2020 – 23rd International Conference on Research in Life-Sciences & Healthcare (ICRLSH), 05-06 November, Sydney
ADIP--ACM, EI, Scopus 2020   ACM--2020 2nd Asia Digital Image Processing Conference (ADIP 2020)--EI Compendex, Scopus
19th Istanbul 2020   2020 – 19th International Conference on Research in Life-Sciences & Healthcare (ICRLSH), 09-10 October, Istanbul
20th Osaka 2020   2020 – 20th International Conference on Research in Life-Sciences & Healthcare (ICRLSH), 14-15 October, Osaka