Technische Universität Dresden
| Course | Given-by | Day | Time | Room | Credit Points | Remarks |
|---|---|---|---|---|---|---|
| Description Logics (Lecture) | Dr. Anni-Yasmin Turhan | 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 |
| Fuzzy Logic (Lecture) | Dr. Felix Distel | Tuesday | 07:30 - 09:00 | INF E005 | 3 | in English |
| Fuzzy Logic (Exercise) | Dr. Felix Distel | Friday | 09:20 - 10:50 | INF E005 | 1.5 | in English Every 2 weeks |
| Maschinelles Übersetzen natürlicher Sprachen (Lecture) | Prof. Dr. Heiko Vogler | Monday Thursday | 11:10 - 12:40 07:30 - 09:00 |
INF E010 INF E009 |
6 | in German |
| Maschinelles Übersetzen natürlicher Sprachen (Exercise) | Prof. Dr. Heiko Vogler | Thursday | 09:20 - 10:50 | INF E007 | 3 | in German |
| Model Checking (Lecture & Exercise) | Prof. Dr. Christel Baier (L) Dr. Sascha Klüppelholz Clemens Dubslaff (E) |
Monday Monday Thursday Thursday |
09:20 - 10:50 11:10 - 12:40 09:20 - 10:50 11:10 - 12:40 |
INF E005 INF E005 INF E005 INF E005 |
12 | in English |
| Ordnungsstrukturen (Lecture & Exercise) | Prof. Dr. Bernhard Ganter | Tuesday Wednesday |
11:20 - 12:40 09:20 - 10:50 |
WIL A120 WIL A120 |
6 | in German |
| Sets for Vague Concepts (Seminar) | Dr. Rafael Penaloza | 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 |
13:15 - 14:45 11:15 - 12:45 |
HS 15 P 501 [FKHs] |
6 | in German |
| Automatentheorie (Exercise) | Dr. Gabor Braun | Wednesday Thursday |
11:15 - 12:45 11:15 - 12:45 |
SG 1-12 SG 1-12 |
6 | in German |
| Automata Theory (Seminar) | Prof. Dr. Manfred Droste | 3 | English | |||
| Echtzeitautomaten (Lecture) | Dr. Karin Quaas | Monday | 13:15 - 14:45 | SG 1-10 | 3 | in German |
| Echtzeitautomaten (Exercise) | Dr. Karin Quaas | Thursday | 15:15 - 16:45 | SG 1-12 | 1.5 | in German Every 2 weeks |
| Structural Complexity Theory (Lecture) | Prof. Dr. Markus Lohrey | Wednesday | 11:15 - 12:45 | SG 1-10 | 3 | in English |
| Wissensrepräsentation (Lecture) | Prof. Dr. Gerhard Brewka | Wednesday | 17:15 - 18:45 | SG 3-12 | 3 | in German |
| Wissensrepräsentation (Seminar) | Prof. Dr. Gerhard Brewka | Thursday | 15:15 - 16:45 | SG 3-10 | 3 | in German |
