학회 정보

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

학회 웹사이트를 보려면 로그인해 주세요
무료 가입으로 공식 사이트 조회, 마감 추적, 이메일 리마인더를 이용할 수 있습니다.
로그인 회원가입

투고 마감일:
2017-09-17 Extended
통보일:
2017-10-02
개최일:
2017-11-15
개최지:
Vienna, Austria
개최 횟수:
7
조회: 13403   팔로우: 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 ()

관련 학회

CCFICOREQUALIS약칭정식 명칭투고 마감통보일개최일
AA*A1SIGIRInternational Conference on Research and Development in Information Retrieval2026-01-152026-04-022026-07-20
AA*A1AAAIAAAI Conference on Artificial Intelligence2026-07-212026-11-302027-02-16
AA*A1CVPRIEEE Conference on Computer Vision and Pattern Recognition2025-11-062026-02-202026-06-03
BA*A1ICRAInternational Conference on Robotics and Automation2025-09-152026-06-01
BA*A1IJCAIInternational Joint Conference on Artificial Intelligence2026-01-312026-08-15
AA*A1STOCACM Symposium on Theory of Computing2025-11-042026-02-012026-06-22
CA2ICCInternational Conference on Communications2025-10-132026-01-122026-05-24
CBA2IJCNNInternational Joint Conference on Neural Networks2025-01-152025-03-312025-06-30
BA1ICASSPInternational Conference on Acoustics, Speech and Signal Processing2026-09-162027-01-132027-05-16
BA*A1PODSACM SIGMOD Conference on Principles of DB Systems2026-12-032027-03-012027-06-13

관련 저널

CCF정식 명칭영향력 지수출판사ISSN
BInformation Sciences6.8Elsevier0020-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

아직 댓글이 없습니다.

댓글을 작성하려면 로그인해 주세요

광고