BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:How Hilbert met Isabelle: Proof Between Generations - Marco David 
 (École Normale Supérieure de Paris)
DTSTART:20230126T170000Z
DTEND:20230126T180000Z
UID:TALK192545@talks.cam.ac.uk
CONTACT:Angeliki Koutsoukou-Argyraki
DESCRIPTION:In late 2017\, a group of then first-year students started for
 malizing the mathematics around Hilbert's Tenth Problem with Isabelle. A p
 ilot project in many ways\, we learned how to use proof assistants for lea
 rning mathematics and for doing contemporary research\, in constant intera
 ction with the computer. Five years later\, we will look back on this inte
 rgenerational work\, the lessons learned\, and give an outlook on new oppo
 rtunities.\n\nWATCH ONLINE HERE:\nhttps://www.microsoft.com/en-gb/microsof
 t-teams/join-a-meeting?rtc=1\nMeeting ID: 379 992 884 209 \nPasscode: TYR8
 Sh
LOCATION:  Centre for Mathematical Sciences MR12\, CMS
END:VEVENT
END:VCALENDAR