<html>
<head>
<title></title>
<meta content="text/html; charset=utf-8" http-equiv="Content-Type" />
</head>
<body style="font-family: Times New Roman">
<p>[Apologies if you receive multiple copies]</p>
<p>MACIS 2013 - Fifth International Conference on<br />Mathematical Aspects of Computer and Information Sciences<br />Nanning, China, December 11-13, 2013</p>
<p><a href="http://www.mpi-inf.mpg.de/conference/macis2013/">http://www.mpi-inf.mpg.de/conference/macis2013/</a></p>
<p><br />CALL FOR PAPERS</p>
<p>MACIS is a series of conferences where foundational research on theoretical and<br />practical problems of mathematics for computing and information processing may<br />be presented and discussed. MACIS also addresses experimental and case studies,<br />scientific and engineering computation, design and implementation of algorithms<br />and software systems, and applications of mathematical methods and tools to<br />outstanding and emerging problems in applied computer and information sciences.<br />Each conference focuses on two or three themes.</p>
<p>The topics for MACIS 2013 fall into the following tracks:</p>
<p>- Constraints and Combinations<br />- Cryptography and Information Security<br />- Data Modeling and Analysis</p>
<p>See the end of this call for a detailed list of topics.</p>
<p><br />SUBMISSION</p>
<p>Potential participants of MACIS 2013 are invited to submit extended abstracts<br />(3-4 pages) or full papers describing their work to be presented at the<br />conference. The submitted extended abstracts and full papers will be reviewed by<br />members of the Program Committee (PC) for soundness and relevance to the<br />conference. Submission of original research papers is encouraged, while<br />published material and work in progress will also be considered for presentation<br />at the conference. Electronic submissions are strongly preferred using<br />EasyChair:</p>
<p><a href="http://www.easychair.org/conferences/?conf=macis2013">http://www.easychair.org/conferences/?conf=macis2013</a></p>
<p>Accepted extended abstracts and full papers will be printed for distribution at<br />the conference. Authors of the extended abstracts and full papers accepted for<br />presentation at the conference will be invited to submit their full and/or<br />revised papers for publication in special issues of Mathematics in Computer<br />Science (MCS - <a href="http://www.cc4cm.org/mcs">http://www.cc4cm.org/mcs</a>) by Birkhaeuser/Springer after the<br />meeting. The submitted papers will be formally reviewed by PC members and<br />external referees according to the refereeing procedure of MCS.</p>
<p><br />IMPORTANT DATES</p>
<p>Submission of papers/extended abstracts: October 1, 2013<br />Notification of acceptance or rejection: November 1, 2013<br />Conference taking place: December 11-13, 2013</p>
<p><br />GENERAL CHAIRS<br />Dongming Wang (University Pierre and Marie Curie - CNRS, France)<br />Jinzhao Wu (Guangxi University for Nationalities, China)</p>
<p>PROGRAM COMMITTEE CHAIR<br />Thomas Sturm (Max Planck Institute for Informatics, Germany)</p>
<p>TRACK CHAIRS<br />Pascal Fontaine (Inria and University of Lorraine, France)<br />Dieter Hutter (DFKI Bremen, Germany)<br />Mikhail Moshkov (King Abdullah University of Science and Technology, Saudi Arabia)<br />Uwe Waldmann (Max Planck Institute for Informatics, Germany)<br />Xiangliang Zhang (King Abdullah University of Science and Technology, Saudi Arabia)</p>
<p>LOCAL COMMITTEE CHAIR<br />Yongquan Zhou (Guangxi University for Nationalities, China)</p>
<p>PUBLICITY CHAIRS<br />Marek Kosta (Max Planck Institute for Informatics, Germany)<br />Chenqi Mou (Beihang University, China)</p>
<p><br />TOPICS OF INTEREST INCLUDE</p>
<p>- Constraints and Combinations (Track Chairs: Pascal Fontaine, Uwe Waldmann)</p>
<p>quantifier elimination and decision procedures; (global) optimization;<br />differential equations; numeric, symbolic, interval and hybrid solution<br />techniques; satisfiability modulo theories; combinations of logics and deductive<br />engines; applications, especially in systems analysis and formal verification</p>
<p>- Data Modeling and Analysis (Track Chairs: Mikhail Moshkov, Xiangliang Zhang)</p>
<p>knowledge discovery; data mining; pattern recognition; complex knowledge<br />representation and management; foundations and theories for data analysis<br />systems; big data storage, transfer, and processing</p>
<p>- Information Security and Cryptography (Track Chair: Dieter Hutter)</p>
<p>security models; formal methods for security; cryptographic protocols;<br />compositional security; information flow; language-based security; access<br />control; database security; anonymity and privacy<br /></p>
</body>
</html>