1 April 2022
16:00-18:00 GMT+2,
Zoom |
Dominik Gulgowski (Cambridge SID)
|
Constructibility & Large Cardinals.
|
|
|
James Kwon (Cambridge PET)
|
Infinite Games in Set Theory: Determinacy Proofs
|
|
8 April 2022
16:00-18:00 GMT+2,
Zoom |
Alberto Miguel Gomez (Cambridge CHR)
|
Infinite Games in Set Theory: Large Cardinals from Determinacy
|
|
|
Mervyn Tong (Cambridge EM)
|
Infinite Games in Set Theory: Supercompactness from Determinacy
|
|
|
Vince Velkey (Cambridge SID)
|
Infinite Games in Set Theory: Applications of Infinite Games
|
|
22 April 2022
16:00-18:00 GMT+2,
Zoom |
Tim Seifert (Hamburg)
|
The rotating switches puzzle
|
29 April 2022
16:00-18:00 GMT+2,
Zoom & Hybrid |
Philipp Lücke (Barcelona)
|
Patterns in the large cardinal hierarchy
|
6 May 2022
16:00-18:00 GMT+2
Zoom |
No Seminar |
13 May 2022
16:00-18:00 GMT+2,
Zoom |
Gian Marco Osso (Amsterdam)
|
The generalised Weihrauch hierarchy
|
20 May 2022
16:00-18:00 GMT+2
Zoom |
No Seminar |
27 May 2022
16:00-18:00 GMT+2
Zoom |
No Seminar |
31 May 2022
16:00-19:00 GMT+2,
Zoom |
VvL Logic at Large Lecture
|
|
Joel David Hamkins (Notre Dame IN) |
Infinite Games, Frivolities of the Gods
|
3 June 2022
16:00-18:00 GMT+2
Zoom |
No Seminar |
8 June 2022
12:30-14:15 GMT+2
Zoom |
Alexia Muresan (Amsterdam)
|
12:30–13:00: Algorithmic Discrimination:
Understanding and Confronting AI Bias
|
|
Daniel Mol (Amsterdam)
|
13:05–13:35:
On Proof Checking and Automated Theorem Proving Natural Deduction
|
|
Hidde van Lierop (Amsterdam)
|
13:40–14:10.
What assists a person
better at being a master at recognition:
Early exposure or late exposure?
|
10 June 2022
16:00-18:00 GMT+2
Zoom |
No Seminar:
ILLC
Midsummer Colloquium |
17 June 2022
16:00-18:00 GMT+2
Zoom |
No Seminar |
24 June 2022
16:00-18:00 GMT+2
Zoom |
Tristan van der Vlugt (Hamburg)
|
16:15–17:15.
An Overview of (Anti-)Localisation Cardinals on Products of Discrete Spaces
|
Slides
|
|
Yuval Goren
(Amsterdam) |
17:15–17:45. To Infinity and Beyond: Visualization
of Ordinal Numbers |
|
1 July 2022
16:00-18:00 GMT+2
Zoom |
No Seminar |
8 July 2022
16:00-18:00 GMT+2,
Zoom |
Steef Hegeman (Amsterdam)
|
The priority method and transfinite computability
|
15 July 2022
16:00-18:00 GMT+2,
Zoom |
Tristan van der Vlugt (Hamburg)
|
An Overview of (Anti-)Localisation Cardinals on Products of Discrete Spaces, Part II
|
