Technische Universität Dresden
| Course | Given-by | Day | Time | Room | Credit Points | Remarks |
|---|---|---|---|---|---|---|
| Description Logics (Lecture) | Dr. Rafael Penaloza | Tuesday Thursday |
16:40 - 18:10 16:40 - 18:10 |
INF E005 INF E005 |
6 | in English |
| Description Logics (Exercise) | Marcel Lippmann | Wednesday | 14:50 - 16:20 | INF E005 | 3 | in English |
| Maschinelles Übersetzen natürlicher Sprachen (Lecture) | Prof. Dr. Heiko Vogler | Monday Wednesday |
11:10 - 12:40 11:10 - 12:40 |
INF E010 INF E007 |
6 | in German |
| Maschinelles Übersetzen natürlicher Sprachen (Exercise) | Prof. Dr. Heiko Vogler | Thursday | 09:20 - 10:50 | INF E007 | 3 | in German |
| Advanced Topics on Weighted Automata (Lecture) | Prof. Dr. Heiko Vogler | Monday | 13:00 - 14:30 | INF E009 | 3 | in English |
| Advanced Topics on Weighted Automata (Exercise) | Prof. Dr. Heiko Vogler | Thursday | 11:10 - 12:40 | INF E007 | 3 | in English |
| Introduction to Formal Concept Analysis (Lecture) | Prof. Dr. Sebastian Rudolph | Wednesday | 09:20 - 10:50 | INF E005 | 3 | in English |
| Introduction to Formal Concept Analysis (Exercise) | Prof. Dr. Sebastian Rudolph | Monday | 09:20 - 10:50 | INF E005 | 3 | in English |
| Ordnungsstrukturen (Lecture) | Dr. Maja Pech | Monday | 14:50 - 16:20 | WIL A124 | 3 | in German |
| Ordnungsstrukturen (Lecture/Exercise) | Dr. Maja Pech | Wednesday | 14:50 - 16:20 | WIL A124 | 3 | in German |
| Universelle Algebren und Koalgebren (Lecture) | Prof. Dr. Reinhard Pöschel | TBA | TBA | TBA | 3 | in German? |
| Seminar: 'Selected Topics in Logic and Verification' | Dr. Sascha Klüppelholz | TBA | TBA | TBA | 3 | in English |
| Seminar: 'Probability in Logic' | Dr. Anni-Yasmin Turhan | Friday | 14:50 - 15:20 | INF 3027 | 3 | in English |
Universität Leipzig
| Course | Given-by | Day | Time | Room | Credit Points | Remarks |
|---|---|---|---|---|---|---|
| Automatentheorie (Lecture) | Prof. Dr. Manfred Droste | Wednesday Friday | 11:15 - 12:45 11:15 - 12:45 |
P 501 [FKHs] P 501 [FKHs] |
6 | in German |
| Automatentheorie (Exercise) | Dr. Peter Leupold | Wednesday Thursday | 13:15 - 14:45 11:15 - 12:45 |
SG 3-14 SG 3-14 |
6 | in German |
| Automata Theory (Seminar) | Prof. Dr. Manfred Droste | Thursday | 11:15 - 12:45 | P 901 | 3 | in German? Room / time may change! |
| Answer Set Programming (Lecture / Seminar) | Prof. Dr. Gerhard Brewka, Dr. Stefan Woltran | Thursday | 15:15 - 16:45 | SG 3-12 | 3 | German / English - as needed |
