Max-Planck-Institut für Informatik

Secure Online
Course Registration

Register for course:
Please select the short course name for the course you want to register.
The course overview may contain courses for which you can no longer register!


Course Overview


Short Course Name

Course Name

AutReaWS17/18
AutReaWS17/18
AutReaWS18/19
AutReaWS19/20
AutReaWS20/21
DecProSS19

Automated Reasoning WS 2017/2018
Automated Reasoning WS 2017/2018
Automated Reasoning WS 2018/2019
Automated Reasoning WS 2019/2020
Automated Reasoning Winter 2020/2021
Decision Procedures Summer 2019


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