posted by user: dimsimos || 9184 views || tracked by 2 users: [display]

MACIS 2017 : 7th International Conference on Mathematical Aspects of Computer and Information Sciences

FacebookTwitterLinkedInGoogle

Link: https://macis2017.sba-research.org/
 
When Nov 15, 2017 - Nov 17, 2017
Where Vienna
Submission Deadline Sep 17, 2017
Notification Due Oct 9, 2017
Final Version Due Oct 15, 2017
Categories    foundation of algorithms   combinatorics and codes   data modeling and analysis   information security
 

Call For Papers

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 17, Sunday (extended)
(SHORT papers are decided on a rolling basis)
Notification deadline for all submissions: October 9, 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 Chair:
Dimitris E. Simos, SBA Research, Austria

PC Chairs:
Johannes Bloemer, Paderborn University, Germany
Temur Kutsia, RISC, Johannes Kepler University, Austria

MACIS Steering Committee:
Ilias Kotsireas (Chair), Wilfrid Laurier University, Canada
Siegfried Rump, Hamburg University of Technology, Germany
Thomas Sturm, Max Planck Institute for Informatics, Germany
Dongming Wang, Beihang University, China
Jinzhao Wu, Guangxi University for Nationalities, China
Chee 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 Chairs: 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 Chairs: 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 Chairs: Xiaoyu Chen (Beihang University, China) 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 Chairs: 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

Related Resources

SPIE-Ei/Scopus-DMNLP 2025   2025 2nd International Conference on Data Mining and Natural Language Processing (DMNLP 2025)-EI Compendex&Scopus
ICVIP--EI 2024   2024 The 8th International Conference on Video and Image Processing (ICVIP 2024)
ACM SAC 2025   40th ACM/SIGAPP Symposium On Applied Computing
IJCIS 2024   International Journal on Cryptography and Information Security
SPIE-Ei/Scopus-CMLDS 2025   2025 2nd International Conference on Computing, Machine Learning and Data Science (CMLDS 2025) -EI Compendex & Scopus
ACM ICIIT 2025   ACM--2025 10th International Conference on Intelligent Information Technology (ICIIT 2025)--ESCI
CCET 2025   2025 8th International Conference on Computer and Communication Engineering Technology (CCET 2025)
SECRYPT 2025   22nd International Conference on Security and Cryptography
ICCCI 2025   2025 7th International Conference on Computer Communication and the Internet (ICCCI 2025)
ICGSP 2025   2025 The 9th International Conference on Graphics and Signal Processing (ICGSP 2025)