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 Seminar – a one-semester online venue for presenting current research in discrete mathematics and theoretical computer science in the Czech Republic.