The following logic courses and seminars have already been scheduled (apart from the regular Introduction to Mathematical Logic offered every summer term).

(I) 
(II) 
(III) 
Winter 2009/10 
Proof Theory I (2+1) 
Seminar 
Category Theory (2+1) 
Summer 2010 
Proof Theory II * 
Model Theory 
Categorical Logic (2+1) 
Winter 2010/11 
? 
Finite Model Theory (2+1)
Complexity Theorie II (2+1) 
? 
Summer 2011 
? 
? 
? 
* may be replaced by Recursion Theory depending on demand.
** tentatively planned.
Finite Model Theory and Complexity Theory II
fit together nicely to naturally comprise a specialization track (4+2).
