[Publicity] CfP: MACIS 2017 (could you please distribute)

[RISC Secretary]

Call for Papers

**********************************************************
MACIS 2017
7th International Conference on
Mathematical Aspects of Computer and Information Sciences
November 15-17, 2017 Vienna, Austria.
https://macis2017.sba-research.org/
**********************************************************

MACIS is a series of biennial conferences focusing on research in 
mathematical
and computational aspects of computing and information science.
MACIS 2017 will feature invited presentations and a selective four-track
program of contributed papers describing original and unpublished research.

===== Important Dates =====

Submission deadline (REGULAR/SHORT papers): September 3, Sunday
(SHORT papers are decided on a rolling basis)
Notification deadline for all submissions: October 2, Monday
Registration opens: October 2, Monday
Camera-ready due: October 15, Sunday

Deadlines are firm; late submissions will not be considered.

==== MACIS 2017 Organization ====

General Chair:
Dimitris E. Simos, SBA Research, Austria

PC Chairs:
Johannes Bloemer, Paderborn University, Germany
Temur Kutsia, RISC, Johannes Kepler University, Austria

MACIS Steering Committee:
Ilias Kotsireas (Chair), Wilfrid Laurier University, Canada
Siegfried Rump, Hamburg University of Technology, Germany
Thomas Sturm, Max Planck Institute for Informatics, Germany
Dongming Wang, Beihang University, China
Jinzhao Wu, Guangxi University for Nationalities, China
Chee Yap, New York University, USA

==== Proceedings ====

