Seminars: Logic

Date
Time
Venue
Speaker
Affiliation
Title of Talk
08 Sep 2021
16:00
via Zoom
Bakhadyr Khoussainov / Frank Stephan
UESTC, Chengdu and The University of Auckland, New Zealand / NUS
Parity Games – Background and Algorithms
01 Sep 2021
16:00
via Zoom
Rupert Hoelzl
Bundeswehr University Munich
The reverse mathematics of inductive inference
25 Aug 2021
16:00
via Zoom
18 Aug 2021
16:00
via Zoom
Yu Liang
Nanjing University
Generalizing Besicovitch-Davis theorem
11 Aug 2021
16:00
via Zoom
Frank Stephan
National University of Singapore
A survey on the structures realised by positive equivalence relations
14 Apr 2021
17:00
via Zoom
Karen Seidel
University of Potsdam
Learning from informant
07 Apr 2021
17:00
via Zoom
Frank Stephan
National University of Singapore
On Trees without Hyperimmune Branches
24 Mar 2021
17:00
via Zoom
Philipp Schlicht
University of Vienna
Sets and graphs in generalised descriptive set theory