BEGIN:VCALENDAR
VERSION:2.0
PRODID:researchseminars.org
CALSCALE:GREGORIAN
X-WR-CALNAME:researchseminars.org
BEGIN:VEVENT
SUMMARY:Corrine Yap
DTSTART:20200911T174000Z
DTEND:20200911T184000Z
DTSTAMP:20260422T212709Z
UID:Pizza/1
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/Pizza/1/">Ma
 thematics of Apportionment\, or Why We Can't Have Nice Things</a>\nby Corr
 ine Yap as part of Pizza Seminar\n\n\nAbstract\nHow are the delegates in t
 he U.S. House of Representatives assigned? Why does Georgia get 14 while A
 labama gets 7? What makes an apportionment method nice\, how nice is the s
 ystem we have now\, and can we do better? Don't be too optimistic because 
 (spoiler) we can't really have nice things. In this talk\, we'll prove why
  there isn't a "perfect" system of apportionment. If time permits\, we'll 
 also look at voting systems and discover why we can't have nice things the
 re either.\n
LOCATION:https://researchseminars.org/talk/Pizza/1/
END:VEVENT
BEGIN:VEVENT
SUMMARY:George Spahn
DTSTART:20200918T174000Z
DTEND:20200918T184000Z
DTSTAMP:20260422T212709Z
UID:Pizza/2
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/Pizza/2/">Ho
 w to do math on a supercomputer</a>\nby George Spahn as part of Pizza Semi
 nar\n\n\nAbstract\nI will talk about my summer internship at Lawrence Live
 rmore Lab. Learn how to help physicists make a quantum computer by solving
  many differential equations for them! Learn about how to speedup the solv
 ing of the differential equations by using really really big computers! Le
 arn about my inconsequential results!\n
LOCATION:https://researchseminars.org/talk/Pizza/2/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Jason Saied
DTSTART:20200925T174000Z
DTEND:20200925T184000Z
DTSTAMP:20260422T212709Z
UID:Pizza/3
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/Pizza/3/">In
 troduction to Quantum Computing</a>\nby Jason Saied as part of Pizza Semin
 ar\n\n\nAbstract\nThe term "quantum computing" (and\, more generally\, any
 thing with the word "quantum" in it) is thrown around a lot by mathematici
 ans and scientists who want to sound smart. In order to understand what th
 ey were talking about\, I started reading a book about quantum computing. 
 I decided to talk about it at pizza seminar so that you\, too\, could try 
 to sound smart. I will attempt to explain the postulates of quantum mechan
 ics and basic notions in quantum computing. We will then discuss the specu
 lated strengths of quantum computers\, along with some of the inherent dif
 ficulties. I will try to address some concepts with fancy-sounding names t
 hat often generate misconceptions\, like quantum teleportation and the no-
 cloning theorem. Also\, please note that all of my knowledge is from the f
 irst few chapters of Nielsen and Chuang\, so if you already know about qua
 ntum computing\, you probably know more than I do.\n
LOCATION:https://researchseminars.org/talk/Pizza/3/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Brooke Ogrodnik
DTSTART:20201030T174000Z
DTEND:20201030T184000Z
DTSTAMP:20260422T212709Z
UID:Pizza/4
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/Pizza/4/">Sc
 ary Stories to Tell in the Pizza Seminar</a>\nby Brooke Ogrodnik as part o
 f Pizza Seminar\n\n\nAbstract\nThis talk will touch on Halloween adjacent 
 math. The main focus of the talk will be about data poisoning training dat
 a in neural networks but will quickly get off-topic.\n
LOCATION:https://researchseminars.org/talk/Pizza/4/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Louis Gaudet
DTSTART:20201002T174000Z
DTEND:20201002T184000Z
DTSTAMP:20260422T212709Z
UID:Pizza/5
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/Pizza/5/">Di
 richlet’s theorem + ghosts + a surprise</a>\nby Louis Gaudet as part of 
 Pizza Seminar\n\n\nAbstract\nP. G. L. Dirichlet is considered by many to h
 ave created the field of analytic number theory in 1837 when he used analy
 tic methods to prove the infinitude of primes in arithmetic progressions. 
 I think it’s a fantastic proof---we’ll go through it together\, and (t
 ime permitting) we’ll take a closer look at the remarkable properties of
  the L-functions involved. (Spoiler alert: these L-functions may be haunte
 d!) Lastly\, I’ll make sure to take a brief intermission during the talk
  to show you something completely unrelated—I want to share a bit of how
  I’ve been “staying sane” during the quarantine...\n
