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 | ||
| Automata and Logic | Seminar | Prof. Dr. Baader PD Dr. Turhan |
Initial meeting: 20.04.2018 |
09:20 - 10:50 | APB/3027 | 3 | in English |
| Formale Baumsprachen | Lecture | Prof. Dr. Vogler | Thursday | 13:00 - 14:30 | APB/E010 | 3 | in German |
| Exercise | Wednesday | 09:20 - 10:50 | 3 | ||||
| Diskrete Mathematik / Model Theory | Lecture Exercise |
Prof. Dr. Bodirsky | Monday | 11:10 - 12:40 | WIL C203 | 3 | in English |
| Wednesday | 09:20 - 10:50 | WIL A120 | 3 | ||||
| Parsing von natürlichen Sprachen | Lecture | Prof. Dr. Vogler | Monday Thursday |
09:20 - 10:50 09:20 - 10:50 |
APB/E006 APB/E007 |
6 | in German |
| Exercise | Wednesday | 13:00 - 14:30 | APB/E006 | 3 | |||
| Selected Topics in Logics and Verification | Seminar | Prof. Dr. Baier | By Appointment | 3 | in English | ||
| Term Rewriting Systems | Lecture | Prof. Dr. Baader | Monday Wednesday Thursday |
16:40 - 18:10 14:50 - 16:20 16:40 - 18:10 |
APB/E005 | 9 | in English |
| Exercise | Francesco Kriegel | ||||||
*CP = Credit Points
