Study Prerequisites

The following prerequisites must be fulfilled by students applying for the International MSc Program in Computational Logic:

A Bachelor's Degree in Computer Science, Mathematics or a comparable university degree
English-Language certificate (for non-native speakers of English only)
- Students whose first language is not English must demonstrate competence in English. We recognize many different tests. In the most commonly available, the following minimum scores are required:
- IELTS: Level 6.0
- TOEFL: IBT (Institutional Testing Program): 550 or iBT (internet-based): 79
Certificates indicating the achievement of "good" (grade B) or "very good" (grade A) in the following areas:
- Foundations of Mathematical Logic
- Foundations of Artificial Intelligence
- Declarative Programming
- Theoretical Computer Science