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
