About | Study | Members | Projects | Publications | Events | Search | Internals | Contact & Imprint
Timetable in Winter Term 2006/07
| Monday | Tuesday | Wednesday | Thursday | Friday | |
|---|---|---|---|---|---|
| DS 1: 07.30 - 09.00 |
CAA (l) | LPE (p) | CLC (s) | ||
| DS 2: 09.20 - 10.50 |
L (l) | APP (l) | L/SCL (t) | CL (s) | CT (l/t) |
| DS 3: 11.10 - 12.40 |
APP (l) | FLP/FCP (l) | TRS (t) | APP (t) | L/SCL (t) |
| DS 4: 13.00 - 14.30 |
FLP (l) / FCP (t) |
ITP (l) | L/SCL (l) | GGP/SCL (l) | NLP (s) |
| DS 5: 14.50 - 16.20 |
ITP (t/s) | KRR (s) | Open House Projects |
ITP (l) | TCS (s) |
| DS 6: 16.40 - 18.10 |
GGP (t) | TRS (l) | TRS (l) | ||
| DS 7: 18.30 - 20.00 |
FLP (t) |
Location: In general the classes are held in Nöthnitzer Str. 46 room E005. Only the classes written in italics are held as indicated in the Abbreviations.
Abbreviations:
| APP | The Algebraic Path Problem [Prof. Vogler] |
| CAA | Combinatorics and Analysis of Algorithms [Prof. Vogler] |
| CL | Computational Logic [Prof. Thielscher] |
| CLC | Computational Logic Consultation / Studienberatung Computational Logic [Prof. Hölldobler] |
| CT | Complexity Theory [Dr. Lutz] |
| FCP | Foundations of Constraint Programming [Prof. Thielscher] |
| FLP | Foundations of Logic Programming [Prof. Thielscher] |
| GGP | General Game Playing [Prof. Thielscher] |
| ITP | Interactive Theorem Proving [Dr. Posegga] |
| KRR | Knowledge Representation and Reasoning [Prof. Hölldobler] |
| L | Logic [Prof. Hölldobler] |
| LPE | LP Engineering [Dr. Nauber] E040 |
| NLP | Natural Language Processing [Prof. Vogler] E007 |
| SCL | Science of Computational Logic [Prof. Thielscher] |
| TRS | Term Rewriting Systems [Prof. Baader] |
| TCS | Theoretical Computer Science [Prof. Baader] |
| (l|t|s|p) | Lecture, tutorial, seminar, and practical class, respectively |
| Project | Students are invited to contact the supervisor of their project to arrange meetings |
| Open House | Students and lecturers meet for open discussions |
Last update: Tue, 2 Jan 2007 09:51:48