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 | |
|---|---|---|---|---|---|---|---|
| Automata and Logic | Lecture | Prof. Dr. Baader | Tuesday | 16:40 - 18:10 | online | 6 | in English |
| Thursday | |||||||
| Exercise | Wednesday | 14:50 - 16:20 | 3 | ||||
| Introduction to Automatic Structures | Lecture | PD. Dr.-Ing. Turhan | Wednesday | 09:20-10:50 | online/APB E005 | 3 | in English |
| Exercise | see webpage | 3 | |||||
| Further Topics in Description Logics | Seminar | PD. Dr.-Ing. Turhan, Prof. Dr. Baader | Initial meeting: November 9 | 3 | in English | ||
| Model Theory | Lecture | Prof. Dr. Bodirsky | in English | ||||
| Parsing of Natural Language | Lecture | Prof. Dr. Vogler | |||||
| Theory of Weighted Tree Automata | Lecture | Prof. Dr. Vogler | |||||
| Foundations of Knowledge Representation | Lecture | Prof. Dr. Rudolph | |||||
Universität Leipzig
| Course | Given-by | Day | Time | Room | CP | Remarks | |
|---|---|---|---|---|---|---|---|
| Foundations of Complexity Theory | Lecture | Prof. Dr. Maletti | Monday | 13:15 - 15:45 | online, synchronous | 3 | in English |
| Exercise | Wednesday | 15:15 - 16:45 | 3 | ||||
| Cryptography | Lecture | Prof. Dr. Maletti | Monday | 15:15 - 16:45 | online, synchronous | 3 | in English |
| Exercise | Fabian Tronicke | Tuesday | 09:15 - 10:45 | 3 | |||
| Automata Theory | Lecture | Prof. Dr. Droste | Wednesday(?) | 09:15 - 10:45 (?) | online | 6 | |
| Friday (?) | |||||||
| Exercise | Erik Paul | Monday (?) | 15:15 - 16:45 (?) | 3 | |||
*CP = Credit Points
