CAI: Conference on Algebraic Informatics

FacebookTwitterLinkedInGoogle

 

Past:   Proceedings on DBLP

Future:  Post a CFP for 2020 or later   |   Invite the Organizers Email

 
 

All CFPs on WikiCFP

Event When Where Deadline
CAI 2019 8th International Conference on Algebraic Informatics
Jun 30, 2019 - Jul 4, 2019 Niš, Serbia Jan 15, 2019
CAI 2015 6th International Conference on Algebraic Informatics
Sep 1, 2015 - Sep 4, 2015 Stuttgart, Germany Apr 27, 2015
CAI 2013 5th International Conference on Algebraic Informatics
Sep 3, 2013 - Sep 6, 2013 Aix-Marseille University, France Mar 1, 2013
CAI 2011 4th International Conference on Algebraic Informatics
Jun 21, 2011 - Jun 24, 2011 Linz, Austria Jan 24, 2011
 
 

Present CFP : 2019

CAI is the biennial conference serving the community interested in the intersection of theoretical computer science, algebra, and related areas.

In 2019 it will feature invited presentations and a selective single-track program of contributed papers describing original and unpublished research.

*Important Dates*

Submission deadline: January 15, 2019
Notification: March 15, 2019
Final version: April 5, 2019
Registration: May 20, 2019

*Submission Guidelines*

CAI 2019 invites authors to submit high-quality manuscripts (in PDF format) reporting original unpublished research in the topics covered by the conference.

Papers should be submitted electronically through EasyChair at the following link

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

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 or workshops with published proceedings is not allowed. It is required that each accepted paper will be presented at the symposium by one of its authors.

*List of Topics*

Topics include, but are not limited to, the following areas of interest (ordered alphabetically). Papers covering other areas will be given due consideration by the program committee.
– abstract machines or systems
– acceptors and transducers for discrete structures
– algebraic and combinatorial methods in design theory
– algebraic aspects of cryptography
– algebraic characterization of logical theories
– algebraic coding theory
– algebraic semantics
– algebraic specifications and algorithms
– algorithms for construction and classification of designs
– complexity problems in design theory
– computational number theory
– decision problems
– evolutionary algorithms
– exact algorithms
– finite and infinite computations
– formal power series
– hybrid automata
– implementation of symbolic algorithms
– molecular computing
– neural networks
– process algebra
– program construction and refinements
– quantitative automata models
– quantum computing
– symbolic mathematical computation
– term rewriting

*Invited Speakers*

– Paul Gastin (ENS Paris-Saclay, Cachan, France)
– Bane Vasić (University of Arizona, Tucson, USA)
– Franz Winkler (Johannes Kepler University, Linz, Austria)

*Committees*

*Program Committee*

– Claude Carlet (Université Paris 8, France)
– Miroslav Ćirić (University of Niš, Serbia, co-chair)
– Charles Colbourn (Arizona State University, Tempe, USA)
– Manfred Droste (University of Leipzig, Germany, co-chair)
– Zoltán Fülöp (University of Szeged, Hungary)
– Dora Giammarresi (Università Roma “Tor Vergata”, Italy)
– Mika Hirvensalo (University of Turku, Finland)
– Lila Kari (University of Waterloo, Canada)
– Ilias Kotsireas (Wilfrid Laurier University, Canada)
– Nataša Jonoska (University of South Florida, Tampa, USA)
– Dino Mandrioli (Politecnico di Milano, Italy)
– Miodrag Mihaljević (Mathematical Institute of the SASA, Belgrade, Serbia)
– Benjamin Monmege (Aix-Marseille Université, France)
– Lucia Moura (University of Ottawa, Canada)
– Jean-Éric Pin (Université Paris-Diderot, CNRS, Paris, France, co-chair)
– Dimitrios Poulakis (Aristotle University of Thessaloniki, Greece)
– Svetlana Puzynina (Saint Petersburg State University, Russia)
– George Rahonis (Aristotle University of Thessaloniki, Greece)
– Robert Rolland (Aix-Marseille Université, France)
– Kai Salomaa (Queen's University, Kingston, Canada)
– Rafael Sendra (Universidad de Alcalá, Alcalá de Henares, Madrid, Spain)
– Dimitris Simos (SBA Research, Vienna, Austria)
– Branimir Todorović (University of Niš, Serbia)
– Bianca Truthe (Justus Liebig University, Giessen, Germany)
– Heiko Vogler (Technical University of Dresden, Germany)
– Mikhail Volkov (Ural Federal University, Ekaterinburg, Russia)

*Organizing committee*

– Jelena Ignjatović (chair)
– Milan Bašić
– Velimir Ilić
– Zorana Jančić
– Dejan Mančev
– Ivana Micić
– Aleksandar Stamenković
– Stefan Stanimirović
– Ivan Stanković
– Aleksandar Trokicić

*Publication*

*Proceedings*

The proceedings of CAI 2019 will be published in the Lecture Notes in Computer Science (LNCS) series by Springer.

*Special Issue*

Selected papers will be invited to a special issue of the Elsevier’s journal Information and Computation, devoted to CAI 2019.

*Venue*

CAI 2019 will take place in Niš (Serbia), one of the oldest cities in the Balkans and Europe, which since ancient times has been considered a gateway between the East and the West.
The conference is hosted at the University of Niš, and organized by the Faculty of Sciences and Mathematics of this university.

More information on the host can be found in the following websites:
http://www.pmf.ni.ac.rs/CAI2019/other.html (Conference website)
https://www.ni.ac.rs/en/ (University of Niš)
http://visitnis.com/en/ (Tourism Organisation of Niš)

*Contact*

All questions should be emailed to the conference email address cai2019@pmf.ni.ac.rs, or directly to
Miroslav Ćirić (Co-chair of the Program Committee): miroslav.ciric@pmf.edu.rs
Jelena Ignjatović (Chair of the Local Organizing Committee): jelena.ignjatovic@pmf.edu.rs
 

Related Resources

CAI 2019   8th International Conference on Algebraic Informatics
CAI 2018   Second NIPS workshop on Conversational AI: “Today's Practice and Tomorrow's Potential”
AIME 2019   17th Conference on Artificial Intelligence in Medicine
INDIN 2019   IEEE International Conference on Industrial Informatics
ICMHI--Ei Compendex and Scopus 2019   2019 3rd International Conference on Medical and Health Informatics (ICMHI 2019)--Ei Compendex and Scopus
COGNITIVE 2019   The Eleventh International Conference on Advanced Cognitive Technologies and Applications
IEEE--ICSIP--Ei Compendex and Scopus 2019   2019 IEEE 4th International Conference on Signal and Image Processing (ICSIP 2019)--Ei Compendex and Scopus
SACLA 2019   Tertiary Education in Informatics and Computer Science: 48th Annual Conference
Special Issue MDPI Applied Sciences 2019   Special Issue on Intelligent Health Services Based on Biomedical Smart Sensors
ICINCO 2019   16th International Conference on Informatics in Control, Automation and Robotics