BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//6AM City//Pittsburgh Morning News//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
BEGIN:VEVENT
UID:evt_pwRowuC7ZuGb-20261104T050000Z@pittsburghmorning.com
DTSTAMP:20261102T073100Z
DTSTART;VALUE=DATE:20261104
DTEND;VALUE=DATE:20261105
SUMMARY:Formalization for Physics at ICARM
LOCATION:Studio Theater\, Jared L. Cohon University Center\, Carnegie Mello
 n University\, 5000 Forbes Ave\, Pittsburgh\, PA 15213
DESCRIPTION:The Institute for Computer-Aided Reasoning in Mathematics (ICAR
 M) at Carnegie Mellon is hosting a meeting\, Formalization for Physics\, o
 rganized by Sergey Cherkis\, Michael Douglas\, James Halverson…\n\nhttps
 ://events.cmu.edu/physics/event/35931-formalization-for-physics-at-icarmni
 ng%20&%20Workshops
URL:https://events.cmu.edu/physics/event/35931-formalization-for-physics-at
 -icarmning%20&%20Workshops
END:VEVENT
END:VCALENDAR