<html>
<head>
<meta http-equiv="content-type" content="text/html; charset=utf-8">
</head>
<body text="#000000" bgcolor="#FFFFFF">
Call for Papers<br>
<br>
**********************************************************<br>
MACIS 2017<br>
7th International Conference on <br>
Mathematical Aspects of Computer and Information Sciences<br>
November 15-17, 2017 Vienna, Austria. <br>
<a class="moz-txt-link-freetext" href="https://macis2017.sba-research.org/">https://macis2017.sba-research.org/</a><br>
**********************************************************<br>
<br>
MACIS is a series of biennial conferences focusing on research in
mathematical <br>
and computational aspects of computing and information science.<br>
MACIS 2017 will feature invited presentations and a selective
four-track <br>
program of contributed papers describing original and unpublished
research.<br>
<br>
===== Important Dates =====<br>
<br>
Submission deadline (REGULAR/SHORT papers): September 3, Sunday<br>
(SHORT papers are decided on a rolling basis)<br>
Notification deadline for all submissions: October 2, Monday<br>
Registration opens: October 2, Monday<br>
Camera-ready due: October 15, Sunday<br>
<br>
Deadlines are firm; late submissions will not be considered.<br>
<br>
==== MACIS 2017 Organization ====<br>
<br>
General Chair:<br>
Dimitris E. Simos, SBA Research, Austria<br>
<br>
PC Chairs:<br>
Johannes Bloemer, Paderborn University, Germany<br>
Temur Kutsia, RISC, Johannes Kepler University, Austria<br>
<br>
MACIS Steering Committee:<br>
Ilias Kotsireas (Chair), Wilfrid Laurier University, Canada<br>
Siegfried Rump, Hamburg University of Technology, Germany<br>
Thomas Sturm, Max Planck Institute for Informatics, Germany<br>
Dongming Wang, Beihang University, China<br>
Jinzhao Wu, Guangxi University for Nationalities, China<br>
Chee Yap, New York University, USA<br>
<br>
==== Proceedings ====<br>
<br>
All accepted SHORT or REGULAR papers (details, below) are planned to
appear in <br>
a conference proceedings volume published by Springer LNCS (pending
approval). <br>
In addition, REGULAR papers have the opportunity to be considered
for <br>
post-conference special issues of the journal Mathematics in
Computer Science <br>
(MCS <a class="moz-txt-link-freetext" href="http://link.springer.com/journal/11786">http://link.springer.com/journal/11786</a>) by Birkhauser/Springer.<br>
<br>
==== MACIS 2017 Topics ====<br>
<br>
MACIS authors are required to choose one of the following tracks:<br>
-----------------<br>
Track 1:<br>
Foundation of Algorithms in Mathematics, Engineering &
Scientific Computation<br>
Track Chairs:<br>
Matthew England (Coventry University, UK), <br>
Jonathan Hauenstein (University of Notre Dame, USA),<br>
Laura Kovacs (Vienna University of Technology, Austria),<br>
Elias Tsigaridas (INRIA, France)<br>
Topics: <br>
quantifier elimination and decision procedures; global
optimization; <br>
differential equations; numeric, symbolic, interval and hybrid
solution <br>
techniques; satisfiability modulo theories; combinations of logics
and <br>
deductive engines; applications, especially in systems analysis
and formal <br>
verification; solving (parametric) polynomial systems<br>
----------------<br>
Track 2: <br>
Combinatorics and Codes in Computer Science<br>
Track Chairs: <br>
Daniel Augot (INRIA & Ecole Polytechnique, France), <br>
Alexander May (Ruhr-University Bochum, Germany), <br>
Alfred Wassermann (University of Bayreuth, Germany)<br>
Topics: <br>
combinatorics, enumerative, combinatorial designs, their analysis
and <br>
algorithmic constructions of them, complexity problems in
combinatorics; <br>
codes constructions, decoding methods and their complexity,
information <br>
theory aspects, Kolmogorov complexity<br>
----------------<br>
Track 3: <br>
Data Modeling and Analysis<br>
Track Chairs: <br>
Xiaoyu Chen (Beihang University, China)<br>
Joachim Giesen (Friedrich Schiller University Jena, Germany), <br>
Giorgos Kollias (IBM Research, USA)<br>
Topics: <br>
knowledge discovery; data mining; differential privacy, pattern
recognition; <br>
complex knowledge - representation and management; foundations and
theories <br>
for data analysis - systems; design and analysis of machine
learning <br>
algorithms, statistical analysis for big data<br>
----------------<br>
Track 4: <br>
Mathematical Aspects of Information Security and Cryptography<br>
Track Chairs:<br>
Jan Camenisch (IBM Research, Switzerland), <br>
Stefan Dziembowski (University of Warsaw, Poland),<br>
Guenael Renault (ANSSI, France)<br>
Topics:<br>
security models; formal methods for security and privacy; design
and analysis <br>
of algebraic, elliptic, number theoretical, code-based,
lattice-based and <br>
hash-based cryptographic primitives; algebraic cryptanalysis,
algebraic <br>
attacks, number theoretical algorithms, mathematical foundations
of <br>
post-quantum cryptography; (lattices, codes); algorithms and
software for <br>
symbolic computation in cryptography<br>
-----------------<br>
- For general inquiries regarding MACIS 2017, please send e-mail to
<br>
Dimitris Simos <a class="moz-txt-link-rfc2396E" href="mailto:dsimos@sba-research.org"><dsimos@sba-research.org></a><br>
- For inquiries regarding MACIS topics, please send e-mail to <br>
Johannes Bloemer <a class="moz-txt-link-rfc2396E" href="mailto:bloemer@mail.uni-paderborn.de"><bloemer@mail.uni-paderborn.de></a> or to <br>
Temur Kutsia <a class="moz-txt-link-rfc2396E" href="mailto:kutsia@risc.jku.at"><kutsia@risc.jku.at></a><br>
<br>
==== Submission Guidelines ====<br>
<br>
Authors are invited to submit papers, presenting original and
unpublished <br>
research:<br>
- REGULAR papers are up to 15 pages, and SHORT papers are up to 5
pages, <br>
including references. <br>
- Simultaneous submission to other conferences with published
proceedings or <br>
journals is not allowed.<br>
- Please use the LNCS format from Springer: <br>
<a class="moz-txt-link-freetext" href="ftp://ftp.springer.de/pub/tex/latex/llncs/latex2e/llncs2e.zip">ftp://ftp.springer.de/pub/tex/latex/llncs/latex2e/llncs2e.zip</a><br>
- Submissions should be made to the appropriate track of the
conference, <br>
by using the easychair submission system: <br>
<a class="moz-txt-link-freetext" href="https://easychair.org/conferences/?conf=macis2017">https://easychair.org/conferences/?conf=macis2017</a>.<br>
- For detailed submission guidelines please see the MACIS website: <br>
<a class="moz-txt-link-freetext" href="https://macis2017.sba-research.org">https://macis2017.sba-research.org</a><br>
<br>
<br>
---------------------------------------------------------------
<br>
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>
<br>
<br>
<div class="moz-forward-container">
<pre>
</pre>
</div>
</body>
</html>