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 12Jakub Gajarský (University of Warsaw)TBA
November 9Chaim Even-Zohar (Alan Turing Institute London)TBA
November 16Tomasz Krawczyk (Jagiellonian University in Kraków)TBA
November 23Thekla Hamm (Technische Universität Wien)TBA

Past terms

Spring 2020

Fall 2019

Spring 2019