Tutorial Session
25 June
- 15.40 start of the conference . tutorial part
- 15.45 Xavier Caicedo, Imperfect information logic, part 1.
- 17.30 Tea/Coffee break
- 18.00 Kerkko Luosto, Ramsey property and generalized quantifiers, part 1.
26 June
- 10.00 Kerkko Luosto, Ramsey property and generalized quantifiers, part 2.
- 11.45 Tea/Coffee break
- 12.15 Lauri Hella, Bijective games and applications, part 1.
- 14.00 Lunch break
- 16.00 Lauri Hella, Bijective games and applications, part 2.
- 18.00 Juha Kontinen, Second order generalized quantifiers.
27 June
- 10.00 Lauri Hella, Bijective games and applications, part 3.
- 11.45 Tea/Coffee break
- 12.15 Juha Kontinen, MSO with additional quantifiers.
- 14.00 lunch break;
- 16.00 Xavier Caicedo, Imperfect information logic, part 2.
- 18.00 Roman Kossak, kappa-like models for arithmetic. — this tutorial is canceled!
Contact persons:
- Marcin Mostowski (for program)
- Maria Spychalska (for accommodation)