Please note that this newsitem has been archived, and may contain outdated information or links.
12 June 2023, Master of Logic defense, Patrick Weigert
Candidate: Patrick Weigert
Title: A Program Calculus for Dynamical Systems
Date: Monday 12 June 2023
Time: 13:00
Location: Online
Supervisor: Benno van den Berg/Levin Hornischer
Please note that this newsitem has been archived, and may contain outdated information or links.