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  <p>*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.</p>\n\n  <p>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.</p>\n\n  <p>Attendance
  is free and open to the public, but we ask you to
  let us know by December 6 if you plan to come.</p
 >\n
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