max planck institut
mpii logo Minerva of the Max Planck Society University of Saarland

Fifth International Conference on Mathematical Aspects of Computer and Information Sciences

Time and Place

Nanning, China
Wednesday, December 11 – Friday, December 13, 2013

The core conference program will be complemented with a forum in mathematics, informatics, and culture (MACIS-MIC) during
Monday, December 9 – Tuesday, December 10, 2013.

Nanning skyline

MACIS Series

MACIS is a series of conferences where foundational research on theoretical and practical problems of mathematics for computing and information processing may be presented and discussed. MACIS also addresses experimental and case studies, scientific and engineering computation, design and implementation of algorithms and software systems, and applications of mathematical methods and tools to outstanding and emerging problems in applied computer and information sciences. Each conference focuses on two or three themes.

MACIS 2013 Tracks

Constraints and Combinations

Track Chairs: Pascal Fontaine, Uwe Waldmann

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

Data Modeling and Analysis

Track Chairs: Mikhail Moshkov, Xiangliang Zhang

knowledge discovery; data mining; pattern recognition; complex knowledge representation and management; foundations and theories for data analysis systems; big data storage, transfer, and processing

Information Security and Cryptography

Track Chairs: Johannes Blömer, Dieter Hutter

security models; formal methods for security; cryptographic protocols; compositional security; information flow; language-based security; access control; database security; anonymity and privacy; encryption schemes; digital signatures; hash functions; cryptanalysis

Important Dates

Submission: October 12, 2013
Notification: November 1, 2013
Conference: December 11–13, 2013

Previous MACIS

MACIS 2011 (Beijing), MACIS 2009 (Fukuoka), MACIS 2007 (Paris), MACIS 2006 (Beijing)

MACIS 2013