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
