Conference Information
MACIS 2017: International Conference on Mathematical Aspects of Computer and Information Sciences
https://macis2017.sba-research.org/
Submission Date:
2017-09-17 Extended
Notification Date:
2017-10-02
Conference Date:
2017-11-15
Location:
Vienna, Austria
Years:
7
Viewed: 8437   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
ICMASInternational Conference on Mechanical and Aerospace Systems2023-12-012024-01-012024-04-22
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-Science2024-05-062024-07-012024-09-16
CCCGCanadian Conference on Computational Geometry2021-05-102021-06-142021-08-10
EEICInternational Conference on Electrical Engineering and Intelligent Control2024-08-022024-09-102024-10-11
STAMLInternational Conference on Software Testing and Analysis and Machine Learning2024-06-14 2024-06-28
Related Journals
CCFFull NameImpact FactorPublisherISSN
Big Data Research3.500Elsevier2214-5796
IAENG International Journal of Computer ScienceInternational Association of Engineers1819-656X
ACM Transactions on Modeling and Computer Simulation0.700ACM1049-3301
Kybernetes2.400Emerald0368-492X
Flow Measurement and Instrumentation2.300Elsevier0955-5986
Journal of Robotics1.400Hindawi1687-9600
Mathematics2.300MDPI2227-7390
IEEE Open Journal of Intelligent Transportation Systems4.600IEEE2687-7813
Brain InformaticsSpringer2198-4018
International Journal of Computer Applications in TechnologyInderscience0952-8091
Recommendation