<html>
<head>
<meta http-equiv="content-type" content="text/html; charset=utf-8">
</head>
<body bgcolor="#FFFFFF" text="#000000">
<pre wrap="">====================================================================
Call for Papers
CAI 2017
7th International Conference on Algebraic Informatics
June 25-28, 2017
Kalamata, Greece
<a class="moz-txt-link-freetext" href="http://www.cargo.wlu.ca/CAI2017/">http://www.cargo.wlu.ca/CAI2017/</a>
CAI is the biennial conference serving the community interested in the
intersection of theoretical computer science, algebra, and related areas.
CAI 2017 will feature invited presentations and a selective five-track
program of contributed papers describing original and unpublished
research.
Important Dates
Submission deadline: March 1, 2017, 23:59 PST (Pacific Standard Time)
Author notification: April 15, 2017
Early registration deadline: May 15, 2017
Deadlines are firm; late submissions will not be considered.
CAI 2017 General Chair
Ilias Kotsireas, Wilfrid Laurier University, Canada
CAI Steering Committee
Symeon Bozapalidis, Aristotle University of Thessaloniki, Greece
Olivier Carton, Universite Paris 7, Denis Diderot, France
Manfred Droste, Universitaet Leipzig, Germany
Zoltan Esik, University of Szeged, Hungary
Werner Kuich, Technische Universitaet Wien, Austria
Dimitrios Poulakis, Aristotle University of Thessaloniki, Greece
Arto Salomaa, University of Turku, Finland
Proceedings
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).
Topics
Typical but not exclusive topics of interest are:
Track 1: Automata Theory and Logic
Chair: Manfred Droste (Germany)
Invited Speaker: Heiko Vogler (TU Dresden, Germany)
Topics: This includes all topics of theoretical computer science
with connections to automata theory and logic in computer science,
in the broad sense.
Submissions by e-mail: <a class="moz-txt-link-abbreviated" href="mailto:droste@informatik.uni-leipzig.de">droste@informatik.uni-leipzig.de</a>
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.
Track 2: Cryptography and Coding Theory
Chairs: Stephane Ballet (France), Dimitrios Poulakis (Greece), Robert Rolland (France)
Invited Speaker: Claude Carlet (Universite Paris 8, France)
Topics:
- Elliptic Curves Cryptography
- Lattice Cryptography
- Cryptanalytic Methods
- Identity Based Cryptography
- Symmetric Ciphers
- Public Keys Cryptosystems
- Digital Signatures
- Steganography
- Quantum Cryptography
- Cryptographic Protocols
- Computational Number Theory
- Boolean Functions
- Error-Correcting Codes
- Algebraic-Geometric Codes
- Code Based Cryptography
- Quantum Codes
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>
Track 3: Computer Algebra
Chairs: Rafael Sendra (Spain), Franz Winkler (Austria)
Invited Speaker: Michael Wibmer (University of Pennsylvania, USA)
Topics:
- symbolic mathematical computation
- exact algorithms
- implementation of symbolic algorithms
- applications
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>
Track 4: Design Theory
Chairs: Lucia Moura (Canada), Dimitris Simos (Austria)
Invited Speaker: Charles Colbourn (Arizona State University, USA)
Topics:
- algebraic and combinatorial methods in design theory
- algorithms for construction and classification of designs
- applications of combinatorial designs in computer science,
coding theory and information theory
- complexity problems in design theory
Submissions by e-mail:
<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>
Track 5: Natural and Quantum Computing
Chair: Mika Hirvensalo (Finland)
Invited Speaker: Scott Aaronson (University of Texas at Austin, USA) (not confirmed yet)
Topics:
- evolutionary algorithms
- molecular computing
- neural networks
- quantum computing
Submissions by e-mail: <a class="moz-txt-link-abbreviated" href="mailto:mikhirve@utu.fi">mikhirve@utu.fi</a>
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>
Submission Guidelines
Authors are invited to submit papers, presenting original and unpublished research.
Submitted papers should not exceed 25 pages.
Simultaneous submission to other conferences with published proceedings or journals is not allowed.
Submissions should be made to the appropriate track of the conference, by e-mail to the track Chairs.
All proofs omitted due to space constraints should be given in an appendix or made accessible through
a reliable link to a freely available electronic preprint.
====================================================================</pre>
If you do not wish to receive announcements from the<br>
Research Institute for Symbolic Computation (RISC),<br>
please send an e-mail to the following address:<br>
<a class="moz-txt-link-abbreviated" href="mailto:secreatry@risc.jku.at">secreatry@risc.jku.at</a><br>
<br>
Note: Please check before if the mail was forwarded from other side.<br>
</body>
</html>