Regular lectures, seminars (2018, Fall) :

Mo. 16:45-18:20 425 Nonclassical Logics and Effective Computability (sem.)
Tu. 15:00-16:35 414 Introduction to Math. Logic (sem.)
We.
Th. 18:30-20:05 1304 Logical Problems in CS (sem.)
Fr. 13:00-16:10 philolog, 951 Programming II
Sa.

 Back to homepage