About | Study | Members | Projects | Publications | Events | Search | Internals | Contact & Imprint
Timetable in Summer Term 2010
| Monday | Tuesday | Wednesday | Thursday | Friday | |
|---|---|---|---|---|---|
| DS 1: 07.30 - 09.00 |
SCV (s) | ||||
| DS 2: 09.20 - 10.50 |
MC (l) | AL (t) | AL (l) | SDTT (t) | |
| DS 3: 11.10 - 12.40 |
TA (l) | TA (l) | STAL (l) | TA (t) | AL (l) |
| DS 4: 13.00 - 14.30 |
STAL (t) | DS (l/t) | ICCL Colloquium |
SA (l) | MTTA (s) |
| DS 5: 14.50 - 16.20 |
SDTT (l) | KRR (s) | Open House Projects |
SA (t) | TCS (s) |
| DS 6: 16.40 - 18.10 |
DL (l)* | DL (l) | DL (t) | DL (l) | |
| DS 7: 18.30 - 20.00 |
Location: In general the classes are held in INF E005. Only the classes written in italics are held as indicated in the Abbreviations.
Star-Remarks:
- DL starts on Tuesday, April 13. The additional Monday slot is to cover all lectures, as the course will finish before ending of the teaching period.
Abbreviations:
| AL | Advanced Logics [Baier] |
| DL | Description Logics [Baader] |
| DS | Deduction Systems [Thielscher] |
| ICCL | Weekly colloquium of the CL and ICCL groups [CL professors] |
| KRR | Knowledge Representation and Reasoning [Hölldobler] |
| MC | Model Checking II [Baier] |
| MTTA | Machine Translation and Tree Automata [Vogler] (INF 3027) |
| SA | Semantic Search: Algorithms and Applications [Schroeder] (Tutorials in INF E046) |
| SCV | Symbolic and Compositional Verification [Baier, Größer] |
| SDTT | Semantics of Dependent Type Theory [Posegga] |
| STAL | Selected Topics in Automata and Logic [Penaloza] |
| TA | Tree Automata [Vogler] |
| TCS | Theoretical Computer Science [Baader] |
| (l|t|s|p) | Lecture, tutorial, seminar, and practical class, respectively |
| Open House | Students and lecturers meet for open discussions |
| Projects | Students are invited to contact the supervisor of their project to arrange meetings |
Last update: Fri, 16 Apr 2010 08:51:08