Technische Universität Dresden

CourseGiven-byDayTimeRoomCredit PointsRemarks
Description Logics (Lecture) Dr. Rafael Penaloza Tuesday
Thursday
16:40 - 18:10
16:40 - 18:10
INF E005
INF E005
6 in English
Description Logics (Exercise) Marcel Lippmann Wednesday 14:50 - 16:20 INF E005 3 in English
Maschinelles Übersetzen natürlicher Sprachen (Lecture) Prof. Dr. Heiko Vogler Monday
Wednesday
11:10 - 12:40
11:10 - 12:40
INF E010
INF E007
6 in German
Maschinelles Übersetzen natürlicher Sprachen (Exercise) Prof. Dr. Heiko Vogler Thursday 09:20 - 10:50 INF E007 3 in German
Advanced Topics on Weighted Automata (Lecture) Prof. Dr. Heiko Vogler Monday 13:00 - 14:30 INF E009 3 in English
Advanced Topics on Weighted Automata (Exercise) Prof. Dr. Heiko Vogler Thursday 11:10 - 12:40 INF E007 3 in English
Introduction to Formal Concept Analysis (Lecture) Prof. Dr. Sebastian Rudolph Wednesday 09:20 - 10:50 INF E005 3 in English
Introduction to Formal Concept Analysis (Exercise) Prof. Dr. Sebastian Rudolph Monday 09:20 - 10:50 INF E005 3 in English
Ordnungsstrukturen (Lecture) Dr. Maja Pech Monday 14:50 - 16:20 WIL A124 3 in German
Ordnungsstrukturen (Lecture/Exercise) Dr. Maja Pech Wednesday 14:50 - 16:20 WIL A124 3 in German
Universelle Algebren und Koalgebren (Lecture) Prof. Dr. Reinhard Pöschel TBA TBA TBA 3 in German?
Seminar: 'Selected Topics in Logic and Verification' Dr. Sascha Klüppelholz TBA TBA TBA 3 in English
Seminar: 'Probability in Logic' Dr. Anni-Yasmin Turhan Friday 14:50 - 15:20 INF 3027 3 in English

 

Universität Leipzig

CourseGiven-byDayTimeRoomCredit PointsRemarks
Automatentheorie (Lecture) Prof. Dr. Manfred Droste Wednesday Friday 11:15 - 12:45
11:15 - 12:45
P 501 [FKHs]
P 501 [FKHs]
6 in German
Automatentheorie (Exercise) Dr. Peter Leupold Wednesday Thursday 13:15 - 14:45
11:15 - 12:45
SG 3-14
SG 3-14
6 in German
Automata Theory (Seminar) Prof. Dr. Manfred Droste Thursday 11:15 - 12:45 P 901 3 in German?
Room / time may change!
Answer Set Programming (Lecture / Seminar) Prof. Dr. Gerhard Brewka, Dr. Stefan Woltran Thursday 15:15 - 16:45 SG 3-12 3 German / English - as needed