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