LOCATION:https://researchseminars.org/talk/Pizza/5/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Quentin Dubroff
DTSTART:20201023T174000Z
DTEND:20201023T184000Z
DTSTAMP:20260422T212709Z
UID:Pizza/7
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/Pizza/7/">To
 o acute to be true?</a>\nby Quentin Dubroff as part of Pizza Seminar\n\n\n
 Abstract\nIn the late 1940s\, Paul Erdos asked the following innocent-look
 ing question: How many points can one place in R^n such that all angles fo
 rmed by any three are acute? This question was only (mostly) settled in th
 e last few years\, and the path to its resolution is marked with a number 
 of beautiful arguments and surprising twists. I will retell this story\, h
 ighlighting some of the most interesting parts. As a bonus\, I will be giv
 ing cute facts\, some real\, some made-up\, and the audience will be able 
 to vote on whether the fact is too cute to be true.\n
LOCATION:https://researchseminars.org/talk/Pizza/7/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Leonidas Daskalakis
DTSTART:20201016T174000Z
DTEND:20201016T184000Z
DTSTAMP:20260422T212709Z
UID:Pizza/8
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/Pizza/8/">Th
 e Haar measure</a>\nby Leonidas Daskalakis as part of Pizza Seminar\n\n\nA
 bstract\nThe focus of this talk is to prove the existence of the Haar meas
 ure. The main result is the following: For every locally compact Hausdorff
  topological group there exists a non-trivial left translation-invariant m
 easure on the Borel algebra (with even more nice properties which we will 
 discuss). That might sound a bit intimidating\, but we will make it. I wil
 l try to include examples and if we have time\, we can discuss convolution
  in this general setting.\n
LOCATION:https://researchseminars.org/talk/Pizza/8/
END:VEVENT
BEGIN:VEVENT
SUMMARY:James Holland
DTSTART:20201106T184000Z
DTEND:20201106T194000Z
DTSTAMP:20260422T212709Z
UID:Pizza/9
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/Pizza/9/">Pl
 aying games smh 🤦</a>\nby James Holland as part of Pizza Seminar\n\n\nA
 bstract\nWhat's more fun than playing games?  Knowing that they're pointle
 ss!  In this talk I will give some examples of games that are determined i
 n that one of the players has a winning strategy.  All of this turns out t
 o be a part of a larger theory and active program of figuring out what kin
 ds of games are determined and (more importantly) why.\n
LOCATION:https://researchseminars.org/talk/Pizza/9/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Sumeet Khandelwal
DTSTART:20201113T184000Z
DTEND:20201113T194000Z
DTSTAMP:20260422T212709Z
UID:Pizza/10
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/Pizza/10/">T
 he Hairy Ball Theorem</a>\nby Sumeet Khandelwal as part of Pizza Seminar\n
 \n\nAbstract\nThe focus of this talk is representation of Clifford algebra
  and geometry to show some results for maximum number of independent vecto
 r field on n-sphere. I will present a simple proof of the "hairy ball theo
 rem" (exact result for 2-sphere)\, which says that a ball cannot be contin
 uously covered with hairs that are all flattened that uses ideas from alge
 braic topology. The talk will then cover spinors which are spin representa
 tion of Clifford algebra. Using some basic results in representation theor
 y of Clifford algebras another easy solution will be presented to prove th
 e existence of the above number of independent vector field in n-sphere.\n
LOCATION:https://researchseminars.org/talk/Pizza/10/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Forrest Thurman
DTSTART:20201120T184000Z
DTEND:20201120T194000Z
DTSTAMP:20260422T212709Z
UID:Pizza/11
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/Pizza/11/">T
 he Kissing Number Problem\, Spherical Codes\, and Designs</a>\nby Forrest 
 Thurman as part of Pizza Seminar\n\n\nAbstract\nWhat's the maximum number 
 of unit spheres that can touch or "kiss" a given unit sphere without any o
 f them overlapping? This problem is currently only solved in dimensions 1\
 ,2\,3\,4\,8\,and 24. We will cover the (surprisingly simple) proof in dime
 nsions 8 and 24 and what's so special about the optimal configuration in t
 hese dimensions that makes the proof possible.\n
