max planck institut
informatik
informatik
Time and Place
Nanning, China
The core conference program will be complemented with a forum in
mathematics, informatics, and culture (MACIS-MIC) during
|
|
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.
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
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
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
Submission: October 12, 2013
Notification: November 1, 2013
Conference: December 11–13, 2013
MACIS 2011 (Beijing), MACIS 2009 (Fukuoka), MACIS 2007 (Paris), MACIS 2006 (Beijing)