# MACIS — International Conference on Mathematical Aspects of Computer and Information Sciences

- **Submission deadline**: 2017-09-17
- **Notification date**: 2017-10-02
- **Conference date**: 2017-11-15
- **Location**: Vienna, Austria
- **Conference Partner Index**: 43.9/100 (ranked #3243, confidence 0.45, algorithm 1.1) — how this is computed: https://www.myhuiban.com/ranking
- **Trackers**: 1
- **Attendees**: 1
- **Canonical page**: https://www.myhuiban.com/conference/2288

## Call for papers

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

## Related conferences

- SIGIR — International Conference on Research and Development in Information Retrieval — https://www.myhuiban.com/conference/141
- AAAI — AAAI Conference on Artificial Intelligence — https://www.myhuiban.com/conference/408
- CVPR — IEEE Conference on Computer Vision and Pattern Recognition — https://www.myhuiban.com/conference/407
- ICRA — International Conference on Robotics and Automation — https://www.myhuiban.com/conference/421
- IJCAI — International Joint Conference on Artificial Intelligence — https://www.myhuiban.com/conference/405

## Related journals

- Information Sciences — https://www.myhuiban.com/journal/115
- Journal of Computer and Systems Sciences International — https://www.myhuiban.com/journal/501
- Mathematical Programming — https://www.myhuiban.com/journal/516
- Journal of Mathematical Imaging and Vision — https://www.myhuiban.com/journal/508
- Applied Mathematical Modelling — https://www.myhuiban.com/journal/347

---
Source: Conference Partner — https://www.myhuiban.com/conference/2288 (rankings reproduced from CCF / ICORE / QUALIS; data cached up to 1 hour)