Technische Universität Dresden
| Course | Given-by | Day | Time | Room | Credit Points | Remarks |
|---|---|---|---|---|---|---|
| Advanced Logic (Lecture & Exercise) | Prof. Dr. Christel Baier | Wednesday Wednesday Thursday Thursday Friday Friday |
09:20 - 10:50 11:10 - 12:40 09:20 - 10:50 11:10 - 12:40 09:20 - 10:50 11:10 - 12:40 |
INF E005 INF E005 INF E005 INF E005 INF E005 INF E005 |
9 | in English only in April and May |
| Automata and Logic (Lecture) | Dr. Rafael Peñaloza | Tuesday Thursday | 16:40 - 18:10 16:40 - 18:10 |
INF E005 INF E005 |
6 | in English |
| Automata and Logic (Exercise) | Marcel Lippmann | Wednesday | 14:50 - 16:20 | INF E005 | 3 | in English |
| Diskrete Mathematik (Schwerpunkt Algebraische Graphentheorie) (Lecture & Exercise) | Prof. Dr. Ulrike Baumann | Monday Thursday | 13:00 - 14:30 14:50 - 16:20 |
WIL A124 WIL A120 |
6 | in German |
| Ergänzungen zum maschinellen Übersetzen natürlicher Sprachen (Lecture) | Prof. Dr. Heiko Vogler | Monday | 13:00 - 14:30 | INF E010 | 3 | in German |
| Foundations of Semantic Web Technologies (Lecture & Exercise) | Prof. Dr. Sebastian Rudolph | Tuesday Tuesday Friday |
09:20 - 10:50 11:10 - 12:40 14:50 - 16:20 |
INF E005 INF E005 INF E005 |
9 | in English |
| Fuzzy Description Logics (Lecture) | Dr. Felix Distel | Monday | 09:20 - 10:50 | INF E005 | 3 | in English |
| Fuzzy Description Logics (Exercise) | Dr. Felix Distel | Friday Wednesday |
13:00 - 14:30 11:10 - 12:40 |
INF E005 INF E005 |
3 | in April and May in June and July in English |
| Maschinelles Lernen in der Sprachverarbeitung (Lecture) | Dr. Torsten Stüber | Monday | 09:20 - 10:50 | INF E001 | 3 | in German |
| Maschinelles Lernen in der Sprachverarbeitung (Exercise) | Dr. Torsten Stüber | Tuesday | 11:10 - 12:40 | INF E001 | 3 | in German |
| Model Checking (Seminar) | Prof. Dr. Christel Baier Dr. Sascha Klüppelholz | TBA | TBA | TBA | 3 | in English registration until 12.04.13 |
| Praktikum Haskell für NLP (Practical course) | Toni Dietze | Wednesday Wednesday | 09:20 - 10:50 11:10 - 12:40 |
INF E040 INF E040 |
6 | in German |
| Weighted Tree Automata (Lecture & Exercise) | Prof. Dr. Heiko Vogler | Monday Wednesday Thursday |
11:10 - 12:40 13:00 - 14:30 07:30 - 09:00 |
INF E005 INF E005 INF E005 |
9 | in English |
Universität Leipzig
| Course | Given-by | Day | Time | Room | Credit Points | Remarks |
|---|---|---|---|---|---|---|
| Automata Theory (Lecture & Exercise) | Prof. Dr. Manfred Droste | Monday Friday Tuesday Thursday |
13:15 - 14:45 09:15 - 10:45 09:15 - 10:45 13:15 - 14:45 |
SG 1-12 SG 1-10 SG 1-12 SG 1-12 |
12 | in English |
| Automata Theory (Seminar) | Prof. Dr. Manfred Droste | 3 | English | |||
| Einführung in Computational Social Choice (Seminar) | Prof. Dr. Gerhard Brewka | Wednesday | 11:15 - 12:45 | SG 1-10 | 3 | in German |
| Semantic Web Technologien (Seminar) | Prof. Dr. Gerhard Brewka | Thursday | 11:15 - 12:45 | SG 3-14 | 3 | in German |
| Spieltheoretische Methoden in der Logik (Lecture) | Prof. Dr. Markus Lohrey | Wednesday | 11:15 - 12:45 | SG 3-14 | 3 | in German |
| Verifikation unendlicher Systeme (Lecture) | Prof. Dr. Markus Lohrey | Wednesday | 09:15 - 10:45 | SG 3-14 | 3 | in German |
| Wissensbasierte Systeme (Lecture) | Prof. Dr. Gerhard Brewka | Wednesday | 13:15 - 14:45 | HS 15 | 3 | in German |
