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

International MSc Program in Computational Logic

Lecture at the ICCLIntroduction

Motivation and Background

Course Announcement

General Course Program

Summary of Main Features

Teaching Staff

Further Information