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/2019/newsitem/10313/7- --11-January-2019-Lean-together-workshop-on-the-Le an-proof-assistant-Amsterdam-The-Netherlands DTSTAMP:20181105T140508 SUMMARY:"Lean together", workshop on the Lean proo f assistant, Amsterdam, The Netherlands DTSTART;VALUE=DATE:20190107 DTEND;VALUE=DATE:20190111 LOCATION:Amsterdam, The Netherlands DESCRIPTION:From 7-11 January next year there will be a workshop on the Lean proof assistant at the Free University in Amsterdam. The workshop will i nclude introductory tutorials, scientific talks, a nd collaboration time for developers and users. Tu torials will be aimed at a mathematically experien ced audience with little background in formal meth ods. Presentation topics may include (but are not limited to) the development of formal theories and libraries, tools and automation for formalization , the use of proof assistants in mathematics and c omputer science education, translating between for mal and informal mathematics, and theoretical aspe cts of proof assistants. We welcome relevant work in proof assistants other than Lean. Participants who are interested in giving a talk or running a t utorial or discussion are asked to contact the org anizers X-ALT-DESC;FMTTYPE=text/html:\n
From 7-11 Janu ary next year there will be a workshop on the Lean proof assistant at the Free University in Amsterd am.
\n\nThe workshop will include introduc tory tutorials, scientific talks, and collaboratio n time for developers and users. Tutorials will be aimed at a mathematically experienced audience wi th little background in formal methods. Presentati on topics may include (but are not limited to) the development of formal theories and libraries, too ls and automation for formalization, the use of pr oof assistants in mathematics and computer science education, translating between formal and informa l mathematics, and theoretical aspects of proof as sistants. We welcome relevant work in proof assist ants other than Lean. Participants who are interes ted in giving a talk or running a tutorial or disc ussion are asked to contact the organizers
URL:https://lean-forward.github.io/lean-together/2 019/index.html END:VEVENT END:VCALENDAR