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
Automata and Logic Lecture Prof. Dr. Baader Tuesday 16:40 - 18:10 online 6 in English
Thursday
Exercise   Wednesday 14:50 - 16:20 3
Introduction to Automatic Structures Lecture PD. Dr.-Ing. Turhan Wednesday 09:20-10:50 online/APB E005 3 in English
Exercise see webpage   3
Further Topics in Description Logics Seminar PD. Dr.-Ing. Turhan, Prof. Dr. Baader Initial meeting: November 9     3 in English
Model Theory Lecture Prof. Dr. Bodirsky         in English

Universität Leipzig

 

Course Given-by Day Time Room CP Remarks
Foundations of Complexity Theory Lecture Prof. Dr. Maletti Monday 13:15 - 15:45 online, synchronous 3 in English
Exercise Wednesday 15:15 - 16:45 3
Cryptography Lecture Prof. Dr. Maletti Monday 15:15 - 16:45 online, synchronous 3 in English
Exercise Fabian Tronicke Tuesday 09:15 - 10:45 3
Automata Theory Lecture Prof. Dr. Droste Wednesday(?) 09:15 - 10:45 (?) online 6  
Friday (?)
Exercise Erik Paul  Monday (?) 15:15 - 16:45 (?) 3

*CP = Credit Points