Winter Term 2015/16

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche
Toggle side column

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).