13. Mai OS CMS, Department Colloquium and KWIM Lecture Series: Vortragende Person/Vortragende Personen: Prof. Dr. Norbert Schappacher (IRMA Strassbourg) 15:15 - 16:45 Uhr G 227
24. Jun. Logik Kolloquium: Vortragende Person/Vortragende Personen: Wolfgang Bertram 15:15 - 16:15 Uhr F 426
01. Jul. OS CMS and KWIM Lecture Series: Vortragende Person/Vortragende Personen: Anna de Mase 15:15 - 16:45 Uhr F 426
08. Jul. OS Complexity Theory, Model Theory, Set Theory: Vortragende Person/Vortragende Personen: Floris Vermeulen 15:15 - 16:45 Uhr F420