MACIS 2015

Sixth International Conference on Mathematical Aspects of Computer and Information Sciences


Place and Date

Zuse Institute Berlin (ZIB)

Berlin, Germany
Wednesday, November 11 – Friday, November 13, 2015

October 26th:
Early registration period ended.

October 25th:
the final version of the program has been released
Click on Program on the left.

October 1st:
Registration is OPEN, click on registration on the left.

Accepted papers can be found by clicking 'Accepted submissions' on the left.

Berlin colourful
Some Happy attendees
Same Picture in high resolution

The submission is closed.

MACIS Series

MACIS is a series of biennial conferences focusing on research in mathematical and computational aspects of computing and information science. It is broadly concerned with algorithms, their complexity and their embedding in larger logical systems. At the algorithmic level, there is the rich interplay along the Numerical/Algebraic/Geometric/Topological axes. At the logical level, there are issues of data organization, interpretation and associated tools. These issues often arise in scientific and engineering computation where we need experimental and case studies to validate or enrich the theory. MACIS is interested in outstanding and emerging problems in all these areas.

MACIS 2015 will be held in the renowned Zuse Institute Berlin (ZIB) located in the south-west area of the capital of Germany, very close to the north campus of the Freie Universitaet Berlin. Named after Konrad Zuse, the inventor of the first programmable computer, ZIB is an interdisciplinary research institute for applied mathematics and data-intensive high-performance computing. Its research areas in modeling, simulation and optimization in partnership with academia and industry is exemplary of the goals of MACIS.

MACIS 2015 aims to span two conference cultures, that of computer science and of mathematics: mathematical conferences allow informal presentations in order to allow rapid dissemination of ideas and feedback from the community. But their talk abstracts are expected to turn into peer-reviewed journal papers. Computer science conferences expect close to final research papers that appear in pre-conference proceedings. Often such papers might be the only publication (perhaps because the field has moved on). In recognition of the value of both modes of scientific communication, MACIS 2015 will accept two categories of papers, SHORT and REGULAR. To facilitate your travel planning, we will make decisions on SHORT papers on a rolling basis, normally 10-15 days after submission.

MACIS 2015 aims to be a forum for researchers within its scope of interest. To support this, we invite researchers to send us proposals for organizing special sessions (SS) in active areas of research. Please send an email to yap@cs.nyu.edu.

All accepted SHORT or REGULAR papers will appear in a post-conference proceedings published by LNCS. In addition, REGULAR papers have the opportunity to be considered for post-conference special issues of the journal Mathematics in Computer Science (MCS http://www.cc4cm.org/mcs) by Birkhauser/Springer.

MACIS 2015 Topics

(non-exclusive list)
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

Data Modeling and Analysis
- 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
- 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 (NEW!)

Submission opens :   Apr 21, 2015
(SHORT papers are decided on a rolling basis)
Deadline for all Submissions:   Sep 1, 2015
Notification of Decision for REGULAR Papers:  Oct 1, 2015
Camera-ready copy due:   Nov 30, 2015
Conference:   November 11–13, 2015