About | Study | Members | Projects | Publications | Events | Search | Internals | Contact & Imprint
Timetable in Winter Term 2010/11
| Monday | Tuesday | Wednesday | Thursday | Friday | |
|---|---|---|---|---|---|
| DS 1: 07.30 - 09.00 |
FCP (l)* | FLP (t)* | LPE (t)* | MAV (p) STLC (s) |
|
| DS 2: 09.20 - 10.50 |
L/SCL (l)* | WTA (t) PCKR (t) |
ITP(l) SE2(l) |
MC (t) SC (l) |
FCP (t)* |
| DS 3: 11.10 - 12.40 |
WTA (l) DPF (l) |
ITP (t) TIS (l) |
SAT (l) | MC (l) SC (t) |
MC (l) SE1 (t) |
| DS 4: 13.00 - 14.30 |
SE1 (l) | ICCL Colloquium |
DPF (t) PCKR (l) |
FLP (l) | L/SCL (t) |
| DS 5: 14.50 - 16.20 |
SAT (t)* SE2 (t) |
ITP (l) | L/SCL (l) MCC (l) |
NSI (l)* DS (l) |
|
| DS 6: 16.40 - 18.10 |
KRR (s) TIS (l/t) |
TCS (s) L/SCL (t) |
Open House Projects |
NSI (t) DS (t) |
|
| DS 7: 18.30 - 20.00 |
German |
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:
- FCP (l/t) is held 7 times in total. For exact dates please consult the course web page.
- FLP (t) is held every fortnight.
- L/SCL starts on October 18.
- LPE starts on October 20.
- NSI starts on October 21.
- SAT starts on October 20.
Abbreviations:
| DPF | Design Patterns and Frameworks [Assmann] (Mon INF/E023, Wed GER/37) |
| DS | Distributed Systems [Schill] (INF/E023) |
| FCP | Foundations of Constraint Programming [Hölldobler] |
| FLP | Foundations of Logic Programming [Reichel] |
| ICCL | ICCL Colloquium [ICCL professors] |
| ITP | Interactive Theorem Proving [Posegga] (room for tutorials will be announced) |
| KRR | Knowledge Representation and Reasoning [Hölldobler] |
| L | Logic [Hölldobler] |
| LPE | LP Engineering [Nauber] (INF E069) |
| MAV | Lab Course Modeling and Automated Verification [Baier] |
| MC | Model Checking [Baier] |
| MCC | Mobile Communication/Computing [Schill] (tba) |
| NSI | Neural Symbolic Integration [Hölldobler] |
| PCKR | Projection Computation in Knowledge Representation [Wernhard] (INF/2101) |
| SAT | SAT-Solving [Hölldobler] |
| SC | Security & Cryptography I [Pfitzmann] (INF/E023) |
| SCL | Science of Computational Logic [Hölldobler] |
| SE1 | Systems Engineering 1 [Fetzer] (INF/E023) |
| SE2 | Systems Engineering 2 [Fetzer] (INF/E023) |
| STLC | Selected Topics in Logic and Complexity [Baier] |
| TCS | Theoretical Computer Science [Baader] |
| TIS | Transactional Information Systems [Lehner] (Mon INF/E006, Tue INF/E008) |
| WTA | Weighted Tree Automata [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 |
See the course assignments to the modules in an overview.
For questions concerning exams etc., please consult the web pages of the Service Center for International Students (SCIS)
Last update: Tue, 30 Nov 2010 10:36:13