BEGIN:VCALENDAR
VERSION:2.0
BEGIN:VEVENT
DTSTART:20260629
DTEND:20260704
LOCATION:Norwich; United Kingdom
SUMMARY:Bridging Lean and the LMFDB
URL:https://multramate.github.io/lean-lmfdb
END:VEVENT
END:VCALENDAR