BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Why do I write proofs? - Francisco Ferreira Ruiz (Royal Holloway\,
  University of London)
DTSTART:20250312T170000Z
DTEND:20250312T180000Z
UID:TALK225184@talks.cam.ac.uk
CONTACT:Anand Rao Tadipatri
DESCRIPTION:In this talk I explore the purpose of mechanised proofs in my 
 research in programming languages. I do not think that my reasons are very
  personal or specific\, so I hope the reasons are of interest to others. I
  will talk about three scenarios. The first illustrates how proofs clarify
  existing ideas. Then\, how certified tools can be built from formalised p
 roofs. And finally proofs serve as an exploratory tool to develop new idea
 s on a solid foundation. \n\n=== Hybrid talk ===\n\nJoin Zoom Meeting http
 s://cam-ac-uk.zoom.us/j/87143365195?pwd=SELTNkOcfVrIE1IppYCsbooOVqenzI.1\n
 \nMeeting ID: 871 4336 5195\n\nPasscode: 541180
LOCATION:MR14 Centre for Mathematical Sciences
END:VEVENT
END:VCALENDAR