Conference Information
MACIS 2017: International Conference on Mathematical Aspects of Computer and Information Sciences
Submission Date:
2017-09-17 Extended
Notification Date:
Conference Date:
Vienna, Austria
Viewed: 6220   Tracked: 1   Attend: 1

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
Last updated by Dou Sun in 2017-09-02
Related Conferences
CCFCOREQUALISShortFull NameSubmissionNotificationConference
bb1ISITInternational Symposium on Information Theory2019-01-202019-03-312019-07-07
SETECECInternational Conference on Software and Emerging Technologies for Education, Culture, Entertaiment, and Commerce2020-02-20 2020-03-10
ICGCTIInternational Conference on Green Computing, Technology and Innovation2016-08-182016-08-222016-09-06
INFOSInternational Conference on Informatics and Systems2012-02-252012-03-202012-05-14
ab5eScienceIEEE International Conference On E-Science2023-05-262023-06-302023-10-09
CCCGCanadian Conference on Computational Geometry2021-05-102021-06-142021-08-10
ICIOTCCInternational Conference on Internet of Things and Cloud Computing2020-11-30 2021-01-04
b1ICOINInternational Conference on Information Networking2022-10-312022-11-152023-01-11
BigSDMInternational Conference on Big Scientific Data Managemen2018-09-302018-10-202018-11-30
Related Journals
CCFFull NameImpact FactorPublisherISSN
EPJ Data Science Springer2193-1127
International Journal of Applied Mathematics and Computer Science1.504Walter de Gruyter1641-876X
Journal of Spatial Information ScienceNCGIA1948-660X
Journal of Manufacturing Processes5.010Elsevier1526-6125
cInternational Journal of Geographical Information Science2.502Taylor & Francis1365-8816
aScience China Information SciencesSpringer1674-733X
bTheoretical Computer Science1.002Elsevier0304-3975
cJournal of Computer Information Systems0.822IACIS0887-4417
cLogical Methods in Computer Science Logical Methods in Computer Science1860-5974