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.
Due to the current pandemic situation the seminar is cancelled in this semester. We hope to welcome you again in March 2021.
Fall 2020 – schedule overview
|October 12||Jakub Gajarský (University of Warsaw)||TBA|
|November 9||Chaim Even-Zohar (Alan Turing Institute London)||TBA|
|November 16||Tomasz Krawczyk (Jagiellonian University in Kraków)||TBA|
|November 23||Thekla Hamm (Technische Universität Wien)||TBA|