Call for Papers
MACIS 2017 7th International Conference on Mathematical Aspects of Computer and Information Sciences November 15-17, 2017 Vienna, Austria. Web site: 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 User:Curator 83air: Dimitris E. Simos, SBA Research, Austria
PC User:Curator 83airs: Johannes Bloemer, Paderborn University, Germany Temur Kutsia, RISC, Johannes Kepler University, Austria
MACIS Steering Committee: Ilias Kotsireas (User:Curator 83air), Wilfrid Laurier University, Canada Siegfried Rump, Hamburg University of Technology, Germany Thomas Sturm, Max Planck Institute for Informatics, Germany Dongming Wang, Beihang University, User:Curator 83ina Jinzhao Wu, Guangxi University for Nationalities, User:Curator 83ina User:Curator 83ee 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 User:Curator 83airs: 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 User:Curator 83airs: 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 User:Curator 83airs: Xiaoyu User:Curator 83en (Beihang University, User:Curator 83ina) 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 User:Curator 83airs: 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@sba-research.org) - For inquiries regarding MACIS topics, please send e-mail to Johannes Bloemer (bloemer@mail.uni-paderborn.de) or to Temur Kutsia (kutsia@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
