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  <p>From 7-11 Janu
 ary next year there will be a workshop on the Lean
  proof assistant at the Free University in Amsterd
 am.</p>\n\n  <p>The 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</p>\n
URL:https://lean-forward.github.io/lean-together/2
 019/index.html
END:VEVENT
END:VCALENDAR