Technische Universität Dresden
| Course | Given-by | Day | Time | Room | Credit Points | Remarks |
|---|---|---|---|---|---|---|
| Description Logic (Lecture) | Dr. Anni-Yasmin Turhan |
Tuesday Thursday |
16:40 - 18:10 16:40 - 18:10 |
APB E005 APB E005 |
6 | in English |
| Description Logic (Exercise) |
Dipl.-Math. Francesco Kriegel |
Wednesday | 14:50 - 16:20 | APB E005 | 3 | in English |
| Complexity Theory (Lecture) |
Dr. Markus Krötzsch, Dr. Daniel Borchmann |
Wednesday Friday |
13:00 - 14:30 13:00 - 14:30 |
APB E005 APB E005 |
6 | in English |
| Complexity Theory (Exercise) |
Dr. Markus Krötzsch, Dr. Daniel Borchmann |
Tuesday | 09:20 - 10:50 | APB E005 | 3 |
in English, the first exercise on October 13 doesn't take place |
| Maschinelles Übersetzen natürlicher Sprachen (Lecture) | Prof. Dr. Heiko Vogler | Monday Thursday |
11:10 - 12:40 09:20 - 10:50 |
APB E010 APB E007 |
6 | in German |
| Maschinelles Übersetzen natürlicher Sprachen (Exercise) | Prof. Dr. Heiko Vogler | Thursday | 13:00 - 14:30 | APB E009 | 3 | in German |
| Formale Übersetzungsmodelle (Lecture) | Prof. Dr. Heiko Vogler | Monday | 13:00 - 14:30 | APB E009 | 3 | in German |
| Formale Übersetzungsmodelle (Exercise) | Prof. Dr. Heiko Vogler | Thursday | 14:50 - 16:20 | APB E009 | 3 | in German |
| Model Checking (Lecture + Exercise) |
Prof. Dr. Christel Baier, Dr. Sascha Klüppelholz |
Thursday Thursday Friday Friday |
09:20 - 10:50 11:10 - 12:40 09:20 - 10:50 11:10 - 12:40 |
APB E005 APB E005 APB E005 APB E005 |
12 | in English |
| Permutationsgruppen (Lecture) |
Jun.-Prof. Dr. Friedrich M. Schneider |
Monday Friday |
14:50 - 16:20 09:20 - 10:50 |
WIL C133 WIL C133 |
6 | German / English |
| Seminar: 'Reading Group' | Prof. Dr. Christel Baier | TBA | TBA | TBA | ||
| Seminar: 'Automata Models in Logic' |
Prof. Dr. Franz Baader, Dr. Marcel Lippmann |
Further dates will be
determined |
APB 3027 |
German / English, initial meeting on October 22. |
||
| Seminar: 'Selected Topics in Logic and Verification' | Prof. Dr. Christel Baier | Thursday | 07:30 - 09:00 | APB E005 | 3 | English |
Universität Leipzig
| Course | Given-by | Day | Time | Room | Credit Points | Remarks |
|---|---|---|---|---|---|---|
| Automata Theory (Lecture) | Prof. Dr. Manfred Droste | Tuesday Wedenesday | 09:15 - 10:45 11:15 - 12:45 |
Hs 19 Hs 19 |
6 | in English |
| Automata Theory (Exercise) | Prof. Dr. Manfred Droste | Wednesday | 13:15 - 14:45 | P 801 | 3 | in English |
| Automata Theory (Seminar) | Prof. Dr. Manfred Droste | Thursday | 11:15 - 12:45 | P 801 | 3 | in English |
| Wissensrepräsentation (Lecture) | Prof. Dr. Gerhard Brewka | Wednesday | 09:15 - 10:45 | P 801 | 3 | in German |
| Algebra des Programmierens (Lecture) | PD. Dr. Stefan Milius | Tuesday | 15:15 - 16:45 | SG 3-10 | 3 | in German |
| Algebra des Programmierens (Exercise) | PD. Dr. Stefan Milius | Wednesday | 09:15 - 10:45 | SG 3-12 | 3 | in German |
