Educational activities:
- 2016 Jun 13 – 15 (3 lectures): [tutorial] Three lectures in model theory (by Jouko Vaananen)
Workshops & Seminars:
- 2016 Oct 29: [workshop] Logical methods in philosophy and linguistics: scope and limits
- 2016 Oct 28: [talk] Connecting proof theory and semantics (Johan van Benthem)
- 2016 Aug 08: [workshop] Tsinghua Meets Bayreuth
- 2016 Jul 02: The 5th Tsinghua Logic Colloquium – The History of Logical Thought in China: Glossaries and Translation
- 2016 Feb 26: The 4th Tsinghua Logic Colloquium – Workshop on Logic, Language and Translation
- 2016 Apr 21: [talk] Public announcement games and question-answer games (by Hans van Ditmarsch)