42nd International Symposium on

Mathematical Foundations of Computer Science

August 21-25, 2017, Aalborg (Denmark)

MFCS-17 is organized in coopperation with EATCS


Conference Proceedings

The MFCS 2017 conference proceedings will be published in Leibniz International Proceedings in Informatics (LIPIcs), a series of high-quality conference proceedings across all fields in informatics established in cooperation with Schloss Dagstuhl – Leibniz Center for Informatics. (Note that MFCS has moved to LIPIcs from Springer's LNCS series.)

The processing time of the LIPIcs proceeding got delayed due to missing metadata and layout issues for several papers. The publisher estimates that the proceedings should be ready in the second half of November.
We apologize for any inconvenience.

Copyright Information

MFCS proceeding are published under the Creative Commons CC-BY license (CC-BY 3.0 DE). This means that the authors retain their copyright (but will be asked to provide statements that they agree to publication under this license).

Submission and Formatting Instructions

For submission and formatting instructions please go here.

Contact: Giovanni Bacci