Media and Outreach
October 2021: We launched an animation "Fundamental Computing: Mathematics and logic for software we can all rely on" developed in collaboration with Anne Mérat.
April 2021: A “lespaket” on Program Correctness was produced by Jorge Peréz in collaboration with the Scholierenacademie: see here for details.
Feb 2020: We developed a poster "Software is everywhere!" in collaboration with Anne Mérat.
|Last modified:||15 February 2023 4.39 p.m.|