Big thanks to all the speakers and the participants for joining our Summer School. We hope to see you again during the future events by the Proof Society.
As a treat, the participants of the Summer School had a trip to Rhossili and enjoyed a walk along the Welsh coastal path with stunning views. Big thanks to Arved Friedemann and Melissa Antonnelli for the beautiful photos.
We are very glad to welcome all the participants of the 2nd International Summer School on Proof Theory.
The first day began with a lecture on Universal Proof Theory by Rosalie Iemhoff, followed by Wolfram Pohlers‘ talk on Ordinal Analysis, Bounded Arithmetic lecture from our own Arnold Beckmann, introduction to Proof Mining by Paulo Oliva, Paola Bruscoli’s talk on Structural Proof Theory and Anton Setzer’s lecture on MLTT.
We were lucky with both the lovely weather and the fact that Bay Campus is located right at the seafront, so the evening brought a nice treat for everyone in a form of a BBQ at the beach. Big thanks to Arnold, Faron for their grilling and Ulrich, Rosalie, Monika, Arved, Aled, Anton, Olga and everyone else who helped with the organisation.