BEGIN:VCALENDAR
VERSION:2.0
PRODID:researchseminars.org
CALSCALE:GREGORIAN
X-WR-CALNAME:researchseminars.org
BEGIN:VEVENT
SUMMARY:Ulrich Kohlenbach (Technische Universität Darmstadt)
DTSTART:20230609T140000Z
DTEND:20230609T150000Z
DTSTAMP:20260423T035930Z
UID:CALS/13
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/CALS/13/">Pr
 oof mining: Recent developments</a>\nby Ulrich Kohlenbach (Technische Univ
 ersität Darmstadt) as part of Cross Alps Logic Seminar\n\nAbstract: TBA\n
LOCATION:https://researchseminars.org/talk/CALS/13/
END:VEVENT
END:VCALENDAR