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 | |
|---|---|---|---|---|---|---|---|
| Algebraic Structures: Combinatorics | Lecture | Prof. Dr. Bodirsky | Thursday | 11:10 - 12:40 | WIL C133 | 6 | in English if necessary |
| Friday | 09:20 - 10:50 | ||||||
| Automata and Logic | Lecture | PD. Dr.-Ing. Turhan | Tuesday | 16:40 - 18:10 | APB E005 | 6 | in English |
| Thursday | |||||||
| Exercise | Dipl.-Math. Kriegel | Wednesday | 14:50 - 16:20 | 3 | |||
| Fuzzy Description Logic | Lecture | Dr.-Ing. Borgwardt | Wednesday | 09:20 - 10:50 | APB E005 | 3 | in English |
| Exercise | Friday | 13:00 - 14:30 | 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 | P-801 | 3 | in German/English |
| Basics of Complexity Theory | Lecture | Prof. Dr. Maletti | Wednesday | 09:15 - 10:45 | P-701 | 3 | in German/English |
| Exercise | Tuesday | 11:15 - 12:45 | 3 | ||||
| Seminar | Friday | 09:15 - 10:45 | P-801 | 3 | |||
| Cryptography | Lecture | PD. Dr. Diem | Tuesday | 13:15 - 14:45 | P-701 | 3 | in German |
| Wissensrepräsentation | Lecture | Prof. Dr. Brewka | Wednesday | 09:15 - 10:45 | P-801 | 3 | in German |
*CP = Credit Points