GTAPS-2024-05-02
GTAPS-2024-05-06
GTAPS-2024-05-09 + Technical Intermezzos on Fixpoints and LTL (these are from last year, since the recording did not work)
GTAPS-2024-05-14
GTAPS-2024-05-16
GTAPS-2024-05-20