BEGIN:VCALENDAR
VERSION:2.0
PRODID:researchseminars.org
CALSCALE:GREGORIAN
X-WR-CALNAME:researchseminars.org
BEGIN:VEVENT
SUMMARY:Antonin Kucera (Masaryk University)
DTSTART:20201021T140000Z
DTEND:20201021T150000Z
DTSTAMP:20260423T021131Z
UID:OWLS/9
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/OWLS/9/">Eff
 icient analysis of VASS termination complexity</a>\nby Antonin Kucera (Mas
 aryk University) as part of Online Worldwide Seminar on Logic and Semantic
 s (OWLS)\n\nAbstract: TBA\n
LOCATION:https://researchseminars.org/talk/OWLS/9/
END:VEVENT
END:VCALENDAR