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 |
||||||
| Advanced Topics in Complexity Theory | Lecture (incl. Exercise) |
Prof. Dr.-Ing. Baader Dr. rer. nat. Borchmann |
Monday Tuesday |
14:50 - 16:20 11:10 - 12:40 |
APB/E005 | 6 | in English |
| Advances in Probabilistic Model Checking | Doctoral Seminar | Prof. Dr. Baier | By Appointment | 3 | in German | ||
| Database Theory | Lecture | Dr. Krötzsch | Thursday | 13:00 - 14:30 | APB/E005 | 3 | in English, 04.04. will be a lecture |
| Exercise | Dipl.-Math. Kriegel | Monday | 11:10 - 12:40 | 3 | |||
| Ergänzungen zum maschinellen Übersetzen natürlicher Sprachen | Lecture | Prof. Dr.-Ing. Vogler | Thursday | 14:50 - 16:20 | APB/E009 | 3 | in German |
| Exercise | Tuesday | 07:30 - 09:00 | APB/E010 | 3 | |||
| Formale Baumsprachen (z.B. tree automata) | Lecture | Prof. Dr.-Ing. Vogler | Monday Thursday |
09:20 - 10:50 13:00 - 14:30 |
APB/E009 APB/E010 |
6 | in German |
| Exercise | Wednesday | 09:20 - 10:50 | APB/E010 | 3 | |||
| Infinite Permutation Groups | Lecture (incl. Exercise) |
Prof. Dr. rer. nat. Bodirsky | Monday Wednesday |
11:10 - 12:40 11:10 - 12:40 |
WIL C133 WIL A124 |
6 | in English |
| Introduction to Automatic Structures | Lecture | PD. Dr.-Ing. Turhan | Monday | 13:00 - 14:30 | APB/E005 | 3 | in English |
| Exercise | Dipl.-Math. Kriegel | Tuesday | 09:20 - 10:50 | 3 | |||
| Selected Topics in Logics and Verification | Seminar | Prof. Dr. Baier | By Appointment | 3 | in English | ||
| Term Rewriting Systems | Lecture | Prof. Dr.-Ing. Baader | Tuesday Thursday |
16:40 - 18:10 16:40 - 18:10 |
APB/E005 | 6 | in English |
| Exercise | Dr. rer. nat. Lippmann | Wednesday | 14:50 - 16:20 | 3 | |||
Universität Leipzig
| Course | Given-by | Day | Time | Room | CP | Remarks | |
|---|---|---|---|---|---|---|---|
| Automata Theory | Seminar | Prof. Dr. Droste | Wednesday | 11:15 - 12:45 | P-801 | 3 | German/English |
| Formale Modelle der Argumentation | Seminar | Prof. Dr. Brewka | Wednesday | 15:00 - 16:30 | P-801 | 3 | in German |
| Nebenläufige Prozesse: Spurtheorie | Lecture | Prof. Dr. Droste | Thursday | 13:15 - 14:45 | SG 3-14 | 3 | in German |
| Semantik von Programmiersprachen | Lecture | Prof. Dr. Droste | Wednesday | 09:15 - 10:45 | P-801 | 3 | in German |
*CP = Credit Points
