Technische Universität Dresden

 

CourseGiven-byDayTimeRoomCredit PointsRemarks
Description Logic (Lecture) Dr. Anni-Yasmin Turhan 

Tuesday

Thursday

16:40 - 18:10

16:40 - 18:10

APB E005

APB E005

6 in English
Description Logic (Exercise)

Dipl.-Math. Francesco Kriegel 

Wednesday 14:50 - 16:20 APB E005 3 in English
Complexity Theory (Lecture)

Dr. Markus Krötzsch,

Dr. Daniel Borchmann

Wednesday
Friday
13:00 - 14:30
13:00 - 14:30
APB E005
APB E005
6 in English
Complexity Theory (Exercise)

Dr. Markus Krötzsch,

Dr. Daniel Borchmann
Tuesday 09:20 - 10:50 APB E005 3

in English, the first exercise

on October 13 doesn't take

place

Maschinelles Übersetzen natürlicher Sprachen (Lecture) Prof. Dr. Heiko Vogler Monday
Thursday
11:10 - 12:40
09:20 - 10:50
APB E010
APB E007
6 in German
Maschinelles Übersetzen natürlicher Sprachen (Exercise) Prof. Dr. Heiko Vogler Thursday 13:00 - 14:30 APB E009 3 in German
Formale Übersetzungsmodelle (Lecture) Prof. Dr. Heiko Vogler Monday 13:00 - 14:30 APB E009 3 in German
Formale Übersetzungsmodelle (Exercise) Prof. Dr. Heiko Vogler Thursday 14:50 - 16:20  APB E009  3 in German
Model Checking (Lecture + Exercise)

Prof. Dr. Christel Baier,

Dr. Sascha Klüppelholz

Thursday

Thursday

Friday

Friday

09:20 - 10:50

11:10 - 12:40

09:20 - 10:50

11:10 - 12:40

APB E005

APB E005

APB E005

APB E005

12  in English
Permutationsgruppen (Lecture)

Jun.-Prof. Dr. Friedrich M. Schneider 

Monday

Friday

14:50 - 16:20

09:20 - 10:50

WIL C133

WIL C133

6 German / English
Seminar: 'Reading Group' Prof. Dr. Christel Baier TBA TBA TBA    
Seminar: 'Automata Models in Logic'

Prof. Dr. Franz Baader,

Dr. Marcel Lippmann

Further dates will be

determined

 

APB 3027

 

German / English, initial meeting on

October 22.

Seminar: 'Selected Topics in Logic and Verification' Prof. Dr. Christel Baier Thursday 07:30 - 09:00 APB E005 3 English

 

Universität Leipzig

CourseGiven-byDayTimeRoomCredit PointsRemarks
Automata Theory (Lecture) Prof. Dr. Manfred Droste Tuesday Wedenesday 09:15 - 10:45
11:15 - 12:45
Hs 19    
Hs 19
6 in English    
Automata Theory (Exercise) Prof. Dr. Manfred Droste Wednesday 13:15 - 14:45 P 801 3 in English 
Automata Theory (Seminar) Prof. Dr. Manfred Droste Thursday 11:15 - 12:45 P 801 3 in English
Wissensrepräsentation (Lecture)          Prof. Dr. Gerhard Brewka            Wednesday 09:15 - 10:45  P 801    3 in German
Algebra des Programmierens (Lecture) PD. Dr. Stefan Milius Tuesday 15:15 - 16:45 SG 3-10 3 in German
Algebra des Programmierens (Exercise) PD. Dr. Stefan Milius Wednesday 09:15 - 10:45 SG 3-12 3 in German