BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//University of Utah Math Department//Formal Proof//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALNAME:Formal Proof
X-WR-CALDESC:Formal Proof at University of Utah Mathematics Department
X-WR-TIMEZONE:America/Denver
BEGIN:VEVENT
UID:20211111T160000-thomas-hales@math.utah.edu
DTSTART;TZID=America/Denver:20211111T160000
DTEND;TZID=America/Denver:20211111T170000
DTSTAMP:20260922T150858Z
SUMMARY:Formal Proof
DESCRIPTION:Speaker: Thomas Hales\, University of Pittsburgh\n\nA formally verified proof is a proof that has been checked by software to be free of errors. The software is based on the foundational axioms and rules of logic of mathematics. This talk will give a survey of this field of research, including some of the recent theorems that have been formally …

LOCATION:JWB 335

URL:https://www.math.utah.edu/research/colloquia/2021-11-11-thomas-hales/
END:VEVENT
END:VCALENDAR