Porta Ticinese Duomo of Milan Duomo of Milan Navigli Cena of Leonardo da Vinci Castello of Milan Castello of Milan Colonne di San Lorenzo Colonne di San Lorenzo Piazza Duomo
40th International Symposium on

Mathematical Foundations of Computer Science

August 24-28, 2015

Milano (Italy)

Mathematical Foundations of Computer Science

The series of MFCS symposia, organized since 1972, has a long and well-established tradition (see history). The MFCS symposia encourage high-quality research in all branches of theoretical computer science. Their broad scope provides an opportunity to bring together researchers who do not usually meet at specialized conferences. Quality papers presenting original research on theoretical aspects of computer science are solicited.

Call for papers in pdf format.

Important Dates

Registration deadlines (in local time, CEST UTC+2)

Principal Topics

Principal topics of interest include (but are not limited to):

Invited Speakers

40th Anniversary Invited Speaker

Program Committee

Paper Submission

Submissions to MFCS must not exceed 12 pages (in Springer-Verlag's Lecture Notes style and including bibliography). If the authors believe that more details are essential to substantiate the main claims, they may include a clearly marked appendix that will be read at the discretion of the program committee. Simultaneous submissions of papers to any other conference with published proceedings or submitting previously published papers is not allowed. The proceedings will be published in the ARCoSS subline of Lecture Notes in Computer Science by Springer-Verlag. Only electronic submissions in the PDF format are accepted. Submissions will be by the EasyChair conference system. Authors wishing to present a paper are invited to submit a pdf file via EasyChair using the following link: http://www.easychair.org/conferences/?conf=mfcs2015 The submitted article should be in English. Please use the LNCS LaTeX style.

By submitting a paper the authors acknowledge that in case of acceptance at least one of the authors will attend the conference and present the paper.


The European Association for Theoretical Computer Science (EATCS) sponsors a Best Paper and a Best Student Paper award at MFCS 2015. A paper is eligible for the best student paper award if all of its authors are full-time students at the time of submission. This must be indicated in the submission process.

Best Paper

Best Student Paper

Accepted Papers

MFCS 2015 Accepted Papers


Program and Social Events

A detailed program is available here.

Welcome party in the university botanical garden

Cascina Rosa

Social event in Monastero d'Astino

  • , in the afternoon
  • Trip to the Monastero d'Astino, located in a small green valley near to Bergamo (approximatively 50 km to the east of Milan).
  • Founded at the beginning of the XII century and completely reconstructed in XVI century, after a long restoration, the monastery was re-opened to visitors in May 2015.

Monastero d'Astino

Conference dinner

Ca' Granda

  • , in the evening
  • Conference dinner in "Ca' Granda", the main building of Università degli Studi, in the heart of the town, not far from the Duomo (the Cathedral).

Address: via Festa del Perdono, 7

Ca' Granda

Ca' Granda

Ca' Granda

Ca' Granda

Closing Party in the university botanical garden

  • , at the end of conference, lunch time
  • We are very happy to extend the social program with this event, decided while the conference is running.
  • Conference participants and their accompanying persons will have the opportunity to visit our botanical garden (due to the rain, the welcome party was moved to the conference building).

Cascina Rosa


MFCS 2015 is organized by the Dipartimento di Informatica, Università degli Studi di Milano, Milan, in cooperation with EATCS.


Organizing Secretariat


Contact person:

  • Monica Ghezzi
  • phone: +39 0243912468
  • email:


MFCS organization communicates only using official e-mail addresses. If you receive any phone call claiming to be related to MFCS, please be aware! Likely, it is a phishing attempt.




To register, go to the registration website: http://mfcs2015.promoest.com.

Registration Deadlines

All the deadlines are in local time (CEST, UTC+2)

Registration fee (EUR)

(by June, 16) (by July, 23) (by August, 10)
Regular 500 540 600
Regular EATCS 470 510 570
Student 460 500 560
Student EATCS 430 470 530
Accompanying person 125 140 160


  • Printed LNCS proceedings vol 1 + 2: 75€
  • Printed LNCS proceeding vol 1: 40€
  • Printed LNCS proceeding vol 2: 40€
Table of Contents

The regular and the student fee include: conference material, electronic access to LNCS proceedings during the conference, 3 lunches, coffee breaks, social events, the use of conference facilities, one year EATCS membership (two years for students).

The regular and the student fee for EATCS members include: conference material, electronic access to LNCS proceedings during the conference, 3 lunches, coffee breaks, social events, the use of conference facilities.

Accompanying person fee covers the social events (welcome party, tour, social dinner).

The Italian Chapter of the EATCS offers a free 1-year membership to the Chapter to regular and student participants (from italian institutions) who have never been members of the Chapter.


  • EATCS members get a 30 EUR discount (select the EATCS member option) and are required to provide their EATCS ID. The participants who wish to extend their EATCS membership should not select the EATCS member option (does not get the discount) but should still provide their EATCS ID.

  • Students get a 40 EUR discount (select student as registration type) and are required to provide a student proof document. Failing to provide appropriate ID or ID proof for the concerned lower registration fees (discount) might result in cancellation of the registration without refund.

Accommodation is not included in the fee.

For any question about the registration process, please contact the organizing secretariat .

To register, go to the registration website: http://mfcs2015.promoest.com.


MFCS 2015 will take place in Milano, Italy, at Università degli Studi

Address: via Golgi 19, MILAN


See full screen

Local transportation

To find how to go to the conference place, have a look to the journey planner tool of ATM.

Here is a list of bus/tram stops and metro stations close to the conference place (see the map):

Cyclists may prefer to use public bike service of Milan (Bikemi). As indicated on the map, there are two stations close to the conference place.

From Airports

From Linate Airport LIN

  • Take bus 73 toward "San Babila" for 8 stops (hop off at “Campania/Corsica").
  • Then take bus 93 toward "Lambrate" for 9 stops (hop off at "Bassini/Golgi").

From Malpensa Airport MXP

  • Take the Malpensa Express train toward either Milano Cadorna or Milano Centrale
  • Then take metro M2 to "Lambrate"

From Orio al Serio Airport BGY

  • Take the bus to Milano Centrale Railway Station
  • Then take metro M2 to "Lambrate"

Travel information

How to get here...

... by plane

Milan is served by three international airports:

then reach the conference place.

... by train

The most important railway station for international connections are Milano Centrale and Milano Porta Garibaldi (both are in the city center)

then reach the conference place.

... by coach, by car, by bike, by foot

For further information visit this page.

then reach the conference place.


Blocks of rooms have been reserved in the hotel listed below. For further details and to make your booking, please use the registration website: http://mfcs2015.promoest.com.

The breakfast is included (except for Residence Bianca Croce). Free WiFi is included.

The prices do not include the local tax that must be paid by cash at check-out.

For any question about the reservation process, please contact the organizing secretariat .

To book rooms in the above hotels, please visit the registration website.

A (partial) list of hostel in Milano, offering low cost accommodations. (Notice that we do not have an agreement with those place, you should contact them by yourself).

For further accommodation, please visit the website of tourism office of Milan.

Organizing Committee

Tourism and Events


See the website of the tourism office of Milan.


This year, the city of Milan hosts the Universal Exposition: EXPO. The event mainly occurs in Rho Fiera (North-West suburb of Milan, reachable by local train of metro line 1).


History of MFCS