Información de la conferencia

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

Por favor Iniciar sesión para ver el sitio web de la conferencia
Cuenta gratuita: consulta los sitios oficiales, sigue las fechas límite y recibe recordatorios por correo.
Iniciar sesión Registrarse

Día de Entrega:
2017-09-17 Extended
Fecha de Notificación:
2017-10-02
Fecha de conferencia:
2017-11-15
Ubicación:
Vienna, Austria
Ediciones:
7
Vistas: 13401   Seguidores: 1   Asistentes: 1

Solicitud de Artículos

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
Última actualización por Dou Sun el

Conferencias Relacionadas

CCFICOREQUALISAbreviaciónNombre CompletoEntregaNotificaciónFecha de conferencia
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

Revistas Relacionadas

CCFNombre CompletoFactor de ImpactoEditorISSN
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

Comentarios 0

Aún no hay comentarios.

Por favor Iniciar sesión para publicar un comentario

Publicidad