Keep in mind that this is a preliminary overview of the lectures, it might change and extend in the beginning of April.
Technische Universität Dresden
| Course | Given-by | Day | Time | Room | CP | Remarks | |
|---|---|---|---|---|---|---|---|
| Advanced Logics | Lecture (incl. Exercise) |
Prof. Dr. Baier | Thursday | 09:20 - 10:50 11:10 - 12:40 |
APB/E005 | 9 | in English |
| Friday | 09:20 - 10:50 11:10 - 12:40 |
||||||
| Advances in Probabilistic Model Checking | Doctoral Seminar | Prof. Dr. Baier | By Appointment | 3 | German or English | ||
| Binäre Entscheidungsgraphen | Type | Dr. Klüppelholz | Wednesday | 09:20 - 10:50 | APB/E008 | 3 | in German |
| Ergänzungen zum maschinellen Übersetzen natürlicher Sprachen | Lecture | Prof. Dr. Vogler | Monday | 09:20 - 10:50 | APB/E009 | 6 | in German |
| Thursday | 14:50 - 16:20 | ||||||
| Exercise | Wednesday | 11:10 - 12:40 | APB/E008 | 3 | |||
| Formale Baumsprachen | Lecture | Prof. Dr. Vogler | Thursday | 13:00 - 14:30 | APB/E010 | 3 | in German |
| Exercise | Wednesday | 09:20 - 10:50 | 3 | ||||
| Fuzzy Description Logic | Lecture | PD. Dr. Turhan | Tuesday | 16:40 - 18:10 | APB/E005 | 3 | in English, Exercises every fortnight |
| Exercise | Wednesday | 14:50 - 16:20 | 3 | ||||
| Graph Homomorphisms, Universal Algebra, and Constraint Satisfaction | Lecture | Prof. Dr. Bodirsky | Monday | 11:10 - 12:40 | WIL C203 | 6 | in English (if requested) |
| Wednesday | 09:20 - 10:50 | WIL A120 | |||||
| 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 | |
|---|---|---|---|---|---|---|---|
| Maschinelle Übersetzung | Lecture | Prof. Dr. Maletti | Thursday | 11:15 - 12:45 | SG 3-13 | 3 | in English |
| Semantik von Programmiersprachen | Lecture | Prof. Dr. Droste | Wednesday | 09:15 - 10:45 | P-801 | 3 | in German, Exercises every fortnight |
| Exercise | Monday (Week A) | 13:15 - 14:45 | P-801 | 3 | |||
| Algebraische Automatentheorie | Lecture | Prof. Dr. Droste | Thursday | 13:15 - 14:45 | SG 3-14 | 3 | in German, Exercises every fortnight |
| Exercise | Monday (Week B) | 13:15 - 14:45 | P-801 | 3 | |||
*CP = Credit Points
