MACIS authors are required to choose one of the following tracks:

Track 1: Foundation of Algorithms in Mathematics, Engineering & Scientific Computation

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 Chairs:

Matthew England, Coventry University, UK
Jonathan Hauenstein, University of Notre Dame, USA
Laura Kovacs, Vienna University of Technology, Austria
Elias Tsigaridas, INRIA, France

Track 2: Combinatorics and Codes in Computer Science

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 Chairs:

Daniel Augot, INRIA & Ecole Polytechnique, France
Alexander May, Ruhr-University Bochum, Germany
Alfred Wassermann, University of Bayreuth, Germany

Track 3: Data Modeling and Analysis

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 Chairs:

Xiaoyu Chen, Beihang University, China
Joachim Giesen, Friedrich Schiller University Jena, Germany
Giorgos Kollias, IBM Research, USA

Track 4: Mathematical Aspects of Information Security and Cryptography

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

Track Chairs:

Jan Camenisch, IBM Research, Switzerland
Stefan Dziembowski, University of Warsaw, Poland
Guenael Renault, ANSSI, France