Marktoberdorf 2025
1 minutes
August 6, 2025
Ten days of lectures on software verification in the Bavarian countryside, together with PhD students from all over the world. Between sessions, good food, games of pool, concerts, and hikes. I went for the long hike in Austria. Maybe about 20 km?