About | Study | Members | Projects | Publications | Events | Search | Internals | Contact & Imprint
Timetable in Winter Term 2007/08
| Monday | Tuesday | Wednesday | Thursday | Friday | |
|---|---|---|---|---|---|
| DS 1: 07.30 - 09.00 |
ITP (t/s) | LPE (p) | PGMC (p) | ||
| DS 2: 09.20 - 10.50 |
L/SCL (l)* / IDIPN* |
SDS (l) | L/SCL (l) / IDIPN |
L/SCL (t) / IDIPN |
IDIPN / DP (l)* |
| DS 3: 11.10 - 12.40 |
SDS / MC (l) / BST (s) |
ITP (l) | MC (l) | SDS (t) | L/SCL (t) |
| DS 4: 13.00 - 14.30 |
GGP (l/t) | ICCL Colloquium |
FLP/FCP (l) | FLP (l) | XML (t) |
| DS 5: 14.50 - 16.20 |
ITP (l) | KRR / CL (s) / IDIPN |
AL (t) | MC (t) | TCS (s) |
| DS 6: 16.40 - 18.10 |
FLP/FCP (t)* | AL (l) | Open House Projects |
AL (l) | DP (l/t) |
| 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:
- DP had to be canceled
- FCP is held from 3rd December to 2nd February
- IDIPN is held from 17th to 21st December
- L/SCL is interupted from 17th to 20th December
Abbreviations:
| AL | Automata and Logic [Dr. Lutz] |
| BST | reading group Boolean Satisfiability Testing [Prof. Hölldobler] (INF 2008) |
| CL | Computational Logic [Prof. Thielscher] (INF 2026) |
| DP | Decision Procedures [Dr. Zarba] |
| FCP | Foundations of Constraint Programming [Prof. Thielscher] |
| FLP | Foundations of Logic Programming [Prof. Thielscher] |
| GGP | General Game Playing [Prof. Thielscher] |
| ICCL | ICCL Colloquium [Prof. Hölldobler, Prof. Thielscher] |
| IDIPN | Introduction to Deep Inference and Proof Nets [Dr. Bruscoli, Dr. Strassburger] |
| ITP | Interactive Theorem Proving [Dr. Posegga] |
| KRR | Knowledge Representation and Reasoning [Prof. Hölldobler] |
| L | Logic [Prof. Hölldobler] |
| LPE | LP Engineering [Dr. Nauber] (INF E069) |
| MC | Model Checking [Prof. Baier] (Monday, DS3 in INF E010) |
| PGMC | Project Group Model Checking [Prof. Baier] |
| SCL | Science of Computational Logic [Prof. Hölldobler] |
| SDS | Syntax Directed Semantics [Prof. Vogler] |
| TCS | Theoretical Computer Science [Dr. Morawska] |
| XML | XML and Semi Structured Data [Prof. Vogler] |
| (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: Thu, 10 Apr 2008 11:04:09