Organization
Invited Talks
Call for Papers
Submission
Special sessions
Previous MACIS conf.
Accepted Submissions
Program
Registration
Visa & Travel
Accommodation
Practical Info
Some Places worth
visiting in Berlin
Post proceedings will
appear in LNCS
Download the Poster
Place and Date
News: |
Some Happy attendees Same Picture in high resolution |
The submission is closed.
MACIS SeriesMACIS 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
Information Security and Cryptography
Important Dates (NEW!)
Submission opens : Apr 21, 2015 |