Joint DIMEA and FORMELA seminar

Special seminar on June 8, 2021.

There will be a special seminar on June 8, 2021, which will be a part of Round the World Relay in Combinatorics. The joint DIMEA and FORMELA seminar will take place at 17:00 CEST. We are happy to annouce that James Davies from the University of Waterloo accepted our invitation to be the seminar speaker for this special occasion.


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 the academic year 2020/21.

Past terms

Fall 2020: ITI Online Seminara one-semester online venue for presenting current research in discrete mathematics and theoretical computer science in the Czech Republic.

Spring 2020

Fall 2019

Spring 2019