UvA Logo

Seminar on Mathematical Logic

2016/2017; 1st Semester

Institute for Logic, Language & Computation
Universiteit van Amsterdam

Instructor: Prof. Dr. Benedikt Löwe
ECTS: 3

Schedule.

Monday 31 October 2016 15-17
F1.15 (ILLC Seminar Room)
Introduction and distribution of topics.
Tuesday 15 November 2016 17-19
F1.15 (ILLC Seminar Room)
Stella Moon ω-automata.
Wednesday 16 November 2016 17-19
F1.15 (ILLC Seminar Room)
Victor Delage
Santiago Jockwich
Dean McHugh
Infinite Games, part I (based on Mazala and Khomskii, Infinite Games & Unbeatable Strategies).
Tuesday 22 November 2016 17-19
F3.20 (KdVI Seminar Room)
Victor Delage
Santiago Jockwich
Dean McHugh
Infinite Games, part II (based on Mazala and Khomskii, Infinite Games & Unbeatable Strategies).
Wednesday 23 November 2016 17-19
F1.15 (ILLC Seminar Room)
Victor Delage
Santiago Jockwich
Dean McHugh
Infinite Games, part III (based on Mazala and Khomskii, Infinite Games & Unbeatable Strategies).
Thursday 24 November 2016 17-19
F1.15 (ILLC Seminar Room)
Jedrzej Kołodziejski Determinization of Büchi automata.
Monday 28 November 2016 15-17
F3.20 (KdVI Seminar Room)
Tuesday 29 November 2016 17-19
F1.15 (ILLC Seminar Room)
Esteban Landerreche Complementation of Büchi Automata.
Tuesday 6 December 2016 17-19
F3.20 (KdVI Seminar Room)
Saúl Fernandez Gonzalez Baire space and its topology (based on Khomskii, Infinite Games & Unbeatable Strategies).
Wednesday 7 December 2016 17-19
F1.15 (ILLC Seminar Room)
Robert Passmann Applications of games to Baire space; Baire property and perfect set property (based on Khomskii, Infinite Games & Unbeatable Strategies).
Thursday 8 December 2016 17-19
F3.20 (KdVI Seminar Room)
Stefania Ionescu Memoryless determinacy for parity games.
Monday 12 December 2016 15-17
F1.15 (ILLC Seminar Room)
Max Bohnet
Eiseart Dunne
Kaibo Xie
Flip sets and the Wadge hierarchy, Part I (based on Khomskii, Infinite Games & Unbeatable Strategies and Andretta's notes).
Tuesday 13 December 2016 17-19
F1.15 (ILLC Seminar Room)
Max Bohnet
Eiseart Dunne
Kaibo Xie
Flip sets and the Wadge hierarchy, Part II (based on Khomskii, Infinite Games & Unbeatable Strategies and Andretta's notes).
Wednesday 14 December 2016 17-19
F1.15 (ILLC Seminar Room)
Max Bohnet
Eiseart Dunne
Kaibo Xie
Flip sets and the Wadge hierarchy, Part III (based on Khomskii, Infinite Games & Unbeatable Strategies and Andretta's notes).
Thursday 15 December 2016 15-17
F3.20 (KdVI Seminar Room)
Jan Rooduijn Games and ultrafilters.
Last update: 9 December 2016.