会议信息
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 |
浏览: 10426 关注: 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 |