Place and Date
Some Happy attendees
Same Picture in high resolution
The submission is closed.
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 email@example.com.
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
Information Security and Cryptography
Important Dates (NEW!)
Submission opens : Apr 21, 2015