About | Study | Members | Projects | Publications | Events | Search | Internals | Contact & Imprint
Timetable in Summer Term 2012
ATTENTION: This major timetable changes every month. These changes only concern the courses AL, DS, PT, SA and SPAL. Please see the changed timetables for:
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:
- AL is going to start on Thursday, April 5.
- CT (t) is held every fortnight.
- DS is NOT held in June 2012. So there are more slots occupied in April. For exact planning please see the additional information on the course page.
- FCAL (t) is held every fortnight.
- PT is NOT held in June 2012. So there are more slots occupied in April. For exact planning please see the additional information on the course page.
- SA is going to start on Thursday, May 24.
- SPAL is NOT held in June 2012. So there are more slots occupied in April. For exact planning please see the additional information on the course page.
Abbreviations:
| A&L | Automata and Logic [Baader] |
| AL | Advanced Logics [Baier] (Mon DS1 in INF/E001, Thu DS3 in INF/E007) |
| AS | Advanced Topics in Automatic Structures [Turhan] (INF/3027) |
| CBSE | Component-based Software Engineering [Assmann] (lectures in INF/E023, tutorials in SCH/A118) |
| CT | Introduction to Complexity Theory [Peñaloza] |
| DS | Deduction Systems [Bruscoli] |
| FCDS | Foundations of Concurrent and Distributed Systems [Fetzer] (Tue in INF/E001, Thu in INF/E009) |
| FCAL | Formal Concept Analysis and Logic [Distel] |
| ICCL | Weekly colloquium of the CL and ICCL groups [CL professors] |
| IWA | Internet and Web Applications [Schill] (INF/E023) |
| KRR | Knowledge Representation and Reasoning [Hölldobler] |
| MAV | Lab Course Modelling and Automated Verification [Baier] |
| NLP | Natural Language Processing [Vogler] (INF/3027) |
| PT | Selected Topics in Proof Theory [Bruscoli] (Mon DS6 on 23rd April in INF/E008) |
| SA | Semantic Search: Algorithms and Applications [Schroeder] (tutorials in INF/E069) |
| SC2 | Security and Cryptography II [Kerschbaum] (INF/E008) |
| SPAL | Structural Proof Theory and Abstract Logic Programming [Bruscoli] |
| WSN | Wireless Sensor Networks [Dargie] (lectures in INF/E009, tutorials in INF/E008) |
| WTA | Advanced Topics in Weighted Tree Automata [Vogler] |
| (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 |
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: Fri, 29 Jun 2012 13:36:45