Secure Online
Course Registration
- Verify / Change Data -
Select the course you have registered for
<Select Course>
AutReaWS25/26
Matrikelnumber
PIN
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 2025 by
Max-Planck-Institut Informatik
|
Impressum / Imprint
|
Data Protection / Datenschutzhinweis