<div dir="ltr"><div>[Apologies if you receive multiple copies]</div><div><br></div><div>MACIS 2013 - Fifth International Conference on</div><div>Mathematical Aspects of Computer and Information Sciences</div><div>Nanning, China, December 11-13, 2013</div>
<div><br></div><div><a href="http://www.mpi-inf.mpg.de/conference/macis2013/">http://www.mpi-inf.mpg.de/conference/macis2013/</a></div><div><br></div><div><br></div><div>DEADLINE EXTENSION AND SECOND CALL FOR PAPERS</div>
<div><br></div><div>- Submission of papers/extended abstracts: October 12, 2013</div><div>- Notification of acceptance or rejection: November 1, 2013</div><div>- Conference taking place:                 December 11-13, 2013</div>
<div>- MACIS Forum and Satellite Workshop:      December  9-10, 2013</div><div><br></div><div>MACIS is a series of conferences where foundational research on theoretical and</div><div>practical problems of mathematics for computing and information processing may</div>
<div>be presented and discussed. MACIS also addresses experimental and case studies,</div><div>scientific and engineering computation, design and implementation of algorithms</div><div>and software systems, and applications of mathematical methods and tools to</div>
<div>outstanding and emerging problems in applied computer and information sciences.</div><div>Each conference focuses on two or three themes.</div><div><br></div><div>The topics for MACIS 2013 fall into the following tracks:</div>
<div><br></div><div>- Constraints and Combinations (Track Chairs: P. Fontaine, U. Waldmann)</div><div><br></div><div>  quantifier elimination and decision procedures; (global) optimization;</div><div>  differential equations; numeric, symbolic, interval and hybrid solution</div>
<div>  techniques; satisfiability modulo theories; combinations of logics and</div><div>  deductive engines; applications, especially in systems analysis and formal</div><div>  verification</div><div><br></div><div>- Data Modeling and Analysis (Track Chairs: M. Moshkov, X. Zhang)</div>
<div><br></div><div>  knowledge discovery; data mining; pattern recognition; complex knowledge</div><div>  representation and management; foundations and theories for data analysis</div><div>  systems; big data storage, transfer, and processing</div>
<div><br></div><div>- Information Security and Cryptography (Track Chairs: J. Bloemer, D. Hutter)</div><div><br></div><div>  security models; formal methods for security; cryptographic protocols;</div><div>  compositional security; information flow; language-based security; access</div>
<div>  control; database security; anonymity and privacy; encryption schemes; digital</div><div>  signatures; hash functions; cryptanalysis</div><div><br></div><div><br></div><div>MACIS FORUM IN MATHEMATICS, INFORMATICS, AND CULTURE - SATELLITE WORKSHOP</div>
<div><br></div><div>The core conference program will be complemented with a forum in mathematics,</div><div>informatics, and culture taking place in Nanning during December 9-10, 2013.</div><div><br></div><div>A satellite workshop of MACIS 2013 in Logic, Algebra and Computation will be</div>
<div>held at Beihang University, Beijing, China on December 9, 2013.</div><div><br></div><div><br></div><div>CONFIRMED FORUM SPEAKER</div><div><br></div><div>Tianxin Cai</div><div>Professor of Mathematics at Zhejiang University</div>
<div>Poet</div><div><br></div><div><br></div><div>SUBMISSION</div><div><br></div><div>Potential participants of MACIS 2013 are invited to submit extended abstracts</div><div>(3-4 pages) or full papers describing their work to be presented at the</div>
<div>conference. The submitted extended abstracts and full papers will be reviewed by</div><div>members of the Program Committee (PC) for soundness and relevance to the</div><div>conference. Submission of original research papers is encouraged, while</div>
<div>published material and work in progress will also be considered for presentation</div><div>at the conference. Electronic submissions are strongly preferred using</div><div>EasyChair:</div><div><br></div><div><a href="http://www.easychair.org/conferences/?conf=macis2013">http://www.easychair.org/conferences/?conf=macis2013</a></div>
<div><br></div><div>Accepted extended abstracts and full papers will be printed for distribution at</div><div>the conference. Authors of the extended abstracts and full papers accepted for</div><div>presentation at the conference will be invited to submit their full and/or</div>
<div>revised papers for publication in special issues of Mathematics in Computer</div><div>Science (MCS - <a href="http://www.cc4cm.org/mcs">http://www.cc4cm.org/mcs</a>) by Birkhaeuser/Springer after the</div><div>meeting. The submitted papers will be formally reviewed by PC members and</div>
<div>external referees according to the refereeing procedure of MCS.</div><div><br></div><div><br></div><div>GENERAL CHAIRS</div><div>Dongming Wang (University Pierre and Marie Curie - CNRS, France)</div><div>Jinzhao Wu (Guangxi University for Nationalities, China)</div>
<div><br></div><div>TRACK CHAIRS</div><div>Johannes Bloemer (University of Paderborn, Germany)</div><div>Pascal Fontaine (Inria and University of Lorraine, France)</div><div>Dieter Hutter (DFKI Bremen, Germany)</div><div>
Mikhail Moshkov (King Abdullah University of Science and Technology, Saudi Arabia)</div><div>Uwe Waldmann (Max Planck Institute for Informatics, Germany)</div><div>Xiangliang Zhang (King Abdullah University of Science and Technology, Saudi Arabia)</div>
<div><br></div><div>PROGRAM COMMITTEE</div><div>Thomas Sturm (Max Planck Institute for Informatics, Germany), Chair</div><div>Hirokazu Anai (Kyushu University, Japan) </div><div>Jintai Ding (University of Cincinnati, USA) </div>
<div>Hoon Hong (North Carolina State University, USA) </div><div>Laura Kovacs (Chalmers University of Technology, Sweden) </div><div>Dongdai Lin (Chinese Academy of Sciences, China) </div><div>Grant Olney Passmore (University of Edinburgh, UK) </div>
<div>Stefan Ratschan (Academy of Sciences, Czech Republic) </div><div>Enric Rodriguez Carbonell (Technical University of Catalonia, Spain) </div><div>Dominik Slezak (University of Warsaw, Poland) </div><div>Werner Stephan (DFKI Saarbruecken, Germany) </div>
<div>Xiaohui Tao (University of Southern Queensland, Australia) </div><div>Luca Vigano (University of Verona, Italy) </div><div>Suojin Wang (Texas A&M University, USA) </div><div>Bican Xia (Peking University, China) </div>
<div>Lihong Zhi (Academia Sinica, China) </div><div><br></div><div>LOCAL COMMITTEE CHAIR</div><div>Yongquan Zhou (Guangxi University for Nationalities, China)</div><div><br></div><div>PUBLICITY CHAIRS</div><div>Marek Kosta (Max Planck Institute for Informatics, Germany)</div>
<div>Chenqi Mou (Beihang University, China)</div></div>