42nd International Symposium on

Mathematical Foundations of Computer Science

August 21-25, 2017, Aalborg (Denmark)

MFCS-17 is organized in coopperation with EATCS

MFCS Conference Series

MFCS conference series is organized since 1972. Traditionally, the conference moved between the Czech Republic, Slovakia, and Poland, while since a few years ago, the conference travels around Europe (in 2013 it was held in Austria, then in 2014 in Hungary, in 2015, in Italy). In 2016 the conference returned to Poland and in 2017 it will be held in Denmark.

MFCS is a high-quality venue for original research in all branches of theoretical computer science. The broad scope of the conference encourages interations between researchers who might not meet at more specialized venues.

MFCS 2017 consists of invited lectures and contributed talks, selected by an international program committee of researchers focusing on diverse areas of theoretical computer science. The conference will be accompanied by workshops.

Important Dates

Abstract submission deadline:    ~~April 20th, 2017~~ ~~Extended to April 24th, 2017, (AoE)~~

Paper submission deadline:    ~~April 24th, 2017~~ ~~Extended to April 28th, 2017, (AoE)~~

Notification of authors: ~~June 12th, 2017~~    (AoE)

Camera-ready copies due: ~~June 22nd, 2017~~    (AoE)

Early registration deadline: ~~June 23rd, 2017~~    (AoE)

Registration deadline: ~~July 19th, 2017~~    (AoE; afterwards, only late or on-site registration)

Conference dates: August 21–25, 2017

Invited Speakers

Glynn Winskel (University of Cambridge, UK)
Michał Pilipczuk (University of Warsaw, Poland)
Rasmus Pagh (IT University of Copenhagen, Denmark)
Nicolas Markey (CNRS, Rennes, France)
Philippe Schnoebelen (LSV - CNRS & ENS Cachan, Université Paris-Saclay, France)

Co-located Workshops

KiMfest 2017 [19-20 August 2017]
Methods and Tools for Distributed Hybrid Systems (DHS 2017) [25-26 August 2017]

Next edition:

The 43rd International Symposium on Mathematical Foundations of Computer Science (MFCS 2018) will take place in Liverpool (UK) in the period August 27-31, 2018.

The City of Aalborg

Aalborg is an old city in northern Denmark with a long, colorful history full of ancient streets and historical buildings. The conference will take place at the campus of Aalborg University.

Aalborg Festivals 2017

In the period August 16-27, the city of Aalborg is hosting also the 4th edition of Alborg Festivals:

During the 12-day span, the city of Aalborg will teem with culture, including concerts, art, theatre, and shows for people of all ages. Among the most prominent events are the music festivals Metropol and Blå Festival, the gaming festival Game Scope and the new art festival.

Contact: Giovanni Bacci