Videos of the Lectures
GTAPS-2024-05-09 + Technical Intermezzos on Fixpoints and LTL (these are from last year, since the recording did not work)
GTAPS-2024-05-09 + Technical Intermezzos on Fixpoints and LTL (these are from last year, since the recording did not work)