BEGIN:VCALENDAR
VERSION:2.0
PRODID:ILLC Website
X-WR-TIMEZONE:Europe/Amsterdam
BEGIN:VTIMEZONE
TZID:Europe/Amsterdam
X-LIC-LOCATION:Europe/Amsterdam
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:19700329T020000
RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=-1SU
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:19701025T030000
RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=-1SU
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
UID:/NewsandEvents/Archives/2024/newsitem/14678/9-
 --12-January-2024-Lean-Together-2024-Online
DTSTAMP:20231226T140552
SUMMARY:Lean Together 2024, Online
DTSTART;VALUE=DATE:20240109
DTEND;VALUE=DATE:20240112
LOCATION:Online
DESCRIPTION:Lean Together is an annual meeting for
  users, developers, and fans of the Lean proof ass
 istant and its library mathlib. At this meeting we
  discuss ongoing projects in formalized mathematic
 s and software verification, as well as infrastruc
 ture and outreach for Lean and its community. We w
 elcome participants from other proof assistant com
 munities, as well as people who are inexperienced 
 with proof assistants but want to learn more.
X-ALT-DESC;FMTTYPE=text/html:\n  <p>Lean Together 
 is an annual meeting for users, developers, and fa
 ns of the Lean proof assistant and its library mat
 hlib. At this meeting we discuss ongoing projects 
 in formalized mathematics and software verificatio
 n, as well as infrastructure and outreach for Lean
  and its community. We welcome participants from o
 ther proof assistant communities, as well as peopl
 e who are inexperienced with proof assistants but 
 want to learn more.</p>\n
URL:https://leanprover-community.github.io/lt2024/
CONTACT:David Thrane Christiansen at david at lean
 -fro.org
CONTACT:Robert Y. Lewis at robert_lewis at brown.e
 du
CONTACT:Patrick Massot at patrick.massot at math.c
 nrs.fr
END:VEVENT
END:VCALENDAR