Secure Online Course Registration

Register for course:

Please select the short course name for the course you want to register.

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

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

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