BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//jEvents 2.0 for Joomla//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
BEGIN:VTIMEZONE
TZID:America/New_York
BEGIN:STANDARD
DTSTART:20221106T010000
RDATE:20230312T030000
TZOFFSETFROM:-0400
TZOFFSETTO:-0500
TZNAME:America/New_York EST
END:STANDARD
BEGIN:STANDARD
DTSTART:20231105T010000
RDATE:20240310T030000
TZOFFSETFROM:-0400
TZOFFSETTO:-0500
TZNAME:America/New_York EST
END:STANDARD
BEGIN:STANDARD
DTSTART:20241103T010000
RDATE:20250309T030000
TZOFFSETFROM:-0400
TZOFFSETTO:-0500
TZNAME:America/New_York EST
END:STANDARD
BEGIN:STANDARD
DTSTART:20251102T010000
RDATE:20260308T030000
TZOFFSETFROM:-0400
TZOFFSETTO:-0500
TZNAME:America/New_York EST
END:STANDARD
BEGIN:STANDARD
DTSTART:20261101T010000
RDATE:20270314T030000
TZOFFSETFROM:-0400
TZOFFSETTO:-0500
TZNAME:America/New_York EST
END:STANDARD
BEGIN:STANDARD
DTSTART:20271107T010000
RDATE:20280312T030000
TZOFFSETFROM:-0400
TZOFFSETTO:-0500
TZNAME:America/New_York EST
END:STANDARD
BEGIN:STANDARD
DTSTART:20281105T010000
RDATE:20290311T030000
TZOFFSETFROM:-0400
TZOFFSETTO:-0500
TZNAME:America/New_York EST
END:STANDARD
BEGIN:DAYLIGHT
DTSTART:20221011T120000
RDATE:20221106T010000
TZOFFSETFROM:-0500
TZOFFSETTO:-0400
TZNAME:America/New_York EDT
END:DAYLIGHT
BEGIN:DAYLIGHT
DTSTART:20230312T030000
RDATE:20231105T010000
TZOFFSETFROM:-0500
TZOFFSETTO:-0400
TZNAME:America/New_York EDT
END:DAYLIGHT
BEGIN:DAYLIGHT
DTSTART:20240310T030000
RDATE:20241103T010000
TZOFFSETFROM:-0500
TZOFFSETTO:-0400
TZNAME:America/New_York EDT
END:DAYLIGHT
BEGIN:DAYLIGHT
DTSTART:20250309T030000
RDATE:20251102T010000
TZOFFSETFROM:-0500
TZOFFSETTO:-0400
TZNAME:America/New_York EDT
END:DAYLIGHT
BEGIN:DAYLIGHT
DTSTART:20260308T030000
RDATE:20261101T010000
TZOFFSETFROM:-0500
TZOFFSETTO:-0400
TZNAME:America/New_York EDT
END:DAYLIGHT
BEGIN:DAYLIGHT
DTSTART:20270314T030000
RDATE:20271107T010000
TZOFFSETFROM:-0500
TZOFFSETTO:-0400
TZNAME:America/New_York EDT
END:DAYLIGHT
BEGIN:DAYLIGHT
DTSTART:20280312T030000
RDATE:20281105T010000
TZOFFSETFROM:-0500
TZOFFSETTO:-0400
TZNAME:America/New_York EDT
END:DAYLIGHT
END:VTIMEZONE
BEGIN:VEVENT
UID:0511e63d03035d3a4449bd72039040c1
CATEGORIES:Mathematical Physics Seminar
CREATED:20231012T094313
SUMMARY:Alex Kontrovich - Why teach a computer how mathematicians prove theorems
LOCATION:Hill 705
DESCRIPTION:IN-PERSON MATHEMATICAL PHYSICS SEMINAR\n RUTGERS UNIVERSITY\n HILL 705\n __
 __________________________________________\nCOFFEE WILL BE AVAILABLE AT 11:
 50. THERE WILL BE A BROWN BAG LUNCH AFTER THE SEMINAR. \n \nAlex Kontrovich
  – Rutgers University\nDate/Time/Location\n Thursday, October 12th, 12:00pm
 ; Hill Center 705\n  Why teach a computer how mathematicians prove theorems
 \nWe'll describe some progress in how and why mathematics is formalized in 
 "interactive proof assistant" software, and potential applications thereof.
 \n
X-ALT-DESC;FMTTYPE=text/html:<p style="text-align: center;"><strong>IN-PERSON MATHEMATICAL PHYSICS SEMIN
 AR<br> RUTGERS UNIVERSITY<br> HILL 705<br> ________________________________
 ____________</strong></p><p style="margin-bottom: 10px; text-align: center;
 "><strong>COFFEE WILL BE AVAILABLE AT 11:50. THERE WILL</strong><strong> BE
  A BROWN BAG LUNCH AFTER THE SEMINAR. </strong></p><p style="text-align: ce
 nter; background: white;">&nbsp;</p><p style="margin-bottom: 6px; text-alig
 n: center; background: #f7f7f7;"><strong>Alex Kontrovich – Rutgers Universi
 ty</strong></p><p style="margin-bottom: 6px; text-align: center; background
 : #f7f7f7;"><strong>Date/Time/Location<br> Thursday, </strong><strong>Octob
 er 12</strong><strong>th, 12:00pm; Hill Center 705</strong></p><p style="te
 xt-align: center; background: #f7f7f7;">&nbsp;<strong>&nbsp;Why teach a com
 puter how mathematicians prove theorems</strong></p><p style="text-align: c
 enter; background: #f7f7f7;">We'll describe some progress in how and why ma
 thematics is formalized in "interactive proof assistant" software, and pote
 ntial applications thereof.</p>
CONTACT:Elie Salomon RegularLabs.EmailProtector.unCloak("ep_68a41660");
DTSTAMP:20260829T124407
DTSTART;TZID=America/New_York:20231012T120000
DTEND;TZID=America/New_York:20231012T130000
SEQUENCE:0
TRANSP:OPAQUE
END:VEVENT
END:VCALENDAR