About | Study | Members | Projects | Publications | Events | Search | Internals | Contact & Imprint
Timetable in Summer Term 2006
| Monday | Tuesday | Wednesday | Thursday | Friday | |
|---|---|---|---|---|---|
| DS 1: 07.30 - 09.00 |
DAPN (p)* | ||||
| DS 2: 09.20 - 10.50 |
SDS (l) | ML (t)* | NLP (l/t) | AL (l) | ILS (l) |
| DS 3: 11.10 - 12.40 |
ML (l) | SDS (l) | LBKR (t) | ILS (l) | AL (l) |
| DS 4: 13.00 - 14.30 |
TL (l) | DAM (t)* | SDS (t) | ILS (t) | CO (t) |
| DS 5: 14.50 - 16.20 |
DAPN (l) | KRR (s) | DAM (l) | TACHC (l/t) | |
| DS 6: 16.40 - 18.10 |
AL (t) | LBKR (l) | Open House Projects |
LBKR (l) | |
| DS 7: 18.30 - 20.00 |
Location: In general the classes are held in GRU 350. Only the classes written in italics are held as indicated in the Abbreviations.
Please note that the location will change during the period of the ICCL Summer School, i. e. 26th June - 7th July. You may find the locations in this timetable.
Star-Remarks:
- DAM (t) is held every fortnight
- DAPN (p) is held every fortnight
- ML (t) is held every fortnight
Abbreviations:
| AL | Advanced Logics [Reichel] |
| CLC | Computational Logic Consultation / Studienberatung Computational Logic [Hölldobler] GRU 420 |
| CO | Combinatorial Optimization [Vogler] |
| DAM | Data Analysis and Mining [Li] |
| DAPN | Design and Analysis with Petri Nets [Nauber] |
| ILS | Integrated Logic Systems [Schroeder] |
| LBKR | Logic Based Knowledge Representation [Baader] |
| ML | Machine Learning [Hölldobler, leThanh] |
| NLP | Natural Language Processing [leThanh] |
| SDS | Syntax Directed Semantics [Vogler] |
| TACHC | Theory and Applications of the Curry-Howard Correspondence [Stewart] |
| TL | Temporal Logic [Lutz] |
| (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: Mon, 19 Jun 2006 09:30:38