BEGIN:VCALENDAR
VERSION:2.0
PRODID:icalendar-ruby
CALSCALE:GREGORIAN
BEGIN:VTIMEZONE
TZID:America/Chicago
BEGIN:DAYLIGHT
DTSTART:20260308T030000
TZOFFSETFROM:-0600
TZOFFSETTO:-0500
RRULE:FREQ=YEARLY;BYDAY=2SU;BYMONTH=3
TZNAME:CDT
END:DAYLIGHT
BEGIN:STANDARD
DTSTART:20261101T010000
TZOFFSETFROM:-0500
TZOFFSETTO:-0600
RRULE:FREQ=YEARLY;BYDAY=1SU;BYMONTH=11
TZNAME:CST
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTAMP;TZID=America/Chicago:20260825T220105
UID:223977@calendar.wisc.edu
DTSTART;TZID=America/Chicago:20260904T100000
DTEND;TZID=America/Chicago:20260904T113000
DESCRIPTION:A tutorial on machine-verified proofs. This tutorial introduces
  the Lean interactive theorem prover\, a programming language for writing 
 mathematical definitions\, theorems\, and machine-checked proofs. Lean has
  recently become infrastructure for AI: Google DeepMind\, OpenAI\, and Ant
 hropic all announced research-level mathematical results whose proofs were
  formalized as Lean code. After a live introduction to writing lean proofs
 \, participants will get hands-on experience formalizing results from math
 ematics and computer science.\n\nCONTACT: 718-902-5854\, sjain298@wisc.edu
 \n\nONLINE: https://uwmadison.zoom.us/j/7296629855
LOCATION:6618 Morgridge Hall  (Also offered online)
SUMMARY:Formal Verification in Lean
END:VEVENT
END:VCALENDAR