When do classes begin ?
Semester 3 (Autumn-Winter 2007-2008)
• Abstract algebraic logic: 1 october
• Advanced model theory: 18 september
• Complexity: 14 september
• Modal logic: 2 october
• Models of set theory: 21 september
• Philosophy of mathematics: 9 october
• Substructural logics and computational linguistics: 10 october