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