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/2022/newsitem/13284/14
 -January-2022-Meeting-The-Meaning-of-Proofs-WLD-20
 22-Event-Virtual
DTSTAMP:20220110T000805
SUMMARY:Meeting "The Meaning of Proofs" (WLD 2022 
  Event), Virtual
DTSTART;VALUE=DATE:20220114
LOCATION:Virtual
DESCRIPTION:"The Meaning of Proofs" is a one day o
 nline meeting organised by the Programming Princip
 les, Logic and Verification group at UCL. As part 
 of the celebrations of UNESCO's World Logic Day 20
 22, we propose a foundational discussion about log
 ic, validity and proof systems, with a main focus 
 on proof-theoretic semantics. The event will consi
 sts of 20 min keynote talks, followed by a discuss
 ion. The registration is free of charge and everyb
 ody is welcome.
X-ALT-DESC;FMTTYPE=text/html:\n  <p>&quot;The Mean
 ing of Proofs&quot; is a one day online meeting or
 ganised by the Programming Principles, Logic and V
 erification group at UCL. As part of the celebrati
 ons of UNESCO's World Logic Day 2022, we propose a
  foundational discussion about logic, validity and
  proof systems, with a main focus on proof-theoret
 ic semantics. The event will consists of 20 min ke
 ynote talks, followed by a discussion. The registr
 ation is free of charge and everybody is welcome.<
 /p>\n
URL:https://sites.google.com/view/wdl-ucl2022/
END:VEVENT
END:VCALENDAR