<html>
<head>
<meta http-equiv="content-type" content="text/html; charset=utf-8">
</head>
<body bgcolor="#FFFFFF" text="#000000">
<br>
Call for Papers<br>
<br>
CAI 2017<br>
7th International Conference on Algebraic Informatics<br>
June 25-28, 2017<br>
Kalamata, Greece<br>
<a class="moz-txt-link-freetext" href="http://www.cargo.wlu.ca/CAI2017/">http://www.cargo.wlu.ca/CAI2017/</a><br>
<br>
CAI is the biennial conference serving the community interested in
the intersection of theoretical computer science, algebra, and
related areas.<br>
<br>
CAI 2017 will feature invited presentations and a selective
five-track program of contributed papers describing original and
unpublished research.<br>
<br>
Important Dates<br>
<br>
Submission deadline: March 1, 2017, 23:59 PST (Pacific Standard
Time) <br>
Author notification: April 15, 2017<br>
Early registration deadline: May 15, 2017<br>
<br>
Deadlines are firm; late submissions will not be considered.<br>
<br>
CAI 2017 General Chair<br>
<br>
Ilias Kotsireas, Wilfrid Laurier University, Canada<br>
<br>
<br>
CAI Steering Committee<br>
<br>
Symeon Bozapalidis, Aristotle University of Thessaloniki, Greece<br>
Olivier Carton, Universite Paris 7, Denis Diderot, France<br>
Manfred Droste, Universitaet Leipzig, Germany<br>
Zoltan Esik, University of Szeged, Hungary<br>
Werner Kuich, Technische Universitaet Wien, Austria<br>
Dimitrios Poulakis, Aristotle University of Thessaloniki, Greece<br>
Arto Salomaa, University of Turku, Finland<br>
<br>
<br>
Proceedings<br>
<br>
The CAI 2017 conference proceedings will be published in electronic
form. Authors of the best papers will be invited to submit a
revised version of their work to a Special Issue of Theoretical
Computer Science (Elsevier).<br>
<br>
Topics<br>
<br>
Typical but not exclusive topics of interest are:<br>
<br>
Track 1: Automata Theory and Logic<br>
Chair: Manfred Droste (Germany)<br>
Invited Speaker: Heiko Vogler (TU Dresden, Germany)<br>
Topics: This includes all topics of theoretical computer science
with connections to automata theory and logic in computer science,
in the broad sense.<br>
Submissions by e-mail: <a class="moz-txt-link-abbreviated" href="mailto:droste@informatik.uni-leipzig.de">droste@informatik.uni-leipzig.de</a><br>
A PC will select the 10% best submissions for a 'distinguished
lecture'. Authors will receive a confirmation of this and will have
more time than the usual talks.<br>
<br>
<br>
Track 2: Cryptography and Coding Theory<br>
Chairs: Stephane Ballet (France), Dimitrios Poulakis (Greece),
Robert Rolland (France)<br>
Invited Speaker: Claude Carlet (Universite Paris 8, France)<br>
Topics:<br>
- Elliptic Curves Cryptography<br>
- Lattice Cryptography<br>
- Cryptanalytic Methods<br>
- Identity Based Cryptography<br>
- Symmetric Ciphers<br>
- Public Keys Cryptosystems<br>
- Digital Signatures<br>
- Steganography<br>
- Quantum Cryptography<br>
- Cryptographic Protocols<br>
- Computational Number Theory<br>
- Boolean Functions<br>
- Error-Correcting Codes<br>
- Algebraic-Geometric Codes<br>
- Code Based Cryptography<br>
- Quantum Codes<br>
Submissions by e-mail: <a class="moz-txt-link-abbreviated" href="mailto:stephane.ballet@univ-amu.fr">stephane.ballet@univ-amu.fr</a>,
<a class="moz-txt-link-abbreviated" href="mailto:poulakis@math.auth.gr">poulakis@math.auth.gr</a>, <a class="moz-txt-link-abbreviated" href="mailto:robert.rolland@acrypta.fr">robert.rolland@acrypta.fr</a><br>
<br>
Track 3: Computer Algebra<br>
Chairs: Rafael Sendra (Spain), Franz Winkler (Austria)<br>
Invited Speaker: Michael Wibmer (University of Pennsylvania, USA)<br>
Topics:<br>
- symbolic mathematical computation<br>
- exact algorithms<br>
- implementation of symbolic algorithms<br>
- applications<br>
Submissions by e-mail: <a class="moz-txt-link-abbreviated" href="mailto:Rafael.Sendra@uah.es">Rafael.Sendra@uah.es</a>,
<a class="moz-txt-link-abbreviated" href="mailto:Franz.Winkler@risc.jku.at">Franz.Winkler@risc.jku.at</a><br>
<br>
Track 4: Design Theory<br>
Chairs: Lucia Moura (Canada), Dimitris Simos (Austria)<br>
Invited Speaker: Charles Colbourn (Arizona State University, USA)<br>
Topics:<br>
- algebraic and combinatorial methods in design theory<br>
- algorithms for construction and classification of designs<br>
- applications of combinatorial designs in computer science,
coding theory and information theory<br>
- complexity problems in design theory<br>
Submissions by e-mail: <br>
<a class="moz-txt-link-abbreviated" href="mailto:CAI2017.DesignTheory@uottawa.ca">CAI2017.DesignTheory@uottawa.ca</a> ,
<a class="moz-txt-link-abbreviated" href="mailto:CAI2017.DesignTheory@sba-research.org">CAI2017.DesignTheory@sba-research.org</a><br>
<br>
Track 5: Natural and Quantum Computing<br>
Chair: Mika Hirvensalo (Finland)<br>
Invited Speaker: TBA <br>
Topics:<br>
- evolutionary algorithms<br>
- molecular computing<br>
- neural networks<br>
- quantum computing<br>
Submissions by e-mail: <a class="moz-txt-link-abbreviated" href="mailto:mikhirve@utu.fi">mikhirve@utu.fi</a><br>
<br>
For general inquiries regarding CAI 2017, please send e-mail to
<a class="moz-txt-link-abbreviated" href="mailto:ikotsire@wlu.ca">ikotsire@wlu.ca</a><br>
<br>
Submission Guidelines<br>
<br>
Authors are invited to submit papers, presenting original and
unpublished research. <br>
Submitted papers should not exceed 25 pages. <br>
Simultaneous submission to other conferences with published
proceedings or journals is not allowed.<br>
Submissions should be made to the appropriate track of the
conference, by e-mail to the track Chairs. <br>
All proofs omitted due to space constraints should be given in an
appendix or made accessible through <br>
a reliable link to a freely available electronic preprint.<br>
<br>
<div class="moz-signature">-- <br>
<br>
</div>
</body>
</html>