Regular lectures, seminars (2016, Fall) :

Mo. 16:45-18:20 406 Nonclassical Logics and Effective Computability (sem.)
Tu. 15:00-16:35 409/405 Introduction to Math. Logic (sem.)
We.
Th. 18:30-20:05 1304 (?) Logical Problems in CS (sem.)
Fr. 14:40-17:50 philolog, 951 Programming II
Sa.

 Back to homepage