BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Formalised Mathematics: Obstacles and Achievements - Professor Law
 rence C. Paulson FRS (University of Cambridge)
DTSTART:20230119T170000Z
DTEND:20230119T180000Z
UID:TALK192539@talks.cam.ac.uk
CONTACT:Angeliki Koutsoukou-Argyraki
DESCRIPTION:Interest in doing mathematics by computer dates back to the 19
 50s. The talk will survey work on the mechanisation of mathematics by both
  interactive and automatic means up to the present day. Then it will focus
  in more detail on some of the latest achievements done in Isabelle/HOL an
 d Lean\, concluding with remarks on the research issues that still need to
  be overcome.\n
LOCATION:  Centre for Mathematical Sciences MR12\, CMS
END:VEVENT
END:VCALENDAR