Technische Universität Dresden

CourseGiven-byDayTimeRoomCredit PointsRemarks
Advanced Logic (Lecture & Exercise) Prof. Dr. Christel Baier Wednesday
Wednesday
Thursday
Thursday
Friday
Friday
09:20 - 10:50
11:10 - 12:40
09:20 - 10:50
11:10 - 12:40
09:20 - 10:50
11:10 - 12:40
INF E005
INF E005
INF E005
INF E005
INF E005
INF E005
9 in English only in April and May
Automata and Logic (Lecture) Dr. Rafael Peñaloza Tuesday Thursday 16:40 - 18:10
16:40 - 18:10
INF E005
INF E005
6 in English
Automata and Logic (Exercise) Marcel Lippmann Wednesday 14:50 - 16:20 INF E005 3 in English
Diskrete Mathematik (Schwerpunkt Algebraische Graphentheorie) (Lecture & Exercise) Prof. Dr. Ulrike Baumann Monday Thursday 13:00 - 14:30
14:50 - 16:20
WIL A124
WIL A120
6 in German
Ergänzungen zum maschinellen Übersetzen natürlicher Sprachen (Lecture) Prof. Dr. Heiko Vogler Monday 13:00 - 14:30 INF E010 3 in German
Foundations of Semantic Web Technologies (Lecture & Exercise) Prof. Dr. Sebastian Rudolph Tuesday
Tuesday
Friday
09:20 - 10:50
11:10 - 12:40
14:50 - 16:20
INF E005
INF E005
INF E005
9 in English
Fuzzy Description Logics (Lecture) Dr. Felix Distel Monday 09:20 - 10:50 INF E005 3 in English
Fuzzy Description Logics (Exercise) Dr. Felix Distel Friday
Wednesday
 
13:00 - 14:30
11:10 - 12:40
 
INF E005
INF E005
 
3 in April and May
in June and July
in English
Maschinelles Lernen in der Sprachverarbeitung (Lecture) Dr. Torsten Stüber Monday 09:20 - 10:50 INF E001 3 in German
Maschinelles Lernen in der Sprachverarbeitung (Exercise) Dr. Torsten Stüber Tuesday 11:10 - 12:40 INF E001 3 in German
Model Checking (Seminar) Prof. Dr. Christel Baier Dr. Sascha Klüppelholz TBA TBA TBA 3 in English registration until 12.04.13
Praktikum Haskell für NLP (Practical course) Toni Dietze Wednesday Wednesday 09:20 - 10:50
11:10 - 12:40
INF E040
INF E040
6 in German
Weighted Tree Automata (Lecture & Exercise) Prof. Dr. Heiko Vogler Monday
Wednesday
Thursday
11:10 - 12:40
13:00 - 14:30
07:30 - 09:00
INF E005
INF E005
INF E005
9 in English

 

Universität Leipzig

CourseGiven-byDayTimeRoomCredit PointsRemarks
Automata Theory (Lecture & Exercise) Prof. Dr. Manfred Droste Monday
Friday
Tuesday
Thursday
13:15 - 14:45
09:15 - 10:45
09:15 - 10:45
13:15 - 14:45
SG 1-12
SG 1-10
SG 1-12
SG 1-12
12 in English
Automata Theory (Seminar) Prof. Dr. Manfred Droste       3 English
Einführung in Computational Social Choice (Seminar) Prof. Dr. Gerhard Brewka Wednesday 11:15 - 12:45 SG 1-10 3 in German
Semantic Web Technologien (Seminar) Prof. Dr. Gerhard Brewka Thursday 11:15 - 12:45 SG 3-14 3 in German
Spieltheoretische Methoden in der Logik (Lecture) Prof. Dr. Markus Lohrey Wednesday 11:15 - 12:45 SG 3-14 3 in German
Verifikation unendlicher Systeme (Lecture) Prof. Dr. Markus Lohrey Wednesday 09:15 - 10:45 SG 3-14 3 in German
Wissensbasierte Systeme (Lecture) Prof. Dr. Gerhard Brewka Wednesday 13:15 - 14:45 HS 15 3 in German