[cmath] CAI 2019 – FIRST CALL FOR PAPERS

[Ilias Kotsireas]

Date: Sun, 11 Nov 2018 12:56:24 +0100 (CET)
From: CAI 2019 <cai2019 at pmf.ni.ac.rs>
Subject: CAI 2019 – FIRST CALL FOR PAPERS

CAI 2019 – FIRST CALL FOR PAPERS

 

CAI 2019: 8th International Conference on Algebraic Informatics

Niš, Serbia, June 30 – July 4, 2019

http://www.pmf.ni.ac.rs/CAI2019/

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 Instructions

 

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.

 

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)

 

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 (Sobolev Institute of Mathematics, 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)

 

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 at pmf.ni.ac.rs, or directly to

Miroslav Ćirić (Co-chair of the Program Committee): miroslav.ciric at pmf.edu.rs

Jelena Ignjatović (Chair of the Local Organizing Committee): 
jelena.ignjatovic at pmf.edu.rs