About | Study | Members | Projects | Publications | Events | Search | Internals | Contact & Imprint
Timetable in Winter Term 2005/06
| Monday | Tuesday | Wednesday | Thursday | Friday | |
|---|---|---|---|---|---|
| DS 1: 07.30 - 09.00 |
CAA (l) | LPE (p) | CLC (s) | ||
| DS 2: 09.20 - 10.50 |
L/SCL (l) | APP (l) | L/SCL (l) | FMC (l) | CT (l/t) |
| DS 3: 11.10 - 12.40 |
APP (l) | FLP (l) | C&L (t) | ITP (l) | L/SCL (t) TPE (l) |
| DS 4: 13.00 - 14.30 |
FCP (l/t) | GK | CA (l/t) CL (s) |
GGP (l) | ITP (l) |
| DS 5: 14.50 - 16.20 |
ITP (t/s) | SV (s) KRR (s) |
L/SCL (t) | APP (t) | RA (s)* KRRSW (s)* |
| DS 6: 16.40 - 18.10 |
FMC (t) | C&L (l) CLC (s) |
Open House Projects |
C&L (l) | TCS (s) |
| DS 7: 18.30 - 20.00 |
FLP (t)* |
Location: In general the classes are held in GRU 350. Only the classes written in italics are held as indicated in the Abbreviations.
Star-Remarks:
- FLP (t) will be held every fortnight
- RA (s) is a blockseminar at the end of the semester
- KRRSW (s) is a blockseminar on 20th January 2006 DS4 - 6 to be held in GRU 357
Abbreviations:
| APP | The Algebraic Path Problem [Vogler] |
| CA | Computer Algebra [Pech] |
| CAA | Combinatorics and Analysis of Algorithms [Vogler] |
| C&L | Complexity and Logic [Baader] |
| CL | Computational Logic [Thielscher] GRU 402 |
| CLC | Computational Logic Consultation / Studienberatung Computational Logic [Hölldobler] GRU 420 |
| CT | Complexity Theory [Großmann] |
| FCP | Foundations of CP [Thielscher] |
| FLP | Foundations of LP [Thielscher] |
| FMC | Formal Models of Concurrency [Reichel] |
| GGP | General Game Playing [Thielscher] |
| ITP | Interactive Theorem Proving [Posegga] |
| KRR | Knowledge Representation and Reasoning [Hölldobler] GRU 359 |
| KRRSW | Knowledge Representation and Reasoning for the Semantic Web [Hitzler, Krötzsch] GRU 351 |
| L | Logic [Hölldobler, Hein] |
| LPE | LP Engineering [Reichel, Nauber] GRU 106 |
| RA | Reasoning Agents [Thielscher] |
| SCL | Science of Computational Logic [Hölldobler, Hein] |
| SV | Specification and Verification [Reichel] |
| TCS | Theoretical Computer Science [Baader, Lutz] GRU 151 |
| TPE | Theorem Proving and Equlity [Morawska] GRU 359 |
| (l|t|s|p) | Lecture, tutorial, seminar, and practical class, respectively |
| GK | Talks within the DFG Research Training Group (open to CL students) |
| 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: Wed, 21 Mar 2012 14:23:59