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/2021/newsitem/13076/2- --4-December-2021-Proof-Society-Workshop DTSTAMP:20211101T032124 SUMMARY:Proof Society Workshop DTSTART;VALUE=DATE:20211202 DTEND;VALUE=DATE:20211204 LOCATION:Funchal, Madeira DESCRIPTION:The workshop will bring together resea rchers on proof theory and its applications throug h a series of invited and contributed talks as wel l as panel discussion. Confirmed speakers include Eduardo Fermé, David Fernández Duque, Stepan Kuzn etsov, Fedor Pakhomov, Michael Rathjen, and Andrei Voronkov. The event will be attending-only and sh all not be streamed online. Workshop Contributed Talks Submission: •Submission of abstracts opens Monday, October 11; •Submission of abstracts clos es Monday, November 8; •Acceptance is confirmed T hursday, November 11. X-ALT-DESC;FMTTYPE=text/html:
\n

The works hop will bring together researchers on proof theor y and its applications through a series of invited and contributed talks as well as panel discussion .

\n\n

Confirmed speakers include Eduardo F ermé, David Fernández Duque, Stepan Kuznetsov, Fed or Pakhomov, Michael Rathjen, and Andrei Voronkov. The event will be attending-only and shall not be streamed online.

\n
\n

Workshop Contributed Talks Submission:
\n •Submission o f abstracts opens Monday, October 11;
\n •Subm ission of abstracts closes Monday, November 8;
\n •Acceptance is confirmed Thursday, November 11 .

\n
URL:https://kgs.logic.at/madeira2021/workshop CONTACT:Anela Lolic at anela at logic.at END:VEVENT END:VCALENDAR