BEGIN:VCALENDAR
VERSION:2.0
PRODID:researchseminars.org
CALSCALE:GREGORIAN
X-WR-CALNAME:researchseminars.org
BEGIN:VEVENT
SUMMARY:Dexter Kozen (Cornell University)
DTSTART:20200527T130000Z
DTEND:20200527T140000Z
DTSTAMP:20260423T021136Z
UID:OWLS/4
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/OWLS/4/">Brz
 ozowski derivatives as distributive laws</a>\nby Dexter Kozen (Cornell Uni
 versity) as part of Online Worldwide Seminar on Logic and Semantics (OWLS)
 \n\nAbstract: TBA\n
LOCATION:https://researchseminars.org/talk/OWLS/4/
END:VEVENT
END:VCALENDAR