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\nThe 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\nAttendance 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