BEGIN:VCALENDAR
VERSION:2.0
PRODID:researchseminars.org
CALSCALE:GREGORIAN
X-WR-CALNAME:researchseminars.org
BEGIN:VEVENT
SUMMARY:David Spivak
DTSTART;VALUE=DATE-TIME:20210204T170000Z
DTEND;VALUE=DATE-TIME:20210204T180000Z
DTSTAMP;VALUE=DATE-TIME:20210419T094713Z
UID:ToposInstituteColloquium/1
DESCRIPTION:Title: Poly: a category of remarkable abundance\nby David Sp
ivak as part of Topos Institute Colloquium\n\nAbstract: TBA\n
LOCATION:https://researchseminars.org/talk/ToposInstituteColloquium/1/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Richard Garner
DTSTART;VALUE=DATE-TIME:20210211T210000Z
DTEND;VALUE=DATE-TIME:20210211T220000Z
DTSTAMP;VALUE=DATE-TIME:20210419T094713Z
UID:ToposInstituteColloquium/2
DESCRIPTION:Title: Comodels of an algebraic theory\nby Richard Garner as
part of Topos Institute Colloquium\n\n\nAbstract\nIn 1991 Eugenio Moggi i
ntroduced the monadic approach to computational effects\; this is the mech
anism by which purely functional programming languages such as Haskell can
express computations with side-effects such as output\, input\, or intera
ction with an external store.\n\nAround 2000\, Plotkin and Power refined t
he Moggi perspective by looking not at monads\, but the equational algebra
ic theories which generate them: this amounts to specifying not just a kin
d of side-effect\, but a set of primitive operations by which one can prog
ram with these side-effects.\n\nAlgebraic theories have models\, not only
in the category of sets\, but also in any category with finite products. I
n particular\, one can look at comodels of a theory: a model in the opposi
te of the category of sets. A crucial insight of Power and Shkaravska is t
hat\, if T is a theory encoding interaction with an environment\, then a T
-comodel is a state machine providing an instance of the environment with
which T interacts.\n\nThe objective of this talk is to explain this histor
y\, and to prove a new result: the category of comodels of any algebraic t
heory T is a presheaf category [B\,Set]\, where B is a small category\, wh
ich can be computed explicitly\, that encodes the static and dynamic prope
rties of the side-effects encoded by T.\n
LOCATION:https://researchseminars.org/talk/ToposInstituteColloquium/2/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Gunnar E. Carlsson
DTSTART;VALUE=DATE-TIME:20210218T170000Z
DTEND;VALUE=DATE-TIME:20210218T180000Z
DTSTAMP;VALUE=DATE-TIME:20210419T094713Z
UID:ToposInstituteColloquium/3
DESCRIPTION:Title: Relative topology\, motion planning\, and coverage proble
ms\nby Gunnar E. Carlsson as part of Topos Institute Colloquium\n\n\nA
bstract\nAlgebraic topology produces invariants that capture aspects of th
e shape of a space\, or in the case of topological data analysis. Although
these invariants are in general quite rich\, they are somewhat sparse in
low dimensions. On the other hand\, it is possible to consider comma categ
ories of spaces\, for example the category of spaces with reference to a f
ixed base space and morphisms respecting the reference map. When one does
this\, one obtains a much richer set of invariants. I will discuss how to
apply this kind of construction in the setting of evasion problems for sen
sor nets and more general motion planning problems.\n
LOCATION:https://researchseminars.org/talk/ToposInstituteColloquium/3/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Samson Abramsky
DTSTART;VALUE=DATE-TIME:20210311T170000Z
DTEND;VALUE=DATE-TIME:20210311T180000Z
DTSTAMP;VALUE=DATE-TIME:20210419T094713Z
UID:ToposInstituteColloquium/4
DESCRIPTION:Title: The logic of contextuality\nby Samson Abramsky as par
t of Topos Institute Colloquium\n\n\nAbstract\n(joint work with Rui Soares
Barbosa)\n\nContextuality is a key signature of quantum non-classicality\
, which has been shown to play a central role in enabling quantum advantag
e for a wide range of information-processing and computational tasks.\nWe
study the logic of contextuality from a structural point of view\, in the
setting of partial Boolean algebras introduced by Kochen and Specker in th
eir seminal work.\nThese contrast with traditional quantum logic a la Birk
hoff--von Neumann\nin that operations such as conjunction and disjunction
are partial\, only being defined in the domain where they are physically m
eaningful.\n\nWe study how this setting relates to current work on context
uality such as the sheaf-theoretic and graph-theoretic approaches.\nWe int
roduce a general free construction extending the commeasurability relation
on a partial Boolean algebra\, i.e. the domain of definition of the binar
y logical operations.\nThis construction has a surprisingly broad range of
uses.\nWe apply it in the study of a number of issues\, including:\n\n- e
stablishing the connection between the abstract measurement scenarios stud
ied in the contextuality literature and the setting of partial Boolean alg
ebras\;\n\n- formulating various contextuality properties in this setting\
, including probabilistic contextuality as well as the strong\, state-inde
pendent notion of contextuality given by Kochen--Specker paradoxes\, which
are logically contradictory statements validated by partial Boolean algeb
ras\, specifically those arising from quantum mechanics\;\n\n- investigati
ng a Logical Exclusivity Principle\, and its relation to the Probabilistic
Exclusivity Principle widely studied in recent work on contextuality\nas
a step towards closing in on the set of quantum-realisable correlations\;\
n\n- developing some work towards a logical characterisation of the Hilber
t space tensor product\, using logical exclusivity to capture some of its
salient quantum features.\n
LOCATION:https://researchseminars.org/talk/ToposInstituteColloquium/4/
END:VEVENT
BEGIN:VEVENT
SUMMARY:John Baez
DTSTART;VALUE=DATE-TIME:20210325T180000Z
DTEND;VALUE=DATE-TIME:20210325T190000Z
DTSTAMP;VALUE=DATE-TIME:20210419T094713Z
UID:ToposInstituteColloquium/5
DESCRIPTION:Title: Mathematics in the 21st century\nby John Baez as part
of Topos Institute Colloquium\n\n\nAbstract\nThe climate crisis is part o
f a bigger transformation in which humanity realizes that the Earth is a f
inite system and that no physical quantity can grow exponentially forever.
This transformation may affect mathematics — and be affected by it —
just as dramatically as the agricultural and industrial revolutions did. A
fter a review of the problems\, we discuss how mathematicians can help mak
e this transformation a bit easier\, and some ways in which mathematics ma
y change.\n
LOCATION:https://researchseminars.org/talk/ToposInstituteColloquium/5/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Dan Christensen
DTSTART;VALUE=DATE-TIME:20210401T170000Z
DTEND;VALUE=DATE-TIME:20210401T180000Z
DTSTAMP;VALUE=DATE-TIME:20210419T094713Z
UID:ToposInstituteColloquium/6
DESCRIPTION:Title: Reasoning in an ∞-topos with homotopy type theory\n
by Dan Christensen as part of Topos Institute Colloquium\n\n\nAbstract\nTh
is talk will be an introduction to homotopy type theory that will explain
how it can be used to prove theorems that hold in any ∞-topos. I will
introduce the basic ideas of type theory and give some intuition for what
these mean homotopically. I will end by giving examples of results pro
ved in homotopy type theory that tell us new results in any ∞-topos.
No prior knowledge of type theory or ∞-category theory will be assumed.
\n
LOCATION:https://researchseminars.org/talk/ToposInstituteColloquium/6/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Joachim Kock
DTSTART;VALUE=DATE-TIME:20210408T170000Z
DTEND;VALUE=DATE-TIME:20210408T180000Z
DTSTAMP;VALUE=DATE-TIME:20210419T094713Z
UID:ToposInstituteColloquium/7
DESCRIPTION:Title: Noncrossing hyperchords and free probability\nby Joac
him Kock as part of Topos Institute Colloquium\n\n\nAbstract\nFree probabi
lity is a noncommutative probability theory introduced by Voiculescu in th
e 1980s\, motivated by operator algebras and free groups\, and useful in r
andom matrix theory. Where classical independence relates to the tensor pr
oduct of algebras\, free independence relates to the free product of algeb
ras. Speicher discovered the combinatorial substrate of the theory: noncro
ssing partitions. He derived the free cumulant-moment relations from Möbi
us inversion in the incidence algebra of the lattice of noncrossing partit
ions\, and used it\, via two reduction procedures\, to model free multipli
cative convolution. A crucial ingredient\, which has no analogue in the cl
assical setting\, is the notion of Kreweras complement of a noncrossing pa
rtition. In this talk\, after a long introduction to these topics\, I will
explain some more categorical viewpoints. A first step is an operad of no
ncrossing partitions. A second step is a decomposition space (2-Segal spac
e) Y of noncrossing hyperchords\, whose simplicial structure encodes highe
r versions of Kreweras complementation. The incidence bialgebra of Y is a
direct combinatorial model for free multiplicative convolution. It is rela
ted to the previous models by the standard simplicial notion of decalage:
the first decalage of Y gives the (two-sided bar construction of the) oper
ad\, and the second decalage gives the lattice. These two decalages encode
precisely Speicher's two reductions.\n\nThis is joint work with Kurusch E
brahimi-Fard\, Loïc Foissy\, and Frédéric Patras.\n
LOCATION:https://researchseminars.org/talk/ToposInstituteColloquium/7/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Emily Riehl
DTSTART;VALUE=DATE-TIME:20210506T170000Z
DTEND;VALUE=DATE-TIME:20210506T180000Z
DTSTAMP;VALUE=DATE-TIME:20210419T094713Z
UID:ToposInstituteColloquium/8
DESCRIPTION:Title: Contractibility as uniqueness\nby Emily Riehl as part
of Topos Institute Colloquium\n\nInteractive livestream: https://topos-in
stitute.zoom.us/j/5344862882\nPassword hint: The 5th Fermat prime\nView-on
ly livestream: https://youtu.be/VdxdQiucJe8\n\nAbstract\nWhat does it mean
for something to exist uniquely? Classically\, to say that a set A has a
unique element means that there is an element x of A and any other element
y of A equals x. When this assertion is applied to a space A\, instead of
a mere set\, and interpreted in a continuous fashion\, it encodes the sta
tement that the space A is contractible\, i.e.\, that A is continuously de
formable to a point. This talk will explore this notion of contractibility
as uniqueness and its role in generalizing from ordinary categories to in
finite-dimensional categories.\n
LOCATION:https://researchseminars.org/talk/ToposInstituteColloquium/8/
URL:https://topos-institute.zoom.us/j/5344862882
URL:https://youtu.be/VdxdQiucJe8
END:VEVENT
BEGIN:VEVENT
SUMMARY:Maria Emilia Maietti
DTSTART;VALUE=DATE-TIME:20210513T170000Z
DTEND;VALUE=DATE-TIME:20210513T180000Z
DTSTAMP;VALUE=DATE-TIME:20210419T094713Z
UID:ToposInstituteColloquium/9
DESCRIPTION:Title: [Title TBA]\nby Maria Emilia Maietti as part of Topos
Institute Colloquium\n\nInteractive livestream: https://topos-institute.z
oom.us/j/5344862882\nPassword hint: The 5th Fermat prime\nAbstract: TBA\n
LOCATION:https://researchseminars.org/talk/ToposInstituteColloquium/9/
URL:https://topos-institute.zoom.us/j/5344862882
END:VEVENT
BEGIN:VEVENT
SUMMARY:Tobias Fritz
DTSTART;VALUE=DATE-TIME:20210520T170000Z
DTEND;VALUE=DATE-TIME:20210520T180000Z
DTSTAMP;VALUE=DATE-TIME:20210419T094713Z
UID:ToposInstituteColloquium/10
DESCRIPTION:Title: [Title TBA]\nby Tobias Fritz as part of Topos Instit
ute Colloquium\n\nInteractive livestream: https://topos-institute.zoom.us/
j/5344862882\nPassword hint: The 5th Fermat prime\nAbstract: TBA\n
LOCATION:https://researchseminars.org/talk/ToposInstituteColloquium/10/
URL:https://topos-institute.zoom.us/j/5344862882
END:VEVENT
BEGIN:VEVENT
SUMMARY:Michael Shulman
DTSTART;VALUE=DATE-TIME:20210603T170000Z
DTEND;VALUE=DATE-TIME:20210603T180000Z
DTSTAMP;VALUE=DATE-TIME:20210419T094713Z
UID:ToposInstituteColloquium/11
DESCRIPTION:Title: [Title TBA]\nby Michael Shulman as part of Topos Ins
titute Colloquium\n\nInteractive livestream: https://topos-institute.zoom.
us/j/5344862882\nPassword hint: The 5th Fermat prime\nAbstract: TBA\n
LOCATION:https://researchseminars.org/talk/ToposInstituteColloquium/11/
URL:https://topos-institute.zoom.us/j/5344862882
END:VEVENT
BEGIN:VEVENT
SUMMARY:Steve Awodey
DTSTART;VALUE=DATE-TIME:20210527T170000Z
DTEND;VALUE=DATE-TIME:20210527T180000Z
DTSTAMP;VALUE=DATE-TIME:20210419T094713Z
UID:ToposInstituteColloquium/12
DESCRIPTION:Title: [Title TBA]\nby Steve Awodey as part of Topos Instit
ute Colloquium\n\nInteractive livestream: https://topos-institute.zoom.us/
j/5344862882\nPassword hint: The 5th Fermat prime\nAbstract: TBA\n
LOCATION:https://researchseminars.org/talk/ToposInstituteColloquium/12/
URL:https://topos-institute.zoom.us/j/5344862882
END:VEVENT
BEGIN:VEVENT
SUMMARY:Kathryn Hess
DTSTART;VALUE=DATE-TIME:20210624T180000Z
DTEND;VALUE=DATE-TIME:20210624T190000Z
DTSTAMP;VALUE=DATE-TIME:20210419T094713Z
UID:ToposInstituteColloquium/13
DESCRIPTION:Title: [Title TBA]\nby Kathryn Hess as part of Topos Instit
ute Colloquium\n\nInteractive livestream: https://topos-institute.zoom.us/
j/5344862882\nPassword hint: The 5th Fermat prime\nAbstract: TBA\n
LOCATION:https://researchseminars.org/talk/ToposInstituteColloquium/13/
URL:https://topos-institute.zoom.us/j/5344862882
END:VEVENT
BEGIN:VEVENT
SUMMARY:Asgar Jamneshan
DTSTART;VALUE=DATE-TIME:20210415T170000Z
DTEND;VALUE=DATE-TIME:20210415T180000Z
DTSTAMP;VALUE=DATE-TIME:20210419T094713Z
UID:ToposInstituteColloquium/14
DESCRIPTION:Title: Topos theory and measurability\nby Asgar Jamneshan a
s part of Topos Institute Colloquium\n\n\nAbstract\nIn point-free (or abst
ract) measure theory measurable spaces are replaced by $\\sigma$-complete
Boolean algebras\, measurable functions by Boolean homomorphisms\, and mea
sure spaces by measure algebras. This more general perspective has some ad
vantages over the traditional pointwise approach to measure theory. For ex
ample\, it facilitates the use of topos-theoretic techniques to study meas
urability. To this effect\, a translation process between the internal lan
guage/ logic of certain Boolean topoi and the "usual" external language/ l
ogic is required which we can accomplish by using the formalism of conditi
onal analysis. We illustrate this with some recent applications in ergodi
c theory.\n
LOCATION:https://researchseminars.org/talk/ToposInstituteColloquium/14/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Chris Heunen
DTSTART;VALUE=DATE-TIME:20210617T170000Z
DTEND;VALUE=DATE-TIME:20210617T180000Z
DTSTAMP;VALUE=DATE-TIME:20210419T094713Z
UID:ToposInstituteColloquium/15
DESCRIPTION:Title: [Title TBA]\nby Chris Heunen as part of Topos Instit
ute Colloquium\n\nInteractive livestream: https://topos-institute.zoom.us/
j/5344862882\nPassword hint: The 5th Fermat prime\nAbstract: TBA\n
LOCATION:https://researchseminars.org/talk/ToposInstituteColloquium/15/
URL:https://topos-institute.zoom.us/j/5344862882
END:VEVENT
BEGIN:VEVENT
SUMMARY:Shaowei Lin
DTSTART;VALUE=DATE-TIME:20210422T170000Z
DTEND;VALUE=DATE-TIME:20210422T180000Z
DTSTAMP;VALUE=DATE-TIME:20210419T094713Z
UID:ToposInstituteColloquium/16
DESCRIPTION:Title: Proofs as programs: challenges and strategies for progra
m synthesis\nby Shaowei Lin as part of Topos Institute Colloquium\n\nI
nteractive livestream: https://topos-institute.zoom.us/j/5344862882\nPassw
ord hint: The 5th Fermat prime\nView-only livestream: https://youtu.be/cEd
oG9h-pYg\n\nAbstract\nThe Curry-Howard correspondence between proofs and p
rograms suggests that we can exploit proof assistants for writing software
. I will discuss the challenges behind a naïve execution of this idea\, a
nd some preliminary strategies for overcoming them. As an example\, we wil
l organize higher-order information in knowledge graphs using dependent ty
pe theory\, and automate the answering of queries using a proof assistant.
In another example\, we will explore how decentralized proof assistants c
an enable mathematicians or programmers to work collaboratively on a theor
em or application. If time permits\, I will outline connections to canonic
al structures (ssreflect)\, reflection (ssreflect)\, transport\, unificati
on and universe management.\n
LOCATION:https://researchseminars.org/talk/ToposInstituteColloquium/16/
URL:https://topos-institute.zoom.us/j/5344862882
URL:https://youtu.be/cEdoG9h-pYg
END:VEVENT
BEGIN:VEVENT
SUMMARY:Geoffrey Cruttwell
DTSTART;VALUE=DATE-TIME:20210708T170000Z
DTEND;VALUE=DATE-TIME:20210708T180000Z
DTSTAMP;VALUE=DATE-TIME:20210419T094713Z
UID:ToposInstituteColloquium/17
DESCRIPTION:Title: [Title TBA]\nby Geoffrey Cruttwell as part of Topos
Institute Colloquium\n\nInteractive livestream: https://topos-institute.zo
om.us/j/5344862882\nPassword hint: The 5th Fermat prime\nAbstract: TBA\n
LOCATION:https://researchseminars.org/talk/ToposInstituteColloquium/17/
URL:https://topos-institute.zoom.us/j/5344862882
END:VEVENT
BEGIN:VEVENT
SUMMARY:Walter P Tholen
DTSTART;VALUE=DATE-TIME:20210722T170000Z
DTEND;VALUE=DATE-TIME:20210722T180000Z
DTSTAMP;VALUE=DATE-TIME:20210419T094713Z
UID:ToposInstituteColloquium/18
DESCRIPTION:Title: [Title TBA]\nby Walter P Tholen as part of Topos Ins
titute Colloquium\n\nInteractive livestream: https://topos-institute.zoom.
us/j/5344862882\nPassword hint: The 5th Fermat prime\nAbstract: TBA\n
LOCATION:https://researchseminars.org/talk/ToposInstituteColloquium/18/
URL:https://topos-institute.zoom.us/j/5344862882
END:VEVENT
BEGIN:VEVENT
SUMMARY:Marcy Robertson
DTSTART;VALUE=DATE-TIME:20210729T220000Z
DTEND;VALUE=DATE-TIME:20210729T230000Z
DTSTAMP;VALUE=DATE-TIME:20210419T094713Z
UID:ToposInstituteColloquium/19
DESCRIPTION:Title: [Title TBA]\nby Marcy Robertson as part of Topos Ins
titute Colloquium\n\nInteractive livestream: https://topos-institute.zoom.
us/j/5344862882\nPassword hint: The 5th Fermat prime\nAbstract: TBA\n
LOCATION:https://researchseminars.org/talk/ToposInstituteColloquium/19/
URL:https://topos-institute.zoom.us/j/5344862882
END:VEVENT
BEGIN:VEVENT
SUMMARY:Eugene Lerman
DTSTART;VALUE=DATE-TIME:20210610T170000Z
DTEND;VALUE=DATE-TIME:20210610T180000Z
DTSTAMP;VALUE=DATE-TIME:20210419T094713Z
UID:ToposInstituteColloquium/20
DESCRIPTION:Title: [Title TBA]\nby Eugene Lerman as part of Topos Insti
tute Colloquium\n\nInteractive livestream: https://topos-institute.zoom.us
/j/5344862882\nPassword hint: The 5th Fermat prime\nAbstract: TBA\n
LOCATION:https://researchseminars.org/talk/ToposInstituteColloquium/20/
URL:https://topos-institute.zoom.us/j/5344862882
END:VEVENT
BEGIN:VEVENT
SUMMARY:Jonathan Gorard
DTSTART;VALUE=DATE-TIME:20210429T170000Z
DTEND;VALUE=DATE-TIME:20210429T180000Z
DTSTAMP;VALUE=DATE-TIME:20210419T094713Z
UID:ToposInstituteColloquium/21
DESCRIPTION:Title: Fast Diagrammatic Reasoning and Compositional Approaches
to Fundamental Physics\nby Jonathan Gorard as part of Topos Institute
Colloquium\n\nInteractive livestream: https://topos-institute.zoom.us/j/5
344862882\nPassword hint: The 5th Fermat prime\nView-only livestream: http
s://youtu.be/F7ax0L1c2g0\n\nAbstract\nThe Wolfram Model — a discrete spa
cetime model based upon hypergraph rewriting — can be naively formalized
as a conventional double-pushout rewriting system over a partial adhesive
category of (directed) hypergraphs. However\, the abstract rewriting stru
cture of the model also permits an elegant interpretation in terms of dagg
er compact categories\, with considerable formal analogies to FdHilb and t
he foundations of categorical quantum mechanics\, yet with an additional c
ausal semantics definable in terms of a second symmetric strict partial mo
noidal structure (such that the entire system can be formalized\, for inst
ance\, in terms of a double category or a weak 2-category). In addition to
potentially defining a general categorical semantics for discrete models
of quantum gravity\, this formalism presents a fundamentally new approach
to performing efficient diagrammatic reasoning over combinatorial structur
es\, by suggesting various generalizations of the standard deductive infer
ence rules of resolution\, superposition\, paramodulation and factoring in
the Knuth-Bendix completion approach to automated theorem-proving\, and b
y making more explicit use of the causal structure of the abstract rewriti
ng system in the choice of which inference rules to apply. We show how thi
s approach can be applied to the problem of enacting fast diagrammatic sim
plification of circuits in quantum information theory\, as well as (time-p
ermitting) the problem of efficiently discretizing the Cauchy problem in n
umerical general relativity\, showcasing comparisons against some existing
software frameworks and algorithms.\n
LOCATION:https://researchseminars.org/talk/ToposInstituteColloquium/21/
URL:https://topos-institute.zoom.us/j/5344862882
URL:https://youtu.be/F7ax0L1c2g0
END:VEVENT
BEGIN:VEVENT
SUMMARY:Todd Trimble
DTSTART;VALUE=DATE-TIME:20210805T170000Z
DTEND;VALUE=DATE-TIME:20210805T180000Z
DTSTAMP;VALUE=DATE-TIME:20210419T094713Z
UID:ToposInstituteColloquium/22
DESCRIPTION:Title: [Title TBA]\nby Todd Trimble as part of Topos Instit
ute Colloquium\n\nInteractive livestream: https://topos-institute.zoom.us/
j/5344862882\nPassword hint: The 5th Fermat prime\nAbstract: TBA\n
LOCATION:https://researchseminars.org/talk/ToposInstituteColloquium/22/
URL:https://topos-institute.zoom.us/j/5344862882
END:VEVENT
BEGIN:VEVENT
SUMMARY:Pawel Sobocinski
DTSTART;VALUE=DATE-TIME:20210930T150000Z
DTEND;VALUE=DATE-TIME:20210930T160000Z
DTSTAMP;VALUE=DATE-TIME:20210419T094713Z
UID:ToposInstituteColloquium/23
DESCRIPTION:Title: [Title TBA]\nby Pawel Sobocinski as part of Topos In
stitute Colloquium\n\nInteractive livestream: https://topos-institute.zoom
.us/j/5344862882\nPassword hint: The 5th Fermat prime\nAbstract: TBA\n
LOCATION:https://researchseminars.org/talk/ToposInstituteColloquium/23/
URL:https://topos-institute.zoom.us/j/5344862882
END:VEVENT
BEGIN:VEVENT
SUMMARY:John Bourke
DTSTART;VALUE=DATE-TIME:20210909T170000Z
DTEND;VALUE=DATE-TIME:20210909T180000Z
DTSTAMP;VALUE=DATE-TIME:20210419T094713Z
UID:ToposInstituteColloquium/24
DESCRIPTION:Title: [Title TBA]\nby John Bourke as part of Topos Institu
te Colloquium\n\nInteractive livestream: https://topos-institute.zoom.us/j
/5344862882\nPassword hint: The 5th Fermat prime\nAbstract: TBA\n
LOCATION:https://researchseminars.org/talk/ToposInstituteColloquium/24/
URL:https://topos-institute.zoom.us/j/5344862882
END:VEVENT
BEGIN:VEVENT
SUMMARY:Andrew J. Blumberg
DTSTART;VALUE=DATE-TIME:20210923T170000Z
DTEND;VALUE=DATE-TIME:20210923T180000Z
DTSTAMP;VALUE=DATE-TIME:20210419T094713Z
UID:ToposInstituteColloquium/25
DESCRIPTION:Title: [Title TBA]\nby Andrew J. Blumberg as part of Topos
Institute Colloquium\n\nInteractive livestream: https://topos-institute.zo
om.us/j/5344862882\nPassword hint: The 5th Fermat prime\nAbstract: TBA\n
LOCATION:https://researchseminars.org/talk/ToposInstituteColloquium/25/
URL:https://topos-institute.zoom.us/j/5344862882
END:VEVENT
END:VCALENDAR