The color coding means:


: all participate
: Doctoral students participate
: next seminar

Please find the abstracts below the schedule and note that some of the slides are made available here, internally.

Date Time Topic Speaker Room
2020 Oct 27 13:00 - 16:00 TBA Guillermo Alberto Perez
(University of Antwerp)
online
2020 Nov 03 13:00 - 16:00     online
   
2020 Nov 10 13:00 - 16:00     online 
2020 Nov 17 13:00 - 16:00     online
   
2020 Nov 24 13:00 - 16:00     online
2020 Dec 01 13:00 - 16:00 An Efficient Normalisation Procedure for Linear Temporal Logic  Salomon Sickert-Zehnter
(TU München and Hebrew University, Jerusalem)

online
2020 Dec 08 13:00 - 16:00     online
   
2020 Dec 15 13:00 - 16:00 TBA  Frank Wolter 
(University of Liverpool)
online
2021 Jan 12 13:00 - 16:00     online
2021 Jan 26 13:00 - 16:00     online
   
2021 Feb 02 13:00 - 16:00     online





Abstracts