LOCATION:https://researchseminars.org/talk/Pizza/11/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Kasumi et al.
DTSTART:20201211T184000Z
DTEND:20201211T194000Z
DTSTAMP:20260422T212709Z
UID:Pizza/12
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/Pizza/12/">F
 ive Minute Talks</a>\nby Kasumi et al. as part of Pizza Seminar\n\nAbstrac
 t: TBA\n
LOCATION:https://researchseminars.org/talk/Pizza/12/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Brian Pinsky
DTSTART:20210129T184000Z
DTEND:20210129T194000Z
DTSTAMP:20260422T212709Z
UID:Pizza/13
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/Pizza/13/">S
 ome weaker forms of the axiom of choice</a>\nby Brian Pinsky as part of Pi
 zza Seminar\n\nAbstract: TBA\n
LOCATION:https://researchseminars.org/talk/Pizza/13/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Takehiko Gappo
DTSTART:20210205T184000Z
DTEND:20210205T194000Z
DTSTAMP:20260422T212709Z
UID:Pizza/14
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/Pizza/14/">M
 odel Theory behind Automated Theorem Proving</a>\nby Takehiko Gappo as par
 t of Pizza Seminar\n\n\nAbstract\nIn 2011\, a Japanese research institute 
 started a project called “Todai Robot Project – Can a Robot Pass the U
 niversity of Tokyo Entrance Exam?” To solve math problems\, their artifi
 cial intelligence heavily relied on an algorithm for quantifier eliminatio
 n for real closed fields\, which was first discovered by Tarski in 1930’
 s and regarded as one of the earliest theorems in model theory. In this ta
 lk\, I’m going to introduce very basic model theory to explain what Tars
 ki proved and how to use it. Of course\, I’ll talk about the result of T
 odai Robot Project too.\n
LOCATION:https://researchseminars.org/talk/Pizza/14/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Baozhi Louw
DTSTART:20210212T184000Z
DTEND:20210212T194000Z
DTSTAMP:20260422T212709Z
UID:Pizza/15
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/Pizza/15/">M
 ethod of Continuity and Linear elliptic PDEs</a>\nby Baozhi Louw as part o
 f Pizza Seminar\n\n\nAbstract\nI will introduce what is elliptic PDE and M
 ethod of Continuity. And using these materials as a concrete example\, we 
 will see what we want to prove in the PDE Theory\, for example\, priori es
 timates. And we will see somehow why estimates are important in PDE Theory
 . The talk may include a detailed proof of a functional analysis lemme whi
 ch is the base of method of continuity and a detailed application of that 
 lemme\, and some big pictures of PDE Theory.\n
LOCATION:https://researchseminars.org/talk/Pizza/15/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Leonidas Daskalakis
DTSTART:20210219T184000Z
DTEND:20210219T194000Z
DTSTAMP:20260422T212709Z
UID:Pizza/16
DESCRIPTION:by Leonidas Daskalakis as part of Pizza Seminar\n\nAbstract: T
 BA\n
LOCATION:https://researchseminars.org/talk/Pizza/16/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Ishaan Shah
DTSTART:20210226T184000Z
DTEND:20210226T194000Z
DTSTAMP:20260422T212709Z
UID:Pizza/17
DESCRIPTION:by Ishaan Shah as part of Pizza Seminar\n\nAbstract: TBA\n
LOCATION:https://researchseminars.org/talk/Pizza/17/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Edna Jones
DTSTART:20210312T184000Z
DTEND:20210312T194000Z
DTSTAMP:20260422T212709Z
UID:Pizza/18
DESCRIPTION:by Edna Jones as part of Pizza Seminar\n\nAbstract: TBA\n
LOCATION:https://researchseminars.org/talk/Pizza/18/
END:VEVENT
END:VCALENDAR
