Keep in mind that this is a preliminary overview of the lectures, check frequently for any changes and additions.

Technische Universität Dresden

Course Given-by Day Time Room CP Remarks
Algebraic Structures: Combinatorics Lecture Prof. Dr. Bodirsky Thursday 11:10 - 12:40 WIL C133 6 in English if necessary
Friday 09:20 - 10:50
Automata and Logic Lecture PD. Dr.-Ing. Turhan Tuesday 16:40 - 18:10 APB E005 6 in English
Thursday
Exercise Dipl.-Math. Kriegel Wednesday 14:50 - 16:20 3
Fuzzy Description Logic Lecture Dr.-Ing. Borgwardt Wednesday 09:20 - 10:50 APB E005 3 in English
Exercise Friday 13:00 - 14:30 3
Advances in Probabilistic Model Checking Seminar Prof. Dr. Baier by appointment     3 in German/English
Selected Topics in Logics and Verification Seminar Prof. Dr. Baier by appointment     3 in English

Universität Leipzig

 

Course Given-by Day Time Room CP Remarks
Automata Theory Seminar Prof. Dr. Droste Thursday 13:15 - 14:45 P-801 3 in German/English
Basics of Complexity Theory Lecture Prof. Dr. Maletti Wednesday 09:15 - 10:45 P-701 3 in German/English
Exercise Tuesday 11:15 - 12:45 3
Seminar Friday 09:15 - 10:45 P-801 3
Cryptography Lecture PD. Dr. Diem Tuesday 13:15 - 14:45 P-701 3 in German
Wissensrepräsentation Lecture Prof. Dr. Brewka Wednesday 09:15 - 10:45 P-801 3 in German

*CP = Credit Points