[logic-ml] MACIS 2015

[Akitoshi Kawamura]

皆様

ニューヨーク大の葉先生の御依頼により、本年11月にドイツで開催される
Sixth International Conference on Mathematical Aspects of Computer and Information Sciences
http://macis2015.zib.de/
の御案内をお送り致します。詳しくはウェブページをご覧下さい。

締切間近のお知らせですみませんが、短篇の投稿区分もありますので、御検討いただければ幸いです。

河村彰星
東京大学総合文化研究科広域システム科学系


---------------------------------------------------------
Sixth International Conference on 
Mathematical Aspects of Computer and Information Sciences
(MACIS 2015)
November 11-13, 2015
Zuse Institute Berlin (ZIB)
http://macis2015.zib.de/
---------------------------------------------------------

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.

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.

For details, see
http://macis2015.zib.de/

Important Dates
Deadline for all Submissions:   Aug 11, 2015
(SHORT papers are decided on a rolling basis)
Notification of Decision for REGULAR Papers:  Sep 30, 2015
Camera-ready copy due:   Nov 30, 2015
Conference:   November 11-13, 2015