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/2017/newsitem/8840/24-
 --25-September-2017-EPS-Encyclopedia-of-Proof-Syst
 ems-Brasilia-Brazil
DTSTAMP:20170330T145125
SUMMARY:EPS: Encyclopedia of Proof Systems, Brasil
 ia, Brazil
DTSTART;VALUE=DATE:20170924
DTEND;VALUE=DATE:20170925
LOCATION:Brasilia, Brazil
DESCRIPTION:The Encyclopedia of Proof Systems was 
 created in 2014 with the goal of being a quick ref
 erence for the various proof systems used by logic
 ians. Since then, it has collected 64 entries on t
 he most various logics and calculi. This was only 
 possible due to the collaboration of many members 
 of the logic community.  This event aims to promot
 e the encyclopedia and attract more contributions 
 and collaborators. It consists of:  - a poster ses
 sion in the afternoon of September 24th, 2017, dur
 ing which submitted entries will be displayed as p
 osters;  - an interactive hands-on meeting in the 
 morning of September 25th, 2017, for those who wou
 ld like to contribute to the continuous improvemen
 t of the encyclopedia.  For this event, entries sh
 ould be submitted before the 1st of August 2017.
X-ALT-DESC;FMTTYPE=text/html:<div>\n  <p>The Encyc
 lopedia of Proof Systems was created in 2014 with 
 the goal of being a quick reference for the variou
 s proof systems used by logicians. Since then, it 
 has collected 64 entries on the most various logic
 s and calculi. This was only possible due to the c
 ollaboration of many members of the logic communit
 y.</p>\n\n  <p>This event aims to promote the ency
 clopedia and attract more contributions and collab
 orators. It consists of:<br>\n  - a poster session
  in the afternoon of September 24th, 2017, during 
 which submitted entries will be displayed as poste
 rs;<br>\n  - an interactive hands-on meeting in th
 e morning of September 25th, 2017, for those who w
 ould like to contribute to the continuous improvem
 ent of the encyclopedia.</p>\n</div><div>\n  <p>Fo
 r this event, entries should be submitted before t
 he 1st of August 2017.</p>\n</div>
URL:http://proofsystem.github.io/Encyclopedia/
CONTACT:bruno.wp at gmail.com
END:VEVENT
END:VCALENDAR