Technische Universität Dresden

 

Course Given-by Day Time Room CP Remarks
Advances in Probabilistic Model Checking Seminar Prof. Dr. Baier By appointment 3 in German/English
Description Logic Lecture Prof. Dr. Baader Tuesday 16:40 - 18:10 APB E005 6 in English
Thursday
Exercise Stefan Borgwardt Wednesday 14:50 - 16:20 3
Formale Übersetzungsmodelle Lecture Prof. Dr. Vogler Monday 13:00 - 14:30 APB E009 3 in German
Exercise Thursday 14:50 - 16:20 3
Further Topics in Description Logics Seminar Prof. Dr. Baader
Anni‑Yasmin Turhan
Initial meeting: Oct 19 2017
After that: By appointment
3 in English
Introduction to Non-monotonic Reasoning Lecture Anni‑Yasmin Turhan Friday 14:50 - 16:20 APB E005 3 in English
Exercise Wednesday 09:20 - 10:50 3
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
Sascha Klüppelholz
Thursday 09:20 - 12:40 APB E005 12 in English
Friday
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
Complexity Theory Lecture Prof. Dr. Maletti Tuesday 09:15 - 10:45 HS 19 3 in German/English
Exercise Wednesday P-701 3
Seminar Friday P-801 3

*CP = Credit Points