All accepted SHORT or REGULAR papers (details, below) are planned to 
appear in
a conference proceedings volume published by Springer LNCS (pending 
approval).
In addition, REGULAR papers have the opportunity to be considered for
post-conference special issues of the journal Mathematics in Computer 
Science
(MCS http://link.springer.com/journal/11786) by Birkhauser/Springer.

==== MACIS 2017 Topics ====

MACIS authors are required to choose one of the following tracks:
-----------------
Track 1:
   Foundation of Algorithms in Mathematics, Engineering & Scientific 
Computation
Track Chairs:
   Matthew England (Coventry University, UK),
   Jonathan Hauenstein (University of Notre Dame, USA),
   Laura Kovacs (Vienna University of Technology, Austria),
   Elias Tsigaridas (INRIA, France)
Topics:
   quantifier elimination and decision procedures; global optimization;
   differential equations; numeric, symbolic, interval and hybrid solution
   techniques; satisfiability modulo theories; combinations of logics and
   deductive engines; applications, especially in systems analysis and 
formal
   verification; solving (parametric) polynomial systems
----------------
Track 2:
   Combinatorics and Codes in Computer Science
Track Chairs:
   Daniel Augot (INRIA & Ecole Polytechnique, France),
   Alexander May (Ruhr-University Bochum, Germany),
   Alfred Wassermann (University of Bayreuth, Germany)
Topics:
   combinatorics, enumerative, combinatorial designs, their analysis and
   algorithmic constructions of them, complexity problems in combinatorics;
   codes constructions, decoding methods and their complexity, information
   theory aspects, Kolmogorov complexity
----------------
Track 3:
   Data Modeling and Analysis
Track Chairs:
   Xiaoyu Chen (Beihang University, China)
   Joachim Giesen (Friedrich Schiller University Jena, Germany),
   Giorgos Kollias (IBM Research, USA)
Topics:
   knowledge discovery; data mining; differential privacy, pattern 
recognition;
   complex knowledge - representation and management; foundations and 
theories
   for data analysis - systems; design and analysis of machine learning
   algorithms, statistical analysis for big data
----------------
Track 4:
   Mathematical Aspects of Information Security and Cryptography
Track Chairs:
   Jan Camenisch (IBM Research, Switzerland),
   Stefan Dziembowski (University of Warsaw, Poland),
   Guenael Renault (ANSSI, France)
Topics:
   security models; formal methods for security and privacy; design and 
analysis
   of algebraic, elliptic, number theoretical, code-based, lattice-based 
and
   hash-based cryptographic primitives; algebraic cryptanalysis, algebraic
   attacks, number theoretical algorithms, mathematical foundations of
   post-quantum cryptography; (lattices, codes); algorithms and software 
for
   symbolic computation in cryptography
-----------------
- For general inquiries regarding MACIS 2017, please send e-mail to
   Dimitris Simos <dsimos at sba-research.org>
- For inquiries regarding MACIS topics, please send e-mail to
   Johannes Bloemer <bloemer at mail.uni-paderborn.de> or to
   Temur Kutsia <kutsia at risc.jku.at>

==== Submission Guidelines ====

Authors are invited to submit papers, presenting original and unpublished
research:
- REGULAR papers are up to 15 pages, and SHORT papers are up to 5 pages,
   including references.
- Simultaneous submission to other conferences with published 
proceedings or
   journals is not allowed.
- Please use the LNCS format from Springer:
   ftp://ftp.springer.de/pub/tex/latex/llncs/latex2e/llncs2e.zip
- Submissions should be made to the appropriate track of the conference,
   by using the easychair submission system:
   https://easychair.org/conferences/?conf=macis2017.
- For detailed submission guidelines please see the MACIS website:
   https://macis2017.sba-research.org


---------------------------------------------------------------
If you do not wish to receive announcements from the
Research Institute for Symbolic Computation (RISC),
please send an e-mail to the following address:
secreatry at risc.jku.at

Note: Please check before if the mail was forwarded from other side.


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://listserver.risc.jku.at/pipermail/publicity/attachments/20170606/ff1b7af7/attachment.htm>
-------------- next part --------------
Call for Papers

**********************************************************
MACIS 2017
7th International Conference on 
Mathematical Aspects of Computer and Information Sciences
November 15-17, 2017 Vienna, Austria. 
https://macis2017.sba-research.org/
**********************************************************

MACIS is a series of biennial conferences focusing on research in mathematical 
and computational aspects of computing and information science.
MACIS 2017 will feature invited presentations and a selective four-track 
program of contributed papers describing original and unpublished research.

===== Important Dates =====

Submission deadline (REGULAR/SHORT papers): September 3, Sunday
(SHORT papers are decided on a rolling basis)
Notification deadline for all submissions: October 2, Monday
Registration opens: October 2, Monday
Camera-ready due: October 15, Sunday

Deadlines are firm; late submissions will not be considered.

==== MACIS 2017 Organization ====

General Chair:
Dimitris E. Simos, SBA Research, Austria

PC Chairs:
Johannes Bloemer, Paderborn University, Germany
Temur Kutsia, RISC, Johannes Kepler University, Austria

MACIS Steering Committee:
Ilias Kotsireas (Chair), Wilfrid Laurier University, Canada
Siegfried Rump, Hamburg University of Technology, Germany
Thomas Sturm, Max Planck Institute for Informatics, Germany
Dongming Wang, Beihang University, China
Jinzhao Wu, Guangxi University for Nationalities, China
Chee Yap, New York University, USA

==== Proceedings ====

All accepted SHORT or REGULAR papers (details, below) are planned to appear in 
a conference proceedings volume published by Springer LNCS (pending approval). 
In addition, REGULAR papers have the opportunity to be considered for 
post-conference special issues of the journal Mathematics in Computer Science 
(MCS http://link.springer.com/journal/11786) by Birkhauser/Springer.

==== MACIS 2017 Topics ====

MACIS authors are required to choose one of the following tracks:
-----------------
Track 1:
  Foundation of Algorithms in Mathematics, Engineering & Scientific Computation
Track Chairs:
  Matthew England (Coventry University, UK), 
  Jonathan Hauenstein (University of Notre Dame, USA),
  Laura Kovacs (Vienna University of Technology, Austria),
  Elias Tsigaridas (INRIA, France)
Topics: 
  quantifier elimination and decision procedures; global optimization; 
  differential equations; numeric, symbolic, interval and hybrid solution 
  techniques; satisfiability modulo theories; combinations of logics and 
  deductive engines; applications, especially in systems analysis and formal 
  verification; solving (parametric) polynomial systems
----------------
Track 2: 
  Combinatorics and Codes in Computer Science
Track Chairs: 
  Daniel Augot (INRIA & Ecole Polytechnique, France), 
  Alexander May (Ruhr-University Bochum, Germany), 
  Alfred Wassermann (University of Bayreuth, Germany)
Topics: 
  combinatorics, enumerative, combinatorial designs, their analysis and 
  algorithmic constructions of them, complexity problems in combinatorics; 
  codes constructions, decoding methods and their complexity, information 
  theory aspects, Kolmogorov complexity
----------------
Track 3: 
  Data Modeling and Analysis
Track Chairs: 
  Xiaoyu Chen (Beihang University, China)
  Joachim Giesen (Friedrich Schiller University Jena, Germany), 
  Giorgos Kollias (IBM Research, USA)
Topics: 
  knowledge discovery; data mining; differential privacy, pattern recognition; 
  complex knowledge - representation and management; foundations and theories 
  for data analysis - systems; design and analysis of machine learning 
  algorithms, statistical analysis for big data
----------------
Track 4: 
  Mathematical Aspects of Information Security and Cryptography
Track Chairs:
  Jan Camenisch (IBM Research, Switzerland), 
  Stefan Dziembowski (University of Warsaw, Poland),
  Guenael Renault (ANSSI, France)
Topics:
  security models; formal methods for security and privacy; design and analysis 
  of algebraic, elliptic, number theoretical, code-based, lattice-based and 
  hash-based cryptographic primitives; algebraic cryptanalysis, algebraic 
  attacks, number theoretical algorithms, mathematical foundations of 
  post-quantum cryptography; (lattices, codes); algorithms and software for 
  symbolic computation in cryptography
-----------------
- For general inquiries regarding MACIS 2017, please send e-mail to 
  Dimitris Simos <dsimos at sba-research.org>
- For inquiries regarding MACIS topics, please send e-mail to 
  Johannes Bloemer <bloemer at mail.uni-paderborn.de> or to 
  Temur Kutsia <kutsia at risc.jku.at>

==== Submission Guidelines ====

Authors are invited to submit papers, presenting original and unpublished 
research:
- REGULAR papers are up to 15 pages, and SHORT papers are up to 5 pages, 
  including references. 
- Simultaneous submission to other conferences with published proceedings or 
  journals is not allowed.
- Please use the LNCS format from Springer: 
  ftp://ftp.springer.de/pub/tex/latex/llncs/latex2e/llncs2e.zip
- Submissions should be made to the appropriate track of the conference, 
  by using the easychair submission system: 
  https://easychair.org/conferences/?conf=macis2017.
- For detailed submission guidelines please see the MACIS website: 
  https://macis2017.sba-research.org