[loginf] CAI 2019 - Submission Deadline Extended
Manfred Droste
droste at informatik.uni-leipzig.de
Fri Jan 11 17:13:12 CET 2019
Apologies for possibly multiple copies of this announcement
*Important notes: *
* *Submission deadline for CAI 2019 has been extended until
January 25, 2019*
* *Information on accomodation has been added*
**
*CAI 2019 **– **SECOND 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 *January 25, 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 (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)
*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š)
*New: Accomodation^*
A limited number of rooms for the participants of CAI 2019 have been
pre-reserved in the *New City Hotel* in Niš (www.newcityhotelnis.com
<http://www.newcityhotelnis.com>). The rooms will be reserved until 1st
May 2019.
Participants should book rooms themselves, by email to the address
info at newcityhotelnis.com <mailto:info at newcityhotelnis.com>or
recepcija at newcityhotelnis.com <mailto:recepcija at newcityhotelnis.com>,
and to note that they are guests of the conference CAI 2019, for which
pre-reservation was agreed by Professor Miroslav Ćirić.
The offered room prices, for a standard room, are the following:
1/1 - 52,3 € per room
1/2 - 69,6 € per room
The prices include overnight stay, breakfast, insurance and taxes.
Participants can also book some other cheaper hotel, either via
booking.com or some other room booking service, or directly, via email.
Our recommendation is:
* Garni Hotel Consul (very good but cheap 3star hotel, 10 minutes walk
to the conference location, http://www.consulaccommodation.rs/)
* ArtLoft Garni Hotel (4star hotel, 10 minutes walk to the conference
location)
* Garni Hotel Eter (3star hotel, 5 minutes walk to the conference
location)
For assistance in choosing accommodation, participants can contact the
email addresses below.
*Contact*
All questions should be emailed to the conference email address
cai2019 at pmf.ni.ac.rs <mailto:cai2019 at pmf.ni.ac.rs>, or directly to
Miroslav Ćirić (Co-chair of the Program Committee):
miroslav.ciric at pmf.edu.rs <mailto:miroslav.ciric at pmf.edu.rs>
Jelena Ignjatović (Chair of the Local Organizing Committee):
jelena.ignjatovic at pmf.edu.rs <mailto:jelena.ignjatovic at pmf.edu.rs>
More information about the loginf
mailing list