BEGIN:VCALENDAR
VERSION:2.0
PRODID:researchseminars.org
CALSCALE:GREGORIAN
X-WR-CALNAME:researchseminars.org
BEGIN:VEVENT
SUMMARY:Siddharth Bhat
DTSTART:20260119T183000Z
DTEND:20260119T190000Z
DTSTAMP:20260420T024855Z
UID:LT2026/7
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/LT2026/7/">S
 ound & Complete Tactics for the Linear-Bitwise Fragment of Multi-Width Par
 ametric Bitvector Theory</a>\nby Siddharth Bhat as part of Lean Together 2
 026\n\nAbstract: TBA\n
LOCATION:https://researchseminars.org/talk/LT2026/7/
END:VEVENT
END:VCALENDAR