Logo Max Planck Institute for Informatics

Secure Online
Course Registration

- Delete Data -

With this form you will cancel your registration for this course.
Select the course you have registered for
:
Matrikelnumber
:
PIN
:



Course Overview
The course overview may contain courses for which you can no longer register!

Short Course NameCourse Name
AutReaWS25/26Automated Reasoning WS 2025/2026


Copyright 2025 by Max-Planck-Institut Informatik | Impressum / Imprint | Data Protection / Datenschutzhinweis