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. 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. All related information can be found here.
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.