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: 6843 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 | ||||
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 | 2023-06-19 | 2023-07-10 | 2023-10-09 | |
CCCG | Canadian Conference on Computational Geometry | 2021-05-10 | 2021-06-14 | 2021-08-10 | |||
ICIOTCC | International Conference on Internet of Things and Cloud Computing | 2020-11-30 | 2021-01-04 | ||||
b1 | ICOIN | International Conference on Information Networking | 2023-08-25 | 2023-11-15 | 2024-01-17 | ||
BigSDM | International Conference on Big Scientific Data Managemen | 2018-09-30 | 2018-10-20 | 2018-11-30 |
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 |
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 | 2023-06-19 | 2023-10-09 |
CCCG | Canadian Conference on Computational Geometry | 2021-05-10 | 2021-08-10 |
ICIOTCC | International Conference on Internet of Things and Cloud Computing | 2020-11-30 | 2021-01-04 |
ICOIN | International Conference on Information Networking | 2023-08-25 | 2024-01-17 |
BigSDM | International Conference on Big Scientific Data Managemen | 2018-09-30 | 2018-11-30 |
Related Journals
CCF | Full Name | Impact Factor | Publisher | ISSN |
---|---|---|---|---|
EPJ Data Science | Springer | 2193-1127 | ||
Mechatronics | 3.498 | Elsevier | 0957-4158 | |
International Journal of Applied Mathematics and Computer Science | 1.504 | Walter de Gruyter | 1641-876X | |
Journal of Spatial Information Science | NCGIA | 1948-660X | ||
Journal of Manufacturing Processes | 5.010 | Elsevier | 1526-6125 | |
c | International Journal of Geographical Information Science | 2.502 | Taylor & Francis | 1365-8816 |
a | Science China Information Sciences | Springer | 1674-733X | |
b | Theoretical Computer Science | 1.002 | Elsevier | 0304-3975 |
c | Journal of Computer Information Systems | 0.822 | IACIS | 0887-4417 |
c | Logical Methods in Computer Science | Logical Methods in Computer Science | 1860-5974 |
Full Name | Impact Factor | Publisher |
---|---|---|
EPJ Data Science | Springer | |
Mechatronics | 3.498 | Elsevier |
International Journal of Applied Mathematics and Computer Science | 1.504 | Walter de Gruyter |
Journal of Spatial Information Science | NCGIA | |
Journal of Manufacturing Processes | 5.010 | Elsevier |
International Journal of Geographical Information Science | 2.502 | Taylor & Francis |
Science China Information Sciences | Springer | |
Theoretical Computer Science | 1.002 | Elsevier |
Journal of Computer Information Systems | 0.822 | IACIS |
Logical Methods in Computer Science | Logical Methods in Computer Science |
Recommendation