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 | |
|---|---|---|---|---|---|---|---|
| Non-monotonic reasoning in Description Logics | Seminar | PD. Dr.-Ing. Turhan, Prof. Dr. Baader | Initial meeting: 17.4.2019 | 11:10 | APB 3027 | 3 | in English |
| Description Logic | Lecture | PD. Dr.-Ing. Turhan | Tuesday | 16:40 - 18:10 | APB E005 | 6 | in English |
| Thursday | |||||||
| Exercise | Patrick Koopmann | Wednesday | 14:50 - 16:20 | 3 | |||
| Parsing von natürlichen Sprachen | Lecture | Prof. Dr. Vogler | Thursday | 09:20 - 10:50 | APB E010 | 3 | in German |
| Exercise | Wednesday | 13:00 - 14:30 | 3 | ||||
| Formale Baumsprachen | Lecture | Prof. Dr. Vogler | Monday | 09:20 - 10:50 |
APB E006 |
6 | in German |
| Thursday | 13:00 - 14:30 | APB E010 | |||||
| Exercise | TBA | 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 - 10:50 | ||||||
| Graph Homomorphisms and Universal Algebra | Lecture | Prof. Dr. Bodirsky | Monday | 09:20 - 10:50 | WIL/C105/U | 6 | language per request |
| Wednesday | 11:10 - 12:40 | WIL/C133/H | |||||
Universität Leipzig
| Course | Given-by | Day | Time | Room | CP | Remarks | |
|---|---|---|---|---|---|---|---|
| Tree Automata | Lecture | Prof. Dr. Maletti | Wednesday | 13:15 - 14:45 | P-801 | 3 | language per request |
| Exercise | Friday | 11:15 - 12:45 | 3 | ||||
| Machine Translation | Lecture | Prof. Dr. Maletti | Monday | 15:15 - 16:45 | SG 3-13 | 3 | language per request |
| Practical Training | TBA | 3 | |||||
*CP = Credit Points
