BEGIN:VCALENDAR
VERSION:2.0
PRODID:researchseminars.org
CALSCALE:GREGORIAN
X-WR-CALNAME:researchseminars.org
BEGIN:VEVENT
SUMMARY:Neil Barton (Universität Konstanz)
DTSTART:20201209T150000Z
DTEND:20201209T163000Z
DTSTAMP:20260423T022005Z
UID:BCNSETS/6
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/BCNSETS/6/">
 Intensional classes and intuitionistic topoi</a>\nby Neil Barton (Universi
 tät Konstanz) as part of Barcelona Set Theory Seminar\n\nAbstract: TBA\n
LOCATION:https://researchseminars.org/talk/BCNSETS/6/
END:VEVENT
END:VCALENDAR