BEGIN:VCALENDAR
VERSION:2.0
PRODID:researchseminars.org
CALSCALE:GREGORIAN
X-WR-CALNAME:researchseminars.org
BEGIN:VEVENT
SUMMARY:Vasilii Nesterov
DTSTART:20260119T144500Z
DTEND:20260119T151500Z
DTSTAMP:20260420T024851Z
UID:LT2026/2
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/LT2026/2/">V
 erified computation of real asymptotics</a>\nby Vasilii Nesterov as part o
 f Lean Together 2026\n\nAbstract: TBA\n
LOCATION:https://researchseminars.org/talk/LT2026/2/
END:VEVENT
END:VCALENDAR
