About | Study | Members | Projects | Publications | Events | Search | Internals | Contact & Imprint
Courses in Summer Term 2012
Module MCL-F Foundations (Basic)
Person in charge: Prof. Steffen Hölldobler
This module is not covered by any courses in summer terms.
Module MCL-LCP Logic and Constraint Programming (Basic)
Person in charge: Dr. Paola Bruscoli
This module is not covered by any courses in summer terms.
Module MCL-AL Advanced Logics (Basic)
Person in charge: Prof. Christel Baier
| Course Title | SWS (l/ts/p) | Lecturer | Institute |
|---|---|---|---|
| Advanced Logics | 4/2/0 | Prof. Baier | ThCS |
Module MCL-ILS Integrated Logic Systems (Basic)
Person in charge: Prof. Michael Schroeder
| Course Title | SWS (l/ts/p) | Lecturer | Institute |
|---|---|---|---|
| Deduction Systems | 1/1/0 | Dr. Bruscoli | AI |
| Semantic Search: Algorithms and Applications | 2/2/0 | Prof. Schroeder | AI |
Module MCL-KR Knowledge Representation (Advanced)
Person in charge: Prof. Steffen Hölldobler
| Course Title | SWS (l/ts/p) | Lecturer | Institute |
|---|---|---|---|
| Automata and Logic | 4/2/0 | Prof. Baader | ThCS |
| Formal Concept Analysis and Logic | 2/1/0 | Dr. Distel | ThCS |
| Introduction to Complexity Theory | 2/1/0 | Dr. Peñaloza | ThCS |
| Knowledge Representation and Reasoning | 0/2/0 | Prof. Hölldobler | AI |
| Selected Topics in Proof Theory | 0/2/0 | Dr. Bruscoli | AI |
| Structural Proof Theory and Abstract Logic Programming | 2/2/0 | Dr. Bruscoli | AI |
Module MCL-MV Modeling and Verification (Advanced)
Person in charge: Prof. Christel Baier
| Course Title | SWS (l/ts/p) | Lecturer | Institute |
|---|---|---|---|
| Introduction to Complexity Theory | 2/1/0 | Dr. Peñaloza | ThCS |
| Lab Course Modelling and Automated Verification | 0/0/4 | Prof. Baier | ThCS |
Module MCL-TCSL Theoretical Computer Science and Logic (Advanced)
Person in charge: Prof. Franz Baader
| Course Title | SWS (l/ts/p) | Lecturer | Institute |
|---|---|---|---|
| Advanced Topics in Automatic Structures | 0/2/0 | Dr. Turhan | ThCS |
| Automata and Logic | 4/2/0 | Prof. Baader | ThCS |
| Formal Concept Analysis and Logic | 2/1/0 | Dr. Distel | ThCS |
| Introduction to Complexity Theory | 2/1/0 | Dr. Peñaloza | ThCS |
| Selected Topics in Proof Theory | 0/2/0 | Dr. Bruscoli | AI |
| Structural Proof Theory and Abstract Logic Programming | 2/2/0 | Dr. Bruscoli | AI |
Module MCL-NLPA Natural Language Processing and Automata (Advanced)
Person in charge: Prof. Heiko Vogler
| Course Title | SWS (l/ts/p) | Lecturer | Institute |
|---|---|---|---|
| Advanced Topics in Weighted Tree Automata | 4/2/0 | Prof. Vogler | ThCS |
| Natural Language Processing | 0/2/0 | Prof. Vogler | ThCS |
Module MCL-PI Principles of Inference (Advanced)
Person in charge: Prof. Steffen Hölldobler
| Course Title | SWS (l/ts/p) | Lecturer | Institute |
|---|---|---|---|
| Advanced Topics in Automatic Structures | 0/2/0 | Dr. Turhan | ThCS |
| Automata and Logic | 4/2/0 | Prof. Baader | ThCS |
| Introduction to Complexity Theory | 2/1/0 | Dr. Peñaloza | ThCS |
| Knowledge Representation and Reasoning | 0/2/0 | Prof. Hölldobler | AI |
| Selected Topics in Proof Theory | 0/2/0 | Dr. Bruscoli | AI |
| Structural Proof Theory and Abstract Logic Programming | 2/2/0 | Dr. Bruscoli | AI |
Module MCL-CSE Computer Science Engineering (Advanced)
Person in charge: head of the study course
| Course Title | SWS (l/ts/p) | Lecturer | Institute |
|---|---|---|---|
| Component-based Software Engineering | 2/2/0 | Prof. Assmann | SMT |
| Foundations of Concurrent and Distributed Systems | 4/0/0 | Prof. Fetzer | SyA |
| Internet & Web Applications | 2/2/0 | Prof. Schill | SyA |
| Security and Cryptography II | 2/2/0 | Dr. Kerschbaum | SyA |
| Wireless Sensor Networks | 2/2/0 | Dr. Dargie | SyA |
Module MCL-PCS Presentation and Communication Skills (Basic)
Person in charge: head of the study course
| Course Title | SWS (l/ts/p) | Lecturer | Institute |
|---|---|---|---|
| Advanced Topics in Automatic Structures | 0/2/0 | Dr. Turhan | ThCS |
| Knowledge Representation and Reasoning | 0/2/0 | Prof. Hölldobler | AI |
| Natural Language Processing | 0/2/0 | Prof. Vogler | ThCS |
| Selected Topics in Proof Theory | 0/2/0 | Dr. Bruscoli | AI |
Module MCL-P Project (Basic)
Person in charge: head of the study course
| Course Title | SWS (l/ts/p) | Lecturer | Institute |
|---|---|---|---|
| Project Group Knowledge Representation and Reasoning | 0/0/4 | Prof. Hölldobler | AI |
| Project Group Machine Translation and Automata Theory | 0/0/4 | Prof. Vogler | ThCS |
| Project Group Model Checking | 0/0/4 | Prof. Baier | ThCS |
| Project Group Semantic Search | 0/0/4 | Prof. Schroeder | AI |
| Project Group Theoretical Computer Science | 0/0/4 | Prof. Baader | ThCS |
Here you can find the description of the modules as well as the timetable of the courses.
Note: 3 advanced modules have to be chosen out of the 6 ones. Courses summing up to min. 8 SWS have to be assigned for each of the 3 modules. Any course may be chosen for max. one module.
To discuss questions concerning logic and computational logic, you may contact Prof. Hölldobler during his consultation hours mentioned on his homepage.
For questions concerning exams etc., please consult the web pages of the Service Center for International Students (SCIS)
Last update: Fri, 20 Apr 2012 09:03:43