Keep in mind that this is a preliminary overview of the lectures, check frequently for any changes and additions.
Technische Universität Dresden
| Course | Given-by | Day | Time | Room | CP | Remarks | |
|---|---|---|---|---|---|---|---|
| Gewichtete Baumautomaten | Lecture | Prof. Dr. Vogler | Monday | 11:10 - 12:40 | APB E010 (lecture) E009 (exercise) |
3 | in German |
| Exercise | Tuesday | 13:00 - 14:30 | 3 | ||||
| Model Checking | Lecture/Exercise | Prof. Dr. Baier | Thursday | 09:20 - 12:40 | APB E005 | 6 | in English |
| Friday | 09:20 - 12:40 | ||||||
| Maschinelles Übersetzen natürlicher Sprachen | Lecture | Prof. Dr. Vogler | Monday | 09:20 - 10:50 | APB E007 (lecture) E006 (exercise) |
6 | in German |
| Thursday | |||||||
| Exercise | Wednesday | 11:10 - 12:40 | 3 | ||||
| Introduction to Non-monotonic reasoning | Lecture | PD. Dr.-Ing. Turhan | Tuesday | 16:40 - 18:10 | APB E005 | 3 | in English |
| Exercise | Thursday | 16:40 - 18:10 | 3 | ||||
| Advances in Probabilistic Model Checking | Seminar | Prof. Dr. Baier | by appointment | 3 | in German/English | ||
| 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 | |
|---|---|---|---|---|---|---|---|
| Automata Theory | Seminar | Prof. Dr. Droste | Thursday | 13:15 - 14:45 | SG 3-11 | 3 | in German/English |
| Foundations of Complexity Theory | Lecture | Prof. Dr. Maletti | Monday | 13:15 - 15:45 | P-701 P-801 |
3 | in German/English |
| Exercise | Wednesday | 15:15 - 16:45 | 3 | ||||
| Seminar | Monday | 15:15 - 16:45 | P-701 | 3 | |||
| Automata Theory | Lecture | Prof. Dr. Droste | Wednesday | 09:15 - 10:45 | SG 3-12 P-801 P-801 |
6 | |
| Friday | |||||||
| Exercise | Erik Paul | Monday | 15:15 - 16:45 | 3 | |||
*CP = Credit Points
