BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//CMSA - ECPv6.18.0//NONSGML v1.0//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-ORIGINAL-URL:https://live-hu-cmsa-222.pantheonsite.io
X-WR-CALDESC:Events for CMSA
REFRESH-INTERVAL;VALUE=DURATION:PT1H
X-Robots-Tag:noindex
X-PUBLISHED-TTL:PT1H
BEGIN:VTIMEZONE
TZID:America/New_York
BEGIN:DAYLIGHT
TZOFFSETFROM:-0500
TZOFFSETTO:-0400
TZNAME:EDT
DTSTART:20250309T070000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:-0400
TZOFFSETTO:-0500
TZNAME:EST
DTSTART:20251102T060000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:-0500
TZOFFSETTO:-0400
TZNAME:EDT
DTSTART:20260308T070000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:-0400
TZOFFSETTO:-0500
TZNAME:EST
DTSTART:20261101T060000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:-0500
TZOFFSETTO:-0400
TZNAME:EDT
DTSTART:20270314T070000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:-0400
TZOFFSETTO:-0500
TZNAME:EST
DTSTART:20271107T060000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20261028T140000
DTEND;TZID=America/New_York:20261028T150000
DTSTAMP:20261014T203530Z
CREATED:20260729T194034Z
LAST-MODIFIED:20261014T203530Z
UID:10004015-1793196000-1793199600@live-hu-cmsa-222.pantheonsite.io
SUMMARY:The IEANTN Project: Automation and Mathematical Understanding
DESCRIPTION:New Technologies in Mathematics Seminar \nSpeaker: Xinjie He\, UCLA \nTitle: The IEANTN Project: Automation and Mathematical Understanding \nAbstract: Explicit analytic number theory combines conceptual arguments with extensive bookkeeping and numerical computation\, often drawing on long chains of results across many papers. The Integrated Explicit Analytic Number Theory Network (IEANTN) aims to organize this literature into a living network whose dependencies and supporting evidence are explicit. \nIn this talk\, I will discuss how we redesigned IEANTN from its 1.0 version\, which put everything in a single Lean repository that was hard to maintain and rebuild as auto-formalization produces increasingly large proofs\, to its current 2.0 version\, which solves this problem by separating readable mathematical statements from verified proofs and recording different levels of justification. \nFinally\, I will discuss what we hope to automate and what we want to understand ourselves. By organizing the literature into a network\, we hope to make the mathematical ideas and relationships easier to see\, and leave the detailed bookkeeping to machines. \n 
URL:https://live-hu-cmsa-222.pantheonsite.io/event/newtech_102826/
LOCATION:Virtual
CATEGORIES:New Technologies in Mathematics Seminar
ATTACH;FMTTYPE=image/png:https://live-hu-cmsa-222.pantheonsite.io/media/2026/07/CMSA-NTM-Seminar-10.28.2026.docx-scaled.png
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20261029T090000
DTEND;TZID=America/New_York:20261029T103000
DTSTAMP:20261014T182530Z
CREATED:20260810T222440Z
LAST-MODIFIED:20261014T182530Z
UID:10004038-1793264400-1793269800@live-hu-cmsa-222.pantheonsite.io
SUMMARY:CMSA/Tsinghua Math-Science Literature Lecture: Peng Shan\, Tsinghua University
DESCRIPTION:CMSA/Tsinghua Math-Science Literature Lecture \nDate: Thursday\, October 29\, 2026 \nTime: 9:00 – 10:30 am ET \nLocation: online via Zoom Webinar \n  \nPlease register to attend.  \nZoom Webinar registration \n  \nSpeaker: Peng Shan\, Tsinghua University \nTitle: Bridging affine vertex algebras and affine Springer fibres \nAbstract: In this talk\, I would like to explain a program which aims to build relationships between affine Springer theory and representations of simple affine vertex algebras. We will discuss some explicit correspondences for admissible levels\, and formulate some new conjectures about representations of simple affine vertex algebras at nonadmissible levels and their associated varieties. This is based on joint work with Dan Xie\, Wenbin Yan and Qixian Zhao. \n  \n \n  \nOrganizers: Dan Freed\, Harvard Math & CMSA and Shing-Tung Yau\, Tsinghua University \n  \n\nBeginning in Spring 2020\, the CMSA began hosting a lecture series on literature in the mathematical sciences\, with a focus on significant developments in mathematics that have influenced the discipline\, and the lifetime accomplishments of significant scholars. \n  \n 
URL:https://live-hu-cmsa-222.pantheonsite.io/event/mathscilit2026_ps/
LOCATION:Virtual
CATEGORIES:Math Science Literature Lecture Series,Public Lecture,Special Lectures
ATTACH;FMTTYPE=image/jpeg:https://live-hu-cmsa-222.pantheonsite.io/media/2026/08/Mathlit_102926.jpg
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20261111T140000
DTEND;TZID=America/New_York:20261111T150000
DTSTAMP:20261002T132412Z
CREATED:20261002T130921Z
LAST-MODIFIED:20261002T132412Z
UID:10004053-1794405600-1794409200@live-hu-cmsa-222.pantheonsite.io
SUMMARY:New Technologies in Mathematics Seminar
DESCRIPTION:New Technologies in Mathematics Seminar \nSpeaker: Johannes von Oswald (Google)
URL:https://live-hu-cmsa-222.pantheonsite.io/event/newtech_111126/
LOCATION:Virtual
CATEGORIES:New Technologies in Mathematics Seminar
END:VEVENT
END:VCALENDAR