Joint DIMEA and FORMELA seminar

This research seminar provides a venue for presenting research results concerning algorithms, discrete structures, formal methods, logic and related areas of theoretical computer science. The seminar is jointly organized by the research laboratories DIMEA and FORMELA. The seminar builds on the FMDSA seminar organized by the FORMELA laboratory in the past.

Time and place

The seminar takes place on Monday at 2PM term time in Room C417 in the building of the Faculty of Informatics on a (roughly) biweekly schedule.

Past terms

Spring 2019


Fall 2019 – schedule overview

October 7Tomáš Kaiser (UWB Pilsen)TBA
October 14Tom Kelly (University of Birmingham)TBA
October 21Bartosz Walczak (UJ Kraków)TBA
November 4Péter Pál Pach (Budapest University of Technology and Economics)TBA
November 11Michał Dębski (Masaryk University)TBA
November 18Robert Hancock (Masaryk University)TBA
December 2Martin Koutecký (Charles University Prague)TBA
December 16Yanitsa Pehova (University of Warwick)TBA