Welcome to Proof
Proof took place in Bern, Switzerland from September 9-13, 2013. This meeting gathered about fifty leading researchers who are actively involved with the concept of proof in theory and practice. Here you find thumbnails of some pictures. Click to enlarge.
Invited chairs, discussion leaders, speakers and young researchers
