(Mostly aimed at students; co-organized with Jan Bydžovský.)

Wednesdays at 16:00. Seminar room, 5th floor of Freihaus (green part).

---

Session 1: 10/24. Aguilera: Turing Determinacy.

Session 2: 10/31. Aguilera: Turing Determinacy.

Session 3: 11/7. Rossegger: Linear Orders.

Session 4: 11/14. Rossegger: Linear Orders.

Session 5: 11/21. Bydžovský: Proof Complexity and Finite Models.

Session 6: 11/28. Bydžovský: Proof Complexity and Finite Models.

Session 7: 12/05. Bydžovský: Proof Complexity and Finite Models.

Session 8: 12/12. Bydžovský: Proof Complexity and Finite Models.

Session 9: 01/09. Godziszewski: Computable Quotient Presentations of Models of Arithmetic and Set Theory.