BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//CMSA - ECPv6.15.20//NONSGML v1.0//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALNAME:CMSA
X-ORIGINAL-URL:https://cmsa.fas.harvard.edu
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:20200308T070000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:-0400
TZOFFSETTO:-0500
TZNAME:EST
DTSTART:20201101T060000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:-0500
TZOFFSETTO:-0400
TZNAME:EDT
DTSTART:20210314T070000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:-0400
TZOFFSETTO:-0500
TZNAME:EST
DTSTART:20211107T060000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:-0500
TZOFFSETTO:-0400
TZNAME:EDT
DTSTART:20220313T070000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:-0400
TZOFFSETTO:-0500
TZNAME:EST
DTSTART:20221106T060000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20210503T100000
DTEND;TZID=America/New_York:20210503T160000
DTSTAMP:20260506T154057
CREATED:20230707T172813Z
LAST-MODIFIED:20240103T100239Z
UID:10000914-1620036000-1620057600@cmsa.fas.harvard.edu
SUMMARY:Computational Biology Symposium
DESCRIPTION:On May 3\, 2021 the CMSA will be hosting a Computational Biology Symposium virtually on Zoom. This symposium will be organized by Vijay Kuchroo. \nThe symposium will begin at 10:00am ET. There will be a morning and afternoon session\, with an hour break for lunch. \nVideos of the talks can be found in this Youtube playlist. Links are also available in the schedule below.\nConfirmed participants: \n\nUri Alon\, Weizmann Institute\nElana Fertig\, Johns Hopkins\nMartin Hemberg\, Brigham and Women’s Hospital\nPeter Kharchenko\, Harvard University\nSmita Krishnaswamy\, Yale University\nJohn Marioni\, EMBL-EBI\nEran Segal\, Weizmann Institute\nMeromit Singer\, Harvard Medical School\n\nSchedule:\nPDF of the schedule    Download
URL:https://cmsa.fas.harvard.edu/event/computational-biology-symposium/
LOCATION:20 Garden Street\, Cambridge\, MA 02138\, MA\, MA\, 02138\, United States
CATEGORIES:Event
ATTACH;FMTTYPE=image/png:https://cmsa.fas.harvard.edu/media/Compbiotextlessfeature-600x338-1.png
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20210429T103000
DTEND;TZID=America/New_York:20210429T120000
DTSTAMP:20260506T154057
CREATED:20240126T062650Z
LAST-MODIFIED:20240126T062650Z
UID:10001376-1619692200-1619697600@cmsa.fas.harvard.edu
SUMMARY:4/29/2021 Quantum Matter Seminar
DESCRIPTION:
URL:https://cmsa.fas.harvard.edu/event/4-29-2021-quantum-matter-seminar/
LOCATION:MA
CATEGORIES:Quantum Matter
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20210429T090000
DTEND;TZID=America/New_York:20210429T100000
DTSTAMP:20260506T154057
CREATED:20240126T055535Z
LAST-MODIFIED:20240126T055535Z
UID:10001370-1619686800-1619690400@cmsa.fas.harvard.edu
SUMMARY:4/29/2021 Interdisciplinary Science Seminar
DESCRIPTION:
URL:https://cmsa.fas.harvard.edu/event/4-29-2021-interdisciplinary-science-seminar/
LOCATION:MA
CATEGORIES:Interdisciplinary Science Seminar
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20210428T130000
DTEND;TZID=America/New_York:20210428T143000
DTSTAMP:20260506T154057
CREATED:20240126T063658Z
LAST-MODIFIED:20240126T063658Z
UID:10001378-1619614800-1619620200@cmsa.fas.harvard.edu
SUMMARY:4/28/2021 Quantum Matter Seminar
DESCRIPTION:
URL:https://cmsa.fas.harvard.edu/event/4-28-2021-quantum-matter-seminar/
LOCATION:MA
CATEGORIES:Quantum Matter
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20210427T090000
DTEND;TZID=America/New_York:20210427T103000
DTSTAMP:20260506T154057
CREATED:20230707T172620Z
LAST-MODIFIED:20250305T174246Z
UID:10000913-1619514000-1619519400@cmsa.fas.harvard.edu
SUMMARY:CMSA Math-Science Literature Lecture: Moment maps and the Yang-Mills functional
DESCRIPTION:Frances Kirwan (University of Oxford) \nTitle: Moment maps and the Yang-Mills functional \nAbstract: In the early 1980s Michael Atiyah and Raoul Bott wrote two influential papers\, ‘The Yang-Mills equations over Riemann surfaces’ and ‘The moment map and equivariant cohomology’\, bringing together ideas ranging from algebraic and symplectic geometry through algebraic topology to mathematical physics and number theory. The aim of this talk is to explain their key insights and some of the new directions towards which these papers led. \nThis talk is part of a subprogram of the Mathematical Science Literature Lecture series\, a Memorial Conference for the founders of index theory: Atiyah\, Bott\, Hirzebruch and Singer. \nTalk chair: Peter Kronheimer \nVideo
URL:https://cmsa.fas.harvard.edu/event/cmsa-math-science-literature-lecture_kirwan/
LOCATION:Virtual
CATEGORIES:Event,Math Science Literature Lecture Series
ATTACH;FMTTYPE=image/png:https://cmsa.fas.harvard.edu/media/Lecture_Kirwan.png
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20210426T100000
DTEND;TZID=America/New_York:20210426T110000
DTSTAMP:20260506T154057
CREATED:20240126T064113Z
LAST-MODIFIED:20240126T064113Z
UID:10001381-1619431200-1619434800@cmsa.fas.harvard.edu
SUMMARY:4/26/2021 Math Physics Seminar
DESCRIPTION:
URL:https://cmsa.fas.harvard.edu/event/4-26-2021-math-physics-seminar/
LOCATION:Virtual
CATEGORIES:Mathematical Physics Seminar
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20210423T160000
DTEND;TZID=America/New_York:20210423T183000
DTSTAMP:20260506T154057
CREATED:20230707T172354Z
LAST-MODIFIED:20250328T185338Z
UID:10000912-1619193600-1619202600@cmsa.fas.harvard.edu
SUMMARY:CMSA Math-Science Literature Lecture: Indistinguishability Obfuscation: How to Hide Secrets within Software
DESCRIPTION:Amit Sahai  (UCLA) \nTitle: Indistinguishability Obfuscation: How to Hide Secrets within Software \nAbstract: At least since the initial public proposal of public-key cryptography based on computational hardness conjectures (Diffie and Hellman\, 1976)\, cryptographers have contemplated the possibility of a “one-way compiler” that translates computer programs into “incomprehensible” but equivalent forms. And yet\, the search for such a “one-way compiler” remained elusive for decades. \nIn this talk\, we look back at our community’s attempts to formalize the notion of such a compiler\, culminating in our 2001 work with Barak\, Goldreich\, Impagliazzo\, Rudich\, Vadhan\, and Yang\, which proposed the notion of indistinguishability obfuscation (iO). Roughly speaking\, iO requires that the compiled versions of any two equivalent programs (with the same size and running time) be indistinguishable to any efficient adversary. Leveraging the notion of punctured programming\, introduced in our work with Waters in 2013\, well over a hundred papers have explored the remarkable power of iO. \nWe’ll then discuss the intense effort that recently culminated in our 2020 work with Jain and Lin\, finally showing how to construct iO in such a way that\, for the first time\, we can prove the security of our iO scheme based on well-studied computational hardness conjectures in cryptography. \nTalk chair: Sergiy Verstyuk \nVideo
URL:https://cmsa.fas.harvard.edu/event/cmsa-math-science-literature-lecture_sahai/
LOCATION:Virtual
CATEGORIES:Event,Math Science Literature Lecture Series,Public Lecture,Special Lectures
ATTACH;FMTTYPE=image/jpeg:https://cmsa.fas.harvard.edu/media/Lecture_Sahai-pdf.jpeg
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20210422T103000
DTEND;TZID=America/New_York:20210422T120000
DTSTAMP:20260506T154057
CREATED:20240126T064439Z
LAST-MODIFIED:20240126T064439Z
UID:10001383-1619087400-1619092800@cmsa.fas.harvard.edu
SUMMARY:4/22/2021 Quantum Matter Seminar
DESCRIPTION:
URL:https://cmsa.fas.harvard.edu/event/4-22-2021-quantum-matter-seminar/
LOCATION:Virtual
CATEGORIES:Quantum Matter
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20210422T090000
DTEND;TZID=America/New_York:20210422T100000
DTSTAMP:20260506T154057
CREATED:20240126T063818Z
LAST-MODIFIED:20240126T063818Z
UID:10001379-1619082000-1619085600@cmsa.fas.harvard.edu
SUMMARY:4/22/2021 Interdisciplinary Science Seminar
DESCRIPTION:
URL:https://cmsa.fas.harvard.edu/event/4-22-2021-interdisciplinary-science-seminar/
LOCATION:MA
CATEGORIES:Interdisciplinary Science Seminar
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20210421T150000
DTEND;TZID=America/New_York:20210421T160000
DTSTAMP:20260506T154057
CREATED:20240126T065403Z
LAST-MODIFIED:20240515T192602Z
UID:10001388-1619017200-1619020800@cmsa.fas.harvard.edu
SUMMARY:Homotopy type theory and the quest for extensionality
DESCRIPTION:Speaker: Michael Shulman – Dept. of Mathematics\, University of San Diego \nTitle: Homotopy type theory and the quest for extensionality \nAbstract: Over the past decades\, dependent type theory has proven to be a powerful framework for verified software and formalized mathematics.  However\, its treatment of equality has always been somewhat uncomfortable.  Recently\, homotopy type theory has made progress towards a more useful notion of equality\, which natively implements both isomorphism-invariance in mathematics and representation-independence in programming. This progress is based on ideas from abstract homotopy theory and higher category theory\, and with the development of cubical type theories it can be implemented as a true programming language.  In this talk\, I will survey these developments and their potential applications\, and suggest some directions for further improvement. \n 
URL:https://cmsa.fas.harvard.edu/event/4-21-2021-new-tech-in-math-seminar/
LOCATION:Virtual
CATEGORIES:New Technologies in Mathematics Seminar
ATTACH;FMTTYPE=image/png:https://cmsa.fas.harvard.edu/media/CMSA-New-Technologies-in-Mathematics-04.21.21.png
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20210421T140000
DTEND;TZID=America/New_York:20210421T150000
DTSTAMP:20260506T154057
CREATED:20240126T072424Z
LAST-MODIFIED:20240126T072424Z
UID:10001393-1619013600-1619017200@cmsa.fas.harvard.edu
SUMMARY:4/21/2021 Random Matrix and Probability Theory Seminar
DESCRIPTION:
URL:https://cmsa.fas.harvard.edu/event/4-21-2021-random-matrix-and-probability-theory-seminar/
LOCATION:MA
CATEGORIES:Random Matrix & Probability Theory Seminar
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20210421T103000
DTEND;TZID=America/New_York:20210421T120000
DTSTAMP:20260506T154057
CREATED:20240126T063939Z
LAST-MODIFIED:20240126T063939Z
UID:10001380-1619001000-1619006400@cmsa.fas.harvard.edu
SUMMARY:4/21/2021 Quantum Matter Seminar
DESCRIPTION:
URL:https://cmsa.fas.harvard.edu/event/4-21-2021-quantum-matter-seminar/
LOCATION:Virtual
CATEGORIES:Quantum Matter
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20210420T090000
DTEND;TZID=America/New_York:20210420T103000
DTSTAMP:20260506T154057
CREATED:20230707T172100Z
LAST-MODIFIED:20250328T201355Z
UID:10000911-1618909200-1618914600@cmsa.fas.harvard.edu
SUMMARY:CMSA Math-Science Literature Lecture: The Atiyah-Singer Index Theorem
DESCRIPTION:Dan Freed (The University of Texas at Austin) \nTitle: The Atiyah-Singer Index Theorem \nAbstract: The story of the index theorem ties together the Gang of Four—Atiyah\, Bott\, Hirzebruch\, and Singer—and lies at the intersection of analysis\, geometry\, and topology. In the first part of the talk I will recount high points in the early developments. Then I turn to subsequent variations and applications. Throughout I emphasize the role of the Dirac operator. \nThis talk is part of a subprogram of the Mathematical Science Literature Lecture series\, a Memorial Conference for the founders of index theory: Atiyah\, Bott\, Hirzebruch and Singer. \nTalk chair: Cumrun Vafa \nVideo
URL:https://cmsa.fas.harvard.edu/event/cmsa-math-science-literature-lecture_freed/
LOCATION:Virtual
CATEGORIES:Event,Math Science Literature Lecture Series,Public Lecture,Special Lectures
ATTACH;FMTTYPE=image/png:https://cmsa.fas.harvard.edu/media/Lecture_Freed-1.png
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20210419T100000
DTEND;TZID=America/New_York:20210419T110000
DTSTAMP:20260506T154057
CREATED:20240126T065219Z
LAST-MODIFIED:20240126T065219Z
UID:10001387-1618826400-1618830000@cmsa.fas.harvard.edu
SUMMARY:4/19/2021 Mathematical Physics Seminar
DESCRIPTION:
URL:https://cmsa.fas.harvard.edu/event/4-19-2021-mathematical-physics-seminar/
LOCATION:Virtual
CATEGORIES:Mathematical Physics Seminar
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20210416T140000
DTEND;TZID=America/New_York:20210416T150000
DTSTAMP:20260506T154057
CREATED:20240126T064234Z
LAST-MODIFIED:20240126T064234Z
UID:10001382-1618581600-1618585200@cmsa.fas.harvard.edu
SUMMARY:4/16/2021 Random Matrix and Probability Theory Seminar
DESCRIPTION:
URL:https://cmsa.fas.harvard.edu/event/4-16-2021-random-matrix-and-probability-theory-seminar/
LOCATION:Virtual
CATEGORIES:Random Matrix & Probability Theory Seminar
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20210416T130000
DTEND;TZID=America/New_York:20210416T143000
DTSTAMP:20260506T154057
CREATED:20230707T171834Z
LAST-MODIFIED:20250328T201348Z
UID:10000910-1618578000-1618583400@cmsa.fas.harvard.edu
SUMMARY:CMSA Math-Science Literature Lecture: Deep Networks from First Principles
DESCRIPTION:Yi MaPhoto Copyright Noah Berger / 2019\n  \nYi Ma (University of California\, Berkeley) \nTitle: Deep Networks from First Principles \nAbstract: In this talk\, we offer an entirely “white box’’ interpretation of deep (convolution) networks from the perspective of data compression (and group invariance). In particular\, we show how modern deep layered architectures\, linear (convolution) operators and nonlinear activations\, and even all parameters can be derived from the principle of maximizing rate reduction (with group invariance). All layers\, operators\, and parameters of the network are explicitly constructed via forward propagation\, instead of learned via back propagation. All components of so-obtained network\, called ReduNet\, have precise optimization\, geometric\, and statistical interpretation. There are also several nice surprises from this principled approach: it reveals a fundamental tradeoff between invariance and sparsity for class separability; it reveals a fundamental connection between deep networks and Fourier transform for group invariance – the computational advantage in the spectral domain (why spiking neurons?); this approach also clarifies the mathematical role of forward propagation (optimization) and backward propagation (variation). In particular\, the so-obtained ReduNet is amenable to fine-tuning via both forward and backward (stochastic) propagation\, both for optimizing the same objective. This is joint work with students Yaodong Yu\, Ryan Chan\, Haozhi Qi of Berkeley\, Dr. Chong You now at Google Research\, and Professor John Wright of Columbia University. \nTalk chair: Harry Shum \nSlides | Video
URL:https://cmsa.fas.harvard.edu/event/cmsa-math-science-literature-lecture_ma/
LOCATION:Virtual
CATEGORIES:Event,Math Science Literature Lecture Series,Public Lecture,Special Lectures
ATTACH;FMTTYPE=image/jpeg:https://cmsa.fas.harvard.edu/media/Lecture_Ma-1-pdf.jpeg
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20210415T113000
DTEND;TZID=America/New_York:20210415T123000
DTSTAMP:20260506T154057
CREATED:20240126T064814Z
LAST-MODIFIED:20240126T064814Z
UID:10001385-1618486200-1618489800@cmsa.fas.harvard.edu
SUMMARY:4/20/2021 Computer Science for Mathematicians
DESCRIPTION:
URL:https://cmsa.fas.harvard.edu/event/4-20-2021-computer-science-for-mathematicians/
LOCATION:MA
CATEGORIES:Computer Science for Mathematicians Seminar
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20210415T103000
DTEND;TZID=America/New_York:20210415T120000
DTSTAMP:20260506T154057
CREATED:20240126T065533Z
LAST-MODIFIED:20240126T065533Z
UID:10001389-1618482600-1618488000@cmsa.fas.harvard.edu
SUMMARY:4/15/2021 Quantum Matter in Mathematics Seminar
DESCRIPTION:
URL:https://cmsa.fas.harvard.edu/event/4-15-2021-quantum-matter-in-mathematics-seminar/
LOCATION:MA
CATEGORIES:Quantum Matter
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20210415T090000
DTEND;TZID=America/New_York:20210415T100000
DTSTAMP:20260506T154057
CREATED:20240126T065040Z
LAST-MODIFIED:20240126T065040Z
UID:10001386-1618477200-1618480800@cmsa.fas.harvard.edu
SUMMARY:4/15/2021 Interdisciplinary Science Seminar
DESCRIPTION:
URL:https://cmsa.fas.harvard.edu/event/4-15-2021-interdisciplinary-science-seminar/
LOCATION:Virtual
CATEGORIES:Interdisciplinary Science Seminar
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20210414T150000
DTEND;TZID=America/New_York:20210414T160000
DTSTAMP:20260506T154057
CREATED:20240126T064644Z
LAST-MODIFIED:20240517T194855Z
UID:10001384-1618412400-1618416000@cmsa.fas.harvard.edu
SUMMARY:A Bayesian neural network predicts the dissolution of compact planetary systems
DESCRIPTION:Speaker: Miles Cranmer – Princeton University \nTitle: A Bayesian neural network predicts the dissolution of compact planetary systems \nAbstract: Despite over three hundred years of effort\, no solutions exist for predicting when a general planetary configuration will become unstable. I will discuss our deep learning architecture (arxiv:2101.04117) which pushes forward this problem for compact systems. While current machine learning algorithms in this area rely on scientist-derived instability metrics\, our new technique learns its own metrics from scratch\, enabled by a novel internal structure inspired from dynamics theory. The Bayesian neural network model can accurately predict not only if\, but also when a compact planetary system with three or more planets will go unstable. Our model\, trained directly from short N-body time series of raw orbital elements\, is more than two orders of magnitude more accurate at predicting instability times than analytical estimators\, while also reducing the bias of existing machine learning algorithms by nearly a factor of three. Despite being trained on three-planet configurations\, the model demonstrates robust generalization to five-planet systems\, even outperforming models designed for that specific set of integrations. I will also discuss some work on recovering symbolic representations of such models using arxiv:2006.11287.
URL:https://cmsa.fas.harvard.edu/event/4-14-2021-new-technologies-in-mathematics/
LOCATION:Virtual
CATEGORIES:New Technologies in Mathematics Seminar
ATTACH;FMTTYPE=image/png:https://cmsa.fas.harvard.edu/media/CMSA-New-Technologies-in-Mathematics-04.14.21.png
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20210414T103000
DTEND;TZID=America/New_York:20210414T120000
DTSTAMP:20260506T154057
CREATED:20240126T065702Z
LAST-MODIFIED:20240126T065702Z
UID:10001390-1618396200-1618401600@cmsa.fas.harvard.edu
SUMMARY:4/14/2021 Quantum Matter Seminar
DESCRIPTION:
URL:https://cmsa.fas.harvard.edu/event/4-14-2021-quantum-matter-seminar/
LOCATION:MA
CATEGORIES:Quantum Matter
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20210412T100000
DTEND;TZID=America/New_York:20210412T110000
DTSTAMP:20260506T154057
CREATED:20240126T065811Z
LAST-MODIFIED:20240126T065811Z
UID:10001391-1618221600-1618225200@cmsa.fas.harvard.edu
SUMMARY:4/12/2021 Mathematical Physics Seminar
DESCRIPTION:
URL:https://cmsa.fas.harvard.edu/event/4-12-2021-mathematical-physics-seminar/
LOCATION:MA
CATEGORIES:Mathematical Physics Seminar
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20210408T130000
DTEND;TZID=America/New_York:20210408T143000
DTSTAMP:20260506T154057
CREATED:20240126T072647Z
LAST-MODIFIED:20240126T072647Z
UID:10001395-1617886800-1617892200@cmsa.fas.harvard.edu
SUMMARY:4/8/2021 Quantum Matter Seminar
DESCRIPTION:
URL:https://cmsa.fas.harvard.edu/event/4-8-2021-quantum-matter-seminar/
LOCATION:MA
CATEGORIES:Quantum Matter
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20210408T120000
DTEND;TZID=America/New_York:20210408T130000
DTSTAMP:20260506T154057
CREATED:20240126T072252Z
LAST-MODIFIED:20240126T072252Z
UID:10001392-1617883200-1617886800@cmsa.fas.harvard.edu
SUMMARY:4/8/2021 Interdisciplinary Science Seminar
DESCRIPTION:
URL:https://cmsa.fas.harvard.edu/event/4-8-2021-interdisciplinary-science-seminar/
LOCATION:MA
CATEGORIES:Interdisciplinary Science Seminar
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20210408T090000
DTEND;TZID=America/New_York:20210408T103000
DTSTAMP:20260506T154057
CREATED:20230707T171436Z
LAST-MODIFIED:20250328T201342Z
UID:10000909-1617872400-1617877800@cmsa.fas.harvard.edu
SUMMARY:CMSA Math-Science Literature Lecture: Quantum error correcting codes and fault tolerance
DESCRIPTION:Peter Shor (MIT) \nTitle: Quantum error correcting codes and fault tolerance \nAbstract: We will go over the fundamentals of quantum error correction and fault tolerance and survey some of the recent developments in the field.\n\nTalk chair: Zhengwei Liu \nVideo
URL:https://cmsa.fas.harvard.edu/event/cmsa-math-science-literature-lecture_shor/
LOCATION:Virtual
CATEGORIES:Event,Math Science Literature Lecture Series,Public Lecture,Special Lectures
ATTACH;FMTTYPE=image/png:https://cmsa.fas.harvard.edu/media/Lecture_Shor.png
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20210407T150000
DTEND;TZID=America/New_York:20210407T160000
DTSTAMP:20260506T154057
CREATED:20240126T073259Z
LAST-MODIFIED:20240515T193258Z
UID:10001398-1617807600-1617811200@cmsa.fas.harvard.edu
SUMMARY:Type theory from the perspective of artificial intelligence
DESCRIPTION:Speaker: David McAllester – Toyota Technological Institute at Chicago \nTitle: Type theory from the perspective of artificial intelligence \nAbstract: This talk will discuss dependent type theory from the perspective of artificial intelligence and cognitive science. From an artificial intelligence perspective it will be argued that type theory is central to defining the “game” of mathematics — an action space and reward structure for pure mathematics. From a cognitive science perspective type theory provides a model of the grammar of the colloquial (natural) language of mathematics. Of particular interest is the notion of a signature-axiom structure class and the three fundamental notions of equality in mathematics — set-theoretic equality between structure elements\, isomorphism between structures\, and Birkoff and Rota’s notion of cryptomorphism between structure classes. This talk will present a version of type theory based on set-theoretic semantics and the 1930’s notion of structure and isomorphism given by the Bourbaki group of mathematicians. It will be argued that this “Bourbaki type theory” (BTT) is more natural and accessible to classically trained mathematicians than Martin-Löf type theory (MLTT). BTT avoids the Curry-Howard isomorphism and axiom J of MLTT. The talk will also discuss BTT as a model of MLTT. The BTT model is similar to the groupoid model in that propositional equality is interpreted as isomorphism but different in various details. The talk will also briefly mention initial thoughts in defining an action space and reward structure for a game of mathematics.
URL:https://cmsa.fas.harvard.edu/event/4-7-2021-new-technologies-in-mathematics-seminar/
LOCATION:MA
CATEGORIES:New Technologies in Mathematics Seminar
ATTACH;FMTTYPE=image/png:https://cmsa.fas.harvard.edu/media/CMSA-New-Technologies-in-Mathematics-04.07.21.png
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20210407T140000
DTEND;TZID=America/New_York:20210407T150000
DTSTAMP:20260506T154057
CREATED:20240126T072535Z
LAST-MODIFIED:20240126T072535Z
UID:10001394-1617804000-1617807600@cmsa.fas.harvard.edu
SUMMARY:4/7/2021 Random Matrix and Probability Theory Seminar
DESCRIPTION:
URL:https://cmsa.fas.harvard.edu/event/4-7-2021-random-matrix-and-probability-theory-seminar/
LOCATION:MA
CATEGORIES:Random Matrix & Probability Theory Seminar
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20210407T103000
DTEND;TZID=America/New_York:20210407T120000
DTSTAMP:20260506T154057
CREATED:20240126T072803Z
LAST-MODIFIED:20240126T072803Z
UID:10001396-1617791400-1617796800@cmsa.fas.harvard.edu
SUMMARY:4/7/2021 Quantum Matter in Mathematics and Physics
DESCRIPTION:
URL:https://cmsa.fas.harvard.edu/event/4-7-2021-quantum-matter-in-mathematics-and-physics/
LOCATION:MA
CATEGORIES:Quantum Matter
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20210406T113000
DTEND;TZID=America/New_York:20210406T123000
DTSTAMP:20260506T154057
CREATED:20240126T073134Z
LAST-MODIFIED:20240126T073134Z
UID:10001397-1617708600-1617712200@cmsa.fas.harvard.edu
SUMMARY:4/6/2021 Computer Science for Mathematicians
DESCRIPTION:
URL:https://cmsa.fas.harvard.edu/event/4-6-2021-computer-science-for-mathematicians/
LOCATION:MA
CATEGORIES:Computer Science for Mathematicians Seminar
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20210406T090000
DTEND;TZID=America/New_York:20210427T103000
DTSTAMP:20260506T154057
CREATED:20230707T171215Z
LAST-MODIFIED:20250409T192611Z
UID:10000908-1617699600-1619519400@cmsa.fas.harvard.edu
SUMMARY:Memorial Conference for the founders of index theory: Atiyah\, Bott\, Hirzebruch\, and Singer
DESCRIPTION:In 2021\, the CMSA hosted a lecture series on the literature of the mathematical sciences. This series highlights significant accomplishments in the intersection between mathematics and the sciences. Speakers include Edward Witten\, Lydia Bieri\, Simon Donaldson\, Michael Freedman\, Dan Freed\, and many more. \nVideos of these talks can be found in this Youtube playlist. \n \nIn the Spring 2021 semester\, the CMSA hosted a sub-program on this series titled A Memorial Conference for the founders of index theory: Atiyah\, Bott\, Hirzebruch and Singer. Below is the schedule for talks in that subprogram \nApril 6\, 2021 | 9:00 – 10:30am ET\n\n\n\n\nEdward Witten (IAS) \nTitle: Isadore Singer’s Work on Analytic Torsion\n\n\n\n\n\nApril 13\, 2021 | 9:00 – 10:30am ET\n\n\n\n\nClaire Voisin (College de France) \nTitle: K-theory and characteristic classes in topology and complex geometry  (a tribute to Atiyah and Hirzebruch)\n\n\n\n\n\nApril 20\, 2021 | 9:00 – 10:30am ET\n\n\n\n\nDan Freed (the University of Texas at Austin) \nTitle: The Atiyah-Singer Index Theorem\n\n\n\n\n\nApril 27\, 2021 | 9:00 – 10:30am ET\n\n\n\n\nFrances Kirwan (University of Oxford) \nTitle: Moment maps and the Yang-Mills functional
URL:https://cmsa.fas.harvard.edu/event/memorial-conference-for-the-founders-of-index-theory-atiyah-bott-hirzebruch-and-singer/
LOCATION:Virtual
CATEGORIES:Event,Math Science Literature Lecture Series,Special Lectures
END:VEVENT
END:VCALENDAR