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

International MSc Program in Computational Logic

Lecture at the ICCL
Lecture at the ICCL
Introduction

Motivation and Background

Course Announcement

General Course Program

Summary of Main Features

Teaching Staff

Further Information

See also the Sponsors of the International MSc Program