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: 8340 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
CCF | CORE | QUALIS | Short | Full Name | Submission | Notification | Conference |
---|---|---|---|---|---|---|---|
b | b1 | ISIT | International Symposium on Information Theory | 2019-01-20 | 2019-03-31 | 2019-07-07 | |
SETECEC | International Conference on Software and Emerging Technologies for Education, Culture, Entertaiment, and Commerce | 2020-02-20 | 2020-03-10 | ||||
ICMAS | International Conference on Mechanical and Aerospace Systems | 2023-12-01 | 2024-01-01 | 2024-04-22 | |||
ICGCTI | International Conference on Green Computing, Technology and Innovation | 2016-08-18 | 2016-08-22 | 2016-09-06 | |||
INFOS | International Conference on Informatics and Systems | 2012-02-25 | 2012-03-20 | 2012-05-14 | |||
a | b5 | eScience | IEEE International Conference On E-Science | 2024-05-06 | 2024-07-01 | 2024-09-16 | |
CCCG | Canadian Conference on Computational Geometry | 2021-05-10 | 2021-06-14 | 2021-08-10 | |||
EEIC | International Conference on Electrical Engineering and Intelligent Control | 2024-08-02 | 2024-09-10 | 2024-10-11 | |||
STAML | International Conference on Software Testing and Analysis and Machine Learning | 2024-06-14 | 2024-06-28 |
Short | Full Name | Submission | Conference |
---|---|---|---|
ISIT | International Symposium on Information Theory | 2019-01-20 | 2019-07-07 |
SETECEC | International Conference on Software and Emerging Technologies for Education, Culture, Entertaiment, and Commerce | 2020-02-20 | 2020-03-10 |
ICMAS | International Conference on Mechanical and Aerospace Systems | 2023-12-01 | 2024-04-22 |
ICGCTI | International Conference on Green Computing, Technology and Innovation | 2016-08-18 | 2016-09-06 |
INFOS | International Conference on Informatics and Systems | 2012-02-25 | 2012-05-14 |
eScience | IEEE International Conference On E-Science | 2024-05-06 | 2024-09-16 |
CCCG | Canadian Conference on Computational Geometry | 2021-05-10 | 2021-08-10 |
EEIC | International Conference on Electrical Engineering and Intelligent Control | 2024-08-02 | 2024-10-11 |
STAML | International Conference on Software Testing and Analysis and Machine Learning | 2024-06-14 | 2024-06-28 |
Related Journals
CCF | Full Name | Impact Factor | Publisher | ISSN |
---|---|---|---|---|
Big Data Research | 3.500 | Elsevier | 2214-5796 | |
IAENG International Journal of Computer Science | International Association of Engineers | 1819-656X | ||
ACM Transactions on Modeling and Computer Simulation | 0.700 | ACM | 1049-3301 | |
Kybernetes | 2.400 | Emerald | 0368-492X | |
Flow Measurement and Instrumentation | 2.300 | Elsevier | 0955-5986 | |
Journal of Robotics | 1.400 | Hindawi | 1687-9600 | |
Mathematics | 2.300 | MDPI | 2227-7390 | |
IEEE Open Journal of Intelligent Transportation Systems | 4.600 | IEEE | 2687-7813 | |
Brain Informatics | Springer | 2198-4018 | ||
International Journal of Computer Applications in Technology | Inderscience | 0952-8091 |
Full Name | Impact Factor | Publisher |
---|---|---|
Big Data Research | 3.500 | Elsevier |
IAENG International Journal of Computer Science | International Association of Engineers | |
ACM Transactions on Modeling and Computer Simulation | 0.700 | ACM |
Kybernetes | 2.400 | Emerald |
Flow Measurement and Instrumentation | 2.300 | Elsevier |
Journal of Robotics | 1.400 | Hindawi |
Mathematics | 2.300 | MDPI |
IEEE Open Journal of Intelligent Transportation Systems | 4.600 | IEEE |
Brain Informatics | Springer | |
International Journal of Computer Applications in Technology | Inderscience |
Recommendation