About | Study | Members | Projects | Publications | Events | Search | Internals | Contact & Imprint
Timetable in Summer Term 2005
| Monday | Tuesday | Wednesday | Thursday | Friday | |
|---|---|---|---|---|---|
| DS 1: 07.30 - 09.00 |
|||||
| DS 2: 09.20 - 10.50 |
SDS (t) | LPCS (l/t) | LKR (t) | AL (l) | FSDPT (t) |
| DS 3: 11.10 - 12.40 |
ISCALP | FSDPT (l) | ILS (l) | ILS (l) | AL (l) |
| DS 4: 13.00 - 14.30 |
RA (l) | TL (l) | SDS (l) | ILS (t) | AO (s) |
| DS 5: 14.50 - 16.20 |
AL (t) | SDS (l) | CL & KRR colloquium |
RA (l/t) | |
| DS 6: 16.40 - 18.10 |
MAS (s)* | LKR (l) | Open House Projects |
LKR (l) | |
| DS 7: 18.30 - 20.00 |
R (t)* | RA (p)* |
Location: Except stated otherwise, all classes are held in GRU 350
* Remarks:
- MAS (s) is held on Monday 4th April once and later as agreed with the lecturer in charge
- R (t) is held on Monday 4th April once and later as agreed with the lecturer in charge
- RA (p) is held every fortnight
- TCS (p) is held as agreed with the lecturers in charge
Changing rooms
During the Summer School the courses will be held in different rooms. Please have a look at the timetable for this period.
Abbreviations:
| AL | Advanced Logics [Reichel] |
| AO | Algebraic Optimization [Vogler, Kühnemann] |
| CL & KRR | Weekly colloquium of the CL and KRR groups [Hölldobler, Thielscher] |
| FSDPT | Formal Specification of Data and Process Types [Reichel] |
| ILS | Integrated Logic Systems [Schroeder, Thielscher] |
| ISCALP | Introduction to Sequent Calculus and Abstract Logic Programming [Bruscoli] |
| LKR | Logic-Based Knowledge Representation [Baader, Morawska] |
| LPCS | Logic Programming and Connectionist Systems [Hölldobler] (The course takes place in room GRU 454) |
| MAS | Multi Agent Systems [Thielscher] |
| R | Repetition classes [Penaloza] |
| RA | Reasoning Agents [Thielscher] |
| SDS | Syntax Directed Semantics [Vogler] |
| TCS | Theoretical Computer Science [Baader, Morawska] |
| TL | Temporal Logic [Lutz] |
| (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: Fri, 17 Jun 2005 14:24:47