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/2020/newsitem/11041/6-
--10-January-2020-Formal-Methods-in-Mathematics-Le
an-Together-2020-Pittsburgh-PA-U-S-A-
DTSTAMP:20190726T165422
SUMMARY:Formal Methods in Mathematics / Lean Toget
her 2020, Pittsburgh PA, U.S.A.
DTSTART;VALUE=DATE:20200106
DTEND;VALUE=DATE:20200110
LOCATION:Pittsburgh PA, U.S.A.
DESCRIPTION:*Formal Methods in Mathematics / Lean
Together 2020* will run from Monday, January 6 to
Friday, January 10, 2020 at Carnegie Mellon Univer
sity, in Pittsburgh, Pennsylvania. The meeting is
a successor to Lean Together 2019. The first thre
e days will focus on formal methods in pure and ap
plied mathematics, including interactive theorem p
roving, automated reasoning, verification of symbo
lic and numeric computation, and general mathemati
cal infrastructure. The last two days will be devo
ted to specifically to the Lean Theorem Prover and
its core library, mathlib. Users and library deve
lopers will have opportunities to present work in
progress and discuss plans for the future. Attend
ance is free and open to the public, but we ask yo
u to let us know by December 6 if you plan to come
.
X-ALT-DESC;FMTTYPE=text/html:\n *Formal Method
s in Mathematics / Lean Together 2020* will run fr
om Monday, January 6 to Friday, January 10, 2020 a
t Carnegie Mellon University, in Pittsburgh, Penns
ylvania. The meeting is a successor to Lean Togeth
er 2019.

\n\n The first three days will foc
us on formal methods in pure and applied mathemati
cs, including interactive theorem proving, automat
ed reasoning, verification of symbolic and numeric
computation, and general mathematical infrastruct
ure. The last two days will be devoted to specific
ally to the Lean Theorem Prover and its core libra
ry, mathlib. Users and library developers will hav
e opportunities to present work in progress and di
scuss plans for the future.

\n\n Attendance
is free and open to the public, but we ask you to
let us know by December 6 if you plan to come.

URL:http://www.andrew.cmu.edu/user/avigad/meetings
/fomm2020
CONTACT:Jeremy Avigad at avigad at cmu.edu
CONTACT:Robert Y. Lewis at rob.y.lewis at gmail.co
m
END:VEVENT
END:VCALENDAR