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
Invited Speaker (TBA)
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
Invited Speaker (TBA)
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
Invited Speaker (TBA)
