Quantitative Verification - Summer Term 2021
time / place
| lecture | Because of the current situation, this lecture will be held online until further notice. We will live-stream the lectures as well as provide video recordings. Lecture Times: Mon and Thu, 10-12am More information and access to the lectures via Illias: https://ilias.uni-freiburg.de/goto.php?target=crs_2072905&client_id=unifreiburg (you will reveive the password after registering via HISinOn or upon request) |
| pratice | TBA, ca. every other week in place of the Thursday lecture, via live stream. |