Technische Universität Dresden

 

Course Given-by Day Time Room CP Remarks
Algebraische Strukturen: Diskrete Strukturen Lecture Prof. Dr. Bodirsky Monday 14:50 - 16:20 WIL C133 6 in English if necessary
Friday 09:20 - 10:50
Description Logics Lecture Dr. Anni-Yasmin Turhan Tuesday 16:40 - 18:10 APB E005 6 in English
Thursday
Exercise İsmail İlkan Ceylan Monday 11:10 - 12:40 3
Formale Übersetzungsmodelle Lecture Prof. Dr. Vogler Monday 13:00 - 14:30 APB E009 3 in German
Exercise Thursday 14:50 - 16:20 3
Funktionen- und Relationenalgebren I Lecture Prof. Pöschel Tuesday 16:40 - 18:10 WIL A124 3 in German
Maschinelles Übersetzen natürlicher Sprachen Lecture Prof. Dr. Vogler Monday 11:10 - 12:40 APB E010 6 in German
Thursday 09:20 - 10:50 APB E007
Exercise Thursday 13:00 - 14:30 APB E009 3
Model Checking Lecture/ Exercise Prof. Dr. Baier
Dr.‑Ing. Klüppelholz
Thursday 09:20 - 12:40 APB E005 12 in English, first lecture on Oct. 20
Friday
Ordered Structures Lecture Dr. Lehtonen Monday 16:40 - 18:10 WIL A124 6 in English
Thursday WIL A120
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
Advanced Automata Theory Lecture Prof. Dr. Droste Wednesday 11:00 - 13:00 HS 19 6 German/English
Thursday
Answer Set Programming Seminar Prof. Dr. Brewka Wednesday 11:00 - 13:00 P-801 3 German
Automata Theory Seminar Prof. Dr. Droste Thursday 09:00 - 11:00 P-901 3 German/English
Wissensrepräsentation Lecture Prof. Dr. Brewka Wednesday 09:00 - 11:00 P-801 3 German

*CP = Credit Points