About  |  Study  |  Members  |  Projects  |  Publications  |  Events  |  Search  |  Internals  |  Contact & Imprint

Courses in Summer Term 2015


Note: 3 advanced modules have to be chosen out of the 4 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.

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: Prof. Sebastian Rudolph

This module is not covered by any courses in summer terms.

Module MCL-AL Advanced Logics (Basic)

Person in charge: Prof. Sebastian Rudolph

Course Title SWS (l/ts/p) Lecturer Institute
Automata and Logic 4/2/0 Dr. Borchmann 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 Prof. Rudolph AI
Semantic Search: Algorithms and Applications 2/2/0 Prof. Schroeder 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. Köpsell SyA
Wireless Sensor Networks 2/2/0 Dr. Dargie SyA

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 Dr. Borchmann ThCS
Foundations of Databases and Query Languages 2/2/0 Dr. Krötzsch ThCS
Foundations of Semantic Web Technologies 4/2/0 Prof. Rudolph AI
Knowledge Representation and Reasoning 0/2/0 Prof. Hölldobler AI
Problem Solving and Search in AI 2/1/1 Dr. Gaggl AI
SAT Solving 2/2/0 Prof. Hölldobler AI

Module MCL-PI Principles of Inference (Advanced)

Person in charge: Prof. Steffen Hölldobler

Course Title SWS (l/ts/p) Lecturer Institute
Automata and Logic 4/2/0 Dr. Borchmann ThCS
Foundations of Databases and Query Languages 2/2/0 Dr. Krötzsch ThCS
Foundations of Semantic Web Technologies 4/2/0 Prof. Rudolph AI
Knowledge Representation and Reasoning 0/2/0 Prof. Hölldobler AI
Problem Solving and Search in AI 2/1/1 Dr. Gaggl AI
SAT Solving 2/2/0 Prof. Hölldobler AI
Theoretical Computer Science 0/2/0 Prof. Baader ThCS

Module MCL-TCSL Theoretical Computer Science and Logic (Advanced)

Person in charge: Prof. Franz Baader

Course Title SWS (l/ts/p) Lecturer Institute
Automata and Logic 4/2/0 Dr. Borchmann ThCS
Foundations of Databases and Query Languages 2/2/0 Dr. Krötzsch ThCS
Introduction to Theorem Proving with Isabelle/HOL 2/0/0 Dr. Peters ThCS
Theoretical Computer Science 0/2/0 Prof. Baader ThCS

Module MCL-PCS Presentation and Communication Skills (Basic)

Person in charge: head of the study course

Course Title SWS (l/ts/p) Lecturer Institute
Knowledge Representation and Reasoning 0/2/0 Prof. Hölldobler AI
Lab Course Modelling and Automated Verification 0/2/0 Prof. Baier, Dr. Klüppelholz ThCS
Selected Topics in Logics and Verification 0/2/0 Prof. Baier, Dr. Klüppelholz ThCS
Theoretical Computer Science 0/2/0 Prof. Baader ThCS

Module MCL-P Project (Basic)

Person in charge: head of the study course

Course Title SWS (l/ts/p) Lecturer Institute
Project Group Computational Logic 0/0/4 Prof. Rudolph AI
Project Group Knowledge Representation and Reasoning 0/0/4 Prof. Hölldobler AI
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.

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, 27 Mar 2015 15:56:13