BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//6AM City//Pittsburgh Morning News//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
BEGIN:VEVENT
UID:evt_441S6CAtKftj-20261119T190000Z@pittsburghmorning.com
DTSTAMP:20261112T142800Z
DTSTART:20261119T190000Z
DTEND:20261119T210000Z
SUMMARY:Doctoral Thesis Oral Defense - Joshua Clune
LOCATION:Gates and Hillman Centers 6501\, 4902 Forbes Avenue\, Pittsburgh\,
  PA 15213
DESCRIPTION:Speaker: JOSHUA CLUNE\, Ph.D. Candidate\, Computer Science Depa
 rtment\, Carnegie Mellon University Talk Title: Leveraging Automated Theor
 em Provers for Lean Proof Automation Automated and interactive…
END:VEVENT
END:VCALENDAR