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, Logics, and Games | Seminar | PD. Dr.-Ing. Turhan, Prof. Dr. Baader | Initial meeting: 5.4.2019 | 14:50 | APB E005 | 3 | in English |
| Description Logic | Lecture | Prof. Dr. Baader | Tuesday | 16:40 - 18:10 | APB E005 | 6 | in English |
| Thursday | |||||||
| Exercise | TBA | Wednesday | 14:50 - 16:20 | 3 | |||
| Formale Baumsprachen | Lecture | Prof. Dr. Vogler | Thursday | 13:00 - 14:30 | APB E010 | 3 | in German |
| Exercise | Wednesday | 09:20 - 10:50 | 3 | ||||
| Advanced Logics | Lecture + Exercise | Prof. Dr. Baier | Thursday | 9:20 - 12:40 | APB E005 | 9 | in English |
| Friday | 09:20 - 12:40 | ||||||
| Advances in Probabilistic Model Checking | Doctoral Seminar | Prof. Dr. Baier | by appointment | 3 | in English | ||
| Selected Topics in Logic and Verification | Seminar | Prof. Dr. Baier | by appointment | 3 | in English | ||
Universität Leipzig
| Course | Given-by | Day | Time | Room | CP | Remarks | |
|---|---|---|---|---|---|---|---|
| Master's Seminar Automata Theory | Seminar | Prof. Dr. Droste | Wednesday | 11:15 - 12:45 | p-801 | 3 | language per request |
| Automata Theory | Lecture | Prof. Dr. Droste | Thursday | 13:00 - 15:00 | SG 2-14 | 3 | language per request |
| Exercise | Friday | 09:00 - 11:00 | 3 | ||||
| Translation Models | Lecture | Prof. Dr. Maletti | Monday | 13:15 - 14:45 | P-801 | 3 | language per request |
| Exercise | TBA | 3 | |||||
| Machine Translation | Lecture | Prof. Dr. Maletti | Monday | 15:15 - 16:45 | P-801 | 3 | language per request |
| Practical Training | TBA | 3 | |||||
*CP = Credit Points
