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: 971   Tracked: 1   Attend: 1

Conference Location
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 Publications
Related Conferences
CCFCOREQUALISShortFull NameSubmissionNotificationConference
b4SSRRInternational Symposium on Safety, Security, and Rescue Robotics2014-07-312014-09-042014-10-27
bb1ISITInternational Symposium on Information Theory2018-01-092018-03-312018-06-17
RoViSPInternational Conference on Robotic, Vision, Signal Processing & Power Applications2013-06-302013-07-312013-11-10
b5CSOInternational Joint Conference on Computational Sciences and Optimization2012-01-252012-02-252012-06-23
ICCAEInternational Conference on Computer and Automation Engineering2016-01-152016-02-012016-03-03
SCNSSmart Cloud Networks & Systems Conference2016-09-102016-10-152016-12-19
cb2CloudComInternational Conference on Cloud Computing Technology and Science2017-06-302017-09-072017-12-11
HCITOCHInternational Workshop on Human-Computer Interaction, Tourism and Cultural Heritage2017-08-11 2017-09-06
AusDMAustralasian Data Mining Conference2015-04-302015-06-172015-08-08
CSSInternational Symposium on Cyberspace Safety and Security2016-05-152016-09-152016-12-14
Related Journals
CCFFull NameImpact FactorPublisherISSN
Crisis Communications Springer2194-9794
Microelectronic Engineering1.277ELSEVIER0167-9317
Journal of Manufacturing Systems2.240ELSEVIER0278-6125
cInternational Journal of Geographical Information Science2.502Taylor & Francis1365-8816
bThe Computer Journal0.711Oxford University Press0010-4620
bTheoretical Computer Science0.643ELSEVIER0304-3975
cJournal of Computer Information Systems0.822IACIS0887-4417
cLogical Methods in Computer Science Logical Methods in Computer Science1860-5974
Artificial Intelligence and Law Springer0924-8463
Computing in Science & Engineering2.074IEEE1521-9615
Full NameImpact FactorPublisher
Crisis Communications Springer
Microelectronic Engineering1.277ELSEVIER
Journal of Manufacturing Systems2.240ELSEVIER
International Journal of Geographical Information Science2.502Taylor & Francis
The Computer Journal0.711Oxford University Press
Theoretical Computer Science0.643ELSEVIER
Journal of Computer Information Systems0.822IACIS
Logical Methods in Computer Science Logical Methods in Computer Science
Artificial Intelligence and Law Springer
Computing in Science & Engineering2.074IEEE