Winter Term 2015/16

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

Course Title	SWS (l/ts/p)	Lecturer	Institute
Logic	2/2/0	Prof. Hölldobler	AI
Science of CL	2/2/0	Prof. Hölldobler	AI

Module MCL-LCP Logic and Constraint Programming (Basic)

Person in charge: Prof. Sebastian Rudolph

Course Title	SWS (l/ts/p)	Lecturer	Institute
Foundations of Constraint Programming	1/1/0	Prof. Rudolph	AI
Foundations of Logic Programming	2/1/0	Prof. Rudolph	AI
LP Engineering	2/2/0	Dr. Klüppelholz	ThCS

Module MCL-AL Advanced Logic (Basic)

Person in charge: Prof. Sebastian Rudolph
This module is not covered by any courses in winter terms.
From summer semester 2016 on this module is offered at the Free University of Bozen-Bolzano, Italy.

Module MCL-ILS Integrated Logic Systems (Basic)

Person in charge: Prof. Michael Schroeder
This module is not covered by any courses in winter terms.
From summer semester 2016 on this module is offered at the Free University of Bozen-Bolzano, Italy.

Module MCL-CSE Computer Science Engineering (Advanced)

Person in charge: head of the study course

Course Title	SWS (l/ts/p)	Lecturer	Institute
Design Patterns and Frameworks	2/2/0	Prof. Assmann	SMT
Distributed Systems	2/2/0	Prof. Schill	SyA
Mobile Communication/Computation	2/0/0	Prof. Schill	SyA
Security & Cryptography I	2/2/0	Prof. Strufe	SyA
Transactional Information Systems	2/2/0	Prof. Lehner	SyA

Module MCL-KR Knowledge Representation (Advanced)

Person in charge: Prof. Steffen Hölldobler

Course Title	SWS (l/ts/p)	Lecturer	Institute
Complexity Theory	4/2/0	Dr. Borchmann, Dr. Krötzsch	ThCS
Introduction to Formal Concept Analysis	2/2/0	Prof. Rudolph	AI
Knowledge Representation and Reasoning	0/2/0	Prof. Hölldobler	AI
Practical Planning for Angry Birds	0/2/0	Prof. Rudolph	AI
Seminar Abstract Argumentation	0/2/0	Dr. Gaggl	AI

Module MCL-PI Principles of Inference (Advanced)

Person in charge: Prof. Steffen Hölldobler

Course Title	SWS (l/ts/p)	Lecturer	Institute
Complexity Theory	4/2/0	Dr. Borchmann, Dr. Krötzsch	ThCS
Description Logic	4/2/0	Dr. Turhan	ThCS
Introduction to Formal Concept Analysis	2/2/0	Prof. Rudolph	AI
Knowledge Representation and Reasoning	0/2/0	Prof. Hölldobler	AI
Practical Planning for Angry Birds	0/2/0	Prof. Rudolph	AI
Theoretical Computer Science	0/2/0	Prof. Baader, Dr. Lippmann	ThCS

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

Person in charge: Prof. Franz Baader

Course Title	SWS (l/ts/p)	Lecturer	Institute
Complexity Theory	4/2/0	Dr. Borchmann, Dr. Krötzsch	ThCS
Description Logic	4/2/0	Dr. Turhan	ThCS
Model Checking	4/4/0	Prof. Baier	ThCS
Theoretical Computer Science	0/2/0	Prof. Baader, Dr. Lippmann	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
German	0/2/0	N. N.	TUDIAS
Knowledge Representation and Reasoning	0/2/0	Prof. Hölldobler	AI
Lab Course Modeling and Automated Verification	0/2/0	Prof. Baier	ThCS
Selected Topics in Logics and Verification	0/2/0	Prof. Baier	ThCS
Practical Planning for Angry Birds	0/2/0	Prof. Rudolph	AI
Seminar Abstract Argumentation	0/2/0	Dr. Gaggl	AI
Seminar Selected Topics in Logic and Verification	0/2/0	Prof. Baier	ThCS
Theoretical Computer Science	0/2/0	Prof. Baader, Dr. Lippmann	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 Theoretical Computer Science	0/0/4	Prof. Baader, Dr. Turhan	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).