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
Non-monotonic reasoning in Description Logics Seminar PD. Dr.-Ing. Turhan, Prof. Dr. Baader Initial meeting: 17.4.2019 11:10 APB 3027 3 in English
Description Logic Lecture PD. Dr.-Ing. Turhan Tuesday 16:40 - 18:10 APB E005 6 in English
Thursday
Exercise Patrick Koopmann Wednesday 14:50 - 16:20 3
Parsing von natürlichen Sprachen Lecture Prof. Dr. Vogler Thursday 09:20 - 10:50 APB E010 3 in German
Exercise Wednesday 13:00 - 14:30 3
Formale Baumsprachen Lecture Prof. Dr. Vogler Monday 09:20 - 10:50

APB E006

6 in German
Thursday 13:00 - 14:30 APB E010
Exercise TBA Wednesday 09:20 - 10:50 3
Advanced Logics Lecture + Exercise Prof. Dr. Baier Thursday 9:20 - 12:40 APB E005 9 in English
Friday 09:20 - 10:50
Graph Homomorphisms and Universal Algebra Lecture Prof. Dr. Manuel Bodirsky Monday 09:20 - 10:50 WIL/C105/U 6 language per request
Wednesday 11:10 - 12:40 WIL/C133/H 

Universität Leipzig 

Course Given-by Day Time Room CP Remarks
Tree Automata Lecture Prof. Dr. Maletti Wednesday 13:15 - 14:45 P-801 3 language per request
Exercise Friday 11:15 - 12:45 3
Machine Translation Lecture Prof. Dr. Maletti Monday 15:15 - 16:45 SG 3-13 3 language per request
Practical Training TBA   3

*CP = Credit Points