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
"The Mean ing of Proofs" 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> URL:https://sites.google.com/view/wdl-ucl2022/ END:VEVENT END:VCALENDAR