MFCS & CSL 2010
Petrov - Cathedral of St. Peter, Brno


General questions about organization, registration, accomodation, etc., should be sent to

Program-related questions should be directed to program committee chairs.

More details

Federated MFCS & CSL 2010 Conference Brno • Czech Republic
August 23–27
Satellite Workshops
August 21–22 & August 28–29

In the year 2010, 35th International Symposiums on Mathematical Foundations of Computer Science (MFCS 2010) and 19th EACSL Annual Conferences on Computer Science Logic (CSL 2010) are federated and organized in parallel at the same place. The federated MFCS & CSL 2010 conference has common plenary sessions and social events for all participants. The technical program and proceedings of MFCS 2010 and CSL 2010 are prepared independently. The MFCS & CSL 2010 conference is accompanied by satellite workshops on more specialized topics.

The list of confirmed plenary speakers includes

The MFCS & CSL 2010 conference and its satellite workshops are hosted by the Faculty of Informatics of Masaryk University in Brno, Czech Republic.

Flash News

17 August 2010

We added conference site and registration desk information into the Venue section and information about local restaurants into the Social program section. Travel instructions were updated to reflect the local traffic works in Brno.

15 August 2010

We closed the possibility to register and pay via bank-transfer. Bank transfers are time-consuming and it is not guaranteed that we receive them before the conference. Registration and payment by credit card is still open. On-site registration will be possible with payment in cash (CZK only).

Older news

Important Dates

Common deadlines

June 23 July 30, 2010
MFCS/CSL early payment deadline
July 30, 2010
Workshops early payment deadline

MFCS 2010 deadlines

June 14, 2010
Final version

CSL 2010 deadlines

June 6, 2010
Final version

Conference Poster

Conference Poster

Help us advertise the conference – download & distribute posters!