Timetable in Summer Term 2016

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche
Toggle side column

Timetable in Summer Term 2016

Please note that this timetable is still liable to change.

Mon Tue Wed Thu Fri
DS 1:
07.30-09.00
DS 2:
09.20-10.50
FoSWT (t) ItAS (t) FoSWT (l) AL (l) AL (t)
DS 3:
11.10-12.40
DT (t) ATiCT FoSWT (l) AL (l) STiLaV (s)
DS 4:
13.00-14.30
ItAS (l) GK LM (s) DT (l) PSaSiA (l)
DS 5:
14.50-16.20
ATiCT GK TRS (t) Open House
Projects
TCS (s)
PSaSiA (t)
DS 6:
16.40-18.10
KRR (s) TRS (l) DS (l+t) TRS (l)
DS 7:
18.30-20.00


Location: In general the classes are held in APB E005.

Abbreviations

Courses

AL Advanced Logics [Baier]
ATiCT Advanced Topics in Complexity Theory [Baader, Borchmann]
DS Deduction Systems [Rudolph]
DT Database Theory [Krötzsch]
FoSWT Foundations of Semantic Web Technologies [Rudolph]
ItAS Introduction to Automatic Structures [Turhan]
KRR Knowledge Representation and Reasoning [Hölldobler]
LM Logical Modeling [Rudolph]
PSaSiA Problem Solving and Search in AI [Gaggl]
STiLaV Selected Topics in Logics and Verification [Baier]
TCS Theoretical Computer Science [Baader]
TRS Term Rewriting Systems [Baader]
l, t, s
 
Lecture, tutorial and seminar, respectively

Other Events

GK Talks within the DFG Research Training Group
Open House Students and lecturers meet for open discussions
Projects Students are invited to contact the supervisor of their project to arrange meetings