Seminars: Logic
Date
Time
Venue
Time
Venue
Speaker
Affiliation
Title of Talk
Affiliation
Title of Talk
08 Sep 2021
16:00
via Zoom
16:00
via Zoom
Bakhadyr Khoussainov / Frank Stephan
UESTC, Chengdu and The University of Auckland, New Zealand / NUS
Parity Games – Background and Algorithms
UESTC, Chengdu and The University of Auckland, New Zealand / NUS
Parity Games – Background and Algorithms
01 Sep 2021
16:00
via Zoom
16:00
via Zoom
25 Aug 2021
16:00
via Zoom
16:00
via Zoom
18 Aug 2021
16:00
via Zoom
16:00
via Zoom
11 Aug 2021
16:00
via Zoom
16:00
via Zoom
Frank Stephan
National University of Singapore
A survey on the structures realised by positive equivalence relations
National University of Singapore
A survey on the structures realised by positive equivalence relations
14 Apr 2021
17:00
via Zoom
17:00
via Zoom
07 Apr 2021
17:00
via Zoom
17:00
via Zoom
31 Mar 2021
17:00
via Zoom
17:00
via Zoom
Lars Kristiansen
University of Oslo
Classic representations of irrational numbers seen from a computability and complexity-theoretic perspective
University of Oslo
Classic representations of irrational numbers seen from a computability and complexity-theoretic perspective
24 Mar 2021
17:00
via Zoom
17:00
via Zoom