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