Timetable in Summer Term 2016
From International Center for Computational Logic
Timetable in Summer Term 2016
Timetable
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 (l) | ATiCT | FoSWT (l) | AL (l) | STiLaV (s) |
DS 4: 13.00 - 14.30 |
ItAS (l) | GK | LM (s) | DT (t) | PSaSiA (l) |
DS 5: 14.50 - 16.20 |
ATiCT | GK | TRS (t) | Open House & TCS (s) | PSaSiA (t) |
DS 6: 16.40 - 18.10 |
KRaR (s) | TRS (l) | DS (l+t) | TRS (l) | |
DS 7: 18.30 - 20.00 |
Location: In general the classes are held in INF E005.
Abbreviations
ATiCT | Advanced Topics in Complexity Theory [Baader, Borchmann] | |
AL | Advanced Logic [Baier] | |
' | [] | |
' | [] | |
' | [] | |
' | [] | |
' | [] | |
' | [] | |
' | [] | |
' | [] | |
' | [] | |
' | [] | |
' | [] | |
' | [] | |
' | [] | |
' | [] | |
' | [] | |
' | [] |