会议信息
MACIS 2017: International Conference on Mathematical Aspects of Computer and Information Sciences
https://macis2017.sba-research.org/截稿日期: |
2017-09-17 Extended |
通知日期: |
2017-10-02 |
会议日期: |
2017-11-15 |
会议地点: |
Vienna, Austria |
届数: |
7 |
浏览: 10532 关注: 1 参加: 1
征稿
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
最后更新 Dou Sun 在 2017-09-02
相关会议
| CCF | CORE | QUALIS | 简称 | 全称 | 截稿日期 | 通知日期 | 会议日期 |
|---|---|---|---|---|---|---|---|
| DMEIS | International Conference on Data Mining, E-Learning, and Information Systems | 2024-05-02 | 2024-05-17 | ||||
| ICIAAI | International Conference on Image, Algorithms and Artificial Intelligence | 2024-06-15 | 2024-06-30 | 2024-08-09 | |||
| WCSA | Wireless Congress Systems and Applications | 2020-04-30 | 2020-05-30 | 2020-11-11 | |||
| a | b5 | eScience | IEEE International Conference On E-Science | 2025-05-05 | 2025-06-23 | 2025-09-15 | |
| 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 | |||
| CVDL | International Conference on Computer Vision and Deep Learning | 2023-12-10 | 2024-01-20 | ||||
| SETECEC | International Conference on Software and Emerging Technologies for Education, Culture, Entertaiment, and Commerce | 2026-04-20 | 2026-05-20 | ||||
| b | b1 | ISIT | International Symposium on Information Theory | 2019-01-20 | 2019-03-31 | 2019-07-07 |
| 简称 | 全称 | 会议日期 |
|---|---|---|
| DMEIS | International Conference on Data Mining, E-Learning, and Information Systems | 2024-05-17 |
| ICIAAI | International Conference on Image, Algorithms and Artificial Intelligence | 2024-08-09 |
| WCSA | Wireless Congress Systems and Applications | 2020-11-11 |
| eScience | IEEE International Conference On E-Science | 2025-09-15 |
| ICGCTI | International Conference on Green Computing, Technology and Innovation | 2016-09-06 |
| INFOS | International Conference on Informatics and Systems | 2012-05-14 |
| CVDL | International Conference on Computer Vision and Deep Learning | 2024-01-20 |
| SETECEC | International Conference on Software and Emerging Technologies for Education, Culture, Entertaiment, and Commerce | 2026-05-20 |
| ISIT | International Symposium on Information Theory | 2019-07-07 |
相关期刊
| CCF | 全称 | 影响因子 | 出版商 | ISSN |
|---|---|---|---|---|
| Big Data Research | 3.500 | Elsevier | 2214-5796 | |
| Nonlinear Engineering | Walter de Gruyter | 2192-8010 | ||
| c | ACM Transactions on Computing Education | 3.200 | ACM | 1946-6226 |
| International Journal of Systems Science: Operations & Logistics | Taylor & Francis | 2330-2674 | ||
| The Information Society | 3.000 | Taylor & Francis | 0197-2243 | |
| Journal of Electrical and Computer Engineering | 1.200 | Hindawi | 2090-0147 | |
| Mathematics | 2.300 | MDPI | 2227-7390 | |
| IEEE Transactions on Intelligent Vehicles | 14.3 | IEEE | 2379-8858 | |
| Journal of Computing in Civil Engineering | 4.700 | ASCE | 0887-3801 | |
| Robotics | MDPI | 2218-6581 |
| 全称 | 影响因子 | 出版商 |
|---|---|---|
| Big Data Research | 3.500 | Elsevier |
| Nonlinear Engineering | Walter de Gruyter | |
| ACM Transactions on Computing Education | 3.200 | ACM |
| International Journal of Systems Science: Operations & Logistics | Taylor & Francis | |
| The Information Society | 3.000 | Taylor & Francis |
| Journal of Electrical and Computer Engineering | 1.200 | Hindawi |
| Mathematics | 2.300 | MDPI |
| IEEE Transactions on Intelligent Vehicles | 14.3 | IEEE |
| Journal of Computing in Civil Engineering | 4.700 | ASCE |
| Robotics | MDPI |