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/2023/newsitem/14398/18
 ---20-September-2023-ILDS-Coq-Lean-Autumn-School-2
 023-Bucharest-Romania
DTSTAMP:20230801T005604
SUMMARY:ILDS Coq & Lean Autumn School 2023, Buchar
 est, Romania
DTSTART;VALUE=DATE:20230918
DTEND;VALUE=DATE:20230920
LOCATION:Bucharest, Romania
DESCRIPTION:The ILDS Coq and Lean Autumn School 20
 23 aims to introduce potential students to the Coq
  and Lean proof assistants, as well as to theoreti
 cal underpinnings of interactive theorem proving. 
 It is the second school on interactive theorem pro
 ving organized in Bucharest, following the ICUB Co
 q Autumn School, which was held in September 2018.
   The event is co-located with FROM 2023, whose pa
 rticipants are eligible for a special discounted f
 ee for the school.
X-ALT-DESC;FMTTYPE=text/html:\n  <p>The ILDS Coq a
 nd Lean Autumn School 2023 aims to introduce poten
 tial students to the Coq and Lean proof assistants
 , as well as to theoretical underpinnings of inter
 active theorem proving. It is the second school on
  interactive theorem proving organized in Buchares
 t, following the ICUB Coq Autumn School, which was
  held in September 2018.</p>\n  <p>The event is co
 -located with <a href="https://from2023.cs.unibuc.
 ro/" target="_blank">FROM 2023</a>, whose particip
 ants are eligible for a special discounted fee for
  the school.</p>\n
URL:https://events.ilds.ro/autumnschool2023/
END:VEVENT
END:VCALENDAR