会議情報

MACIS 2017: International Conference on Mathematical Aspects of Computer and Information Sciences

会議のウェブサイトを表示するにはログインしてください
無料登録で公式サイトの閲覧、締切のトラッキング、メールリマインダーが利用できます。
ログイン 新規登録
締切カウントダウンバッジを埋め込む
MACIS
投稿締切日:
2017-09-17 Extended
通知日:
2017-10-02
開催日:
2017-11-15
開催地:
Vienna, Austria
開催回数:
7
閲覧: 13499   フォロー: 1   参加: 1

論文募集

MACIS 2017 (International Conference on Mathematical Aspects of Computer and Information Sciences) is an academic conference held in Vienna, Austria on 2017-11-15. The paper submission deadline is 2017-09-17 (extended). Acceptance notifications are sent on 2017-10-02.

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（）

関連会議

CCFICORE略称正式名称投稿締切通知日開催日
AA*SIGIRInternational Conference on Research and Development in Information Retrieval2026-01-152026-04-022026-07-20
AA*AAAIAAAI Conference on Artificial Intelligence2026-07-212026-11-302027-02-16
AA*CVPRIEEE Conference on Computer Vision and Pattern Recognition2025-11-062026-02-202026-06-03
BA*ICRAInternational Conference on Robotics and Automation2027-05-24
BA*IJCAIInternational Joint Conference on Artificial Intelligence2026-01-312026-08-15
AA*STOCACM Symposium on Theory of Computing2025-11-042026-02-012026-06-22
CICCInternational Conference on Communications2026-10-022027-01-152027-05-30
CBIJCNNInternational Joint Conference on Neural Networks2025-01-152025-03-312025-06-30
BICASSPInternational Conference on Acoustics, Speech and Signal Processing2026-09-162027-01-132027-05-16
BA*PODSACM SIGMOD Conference on Principles of DB Systems2026-12-032027-03-012027-06-13

関連ジャーナル

CCF正式名称インパクトファクター出版社ISSN
BInformation Sciences6.0Elsevier0020-0255
Journal of Computer and Systems Sciences International0.500Springer1064-2307
Mathematical Programming2.5Springer0025-5610
Journal of Mathematical Imaging and Vision1.5Springer0924-9907
Applied Mathematical Modelling5.1Elsevier0307-904X
Mathematical Programming Computation3.6Springer1867-2949
Mathematical Methods of Operations Research1.2Springer1432-2994
AIEEE Transactions on Multimedia9.7IEEE1520-9210
CKnowledge-Based Systems7.2Elsevier0950-7051
BSoftware & Systems Modeling3.2Springer1619-1366

コメント 0

まだコメントはありません。

コメントするにはログインしてください