Photos from Proof Systems for Mathematics and Verification

EPFL Campus Aerial View

Students presenting posters during a coffee break.

Auditorium with meeting participants. Speaker at the podium giving the talk.

Workshop participants engaged in discussions.