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