BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Drupal iCal API//EN
X-WR-CALNAME:Events items teaser
X-WR-TIMEZONE:America/Toronto
BEGIN:VTIMEZONE
TZID:America/Toronto
X-LIC-LOCATION:America/Toronto
BEGIN:DAYLIGHT
TZNAME:EDT
TZOFFSETFROM:-0500
TZOFFSETTO:-0400
DTSTART:20180311T070000
END:DAYLIGHT
BEGIN:STANDARD
TZNAME:EST
TZOFFSETFROM:-0400
TZOFFSETTO:-0500
DTSTART:20171105T060000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
UID:69dafa71c13df
DTSTART;TZID=America/Toronto:20180522T140000
SEQUENCE:0
TRANSP:TRANSPARENT
DTEND;TZID=America/Toronto:20180522T140000
URL:https://uwaterloo.ca/computer-science/events/seminar-formal-methods-eve
 rythings-bigger-texas-largest-math
LOCATION:DC - William G. Davis Computer Research Centre 200 University Aven
 ue West 1304 Waterloo ON N2L 3G1 Canada
SUMMARY:Seminar • Formal Methods — Everything’s Bigger in Texas: “T
 he\nLargest Math Proof Ever”
CLASS:PUBLIC
DESCRIPTION:MARIJN HEULE\, RESEARCH ASSISTANT PROFESSOR\n_University of Tex
 as at Austin_\n\nProgress in satisfiability (SAT) solving has enabled answ
 ering\nlong-standing open questions in mathematics completely automaticall
 y\,\nresulting in clever though potentially gigantic proofs. We illustrate
 \nthe success of this approach by presenting the solution of the Boolean\n
 Pythagorean triples problem. We also produced and validated a proof of\nth
 e solution\, which has been called the \"largest math proof ever.\" 
DTSTAMP:20260412T015041Z
END:VEVENT
END:VCALENDAR