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/8997/8--
 -9-September-2017-4th-International-Workshop-on-St
 ructures-and-Deduction-SD-2017-Oxford-England
DTSTAMP:20170428T155056
SUMMARY:4th International Workshop on Structures a
 nd Deduction(SD 2017), Oxford, England
DTSTART;VALUE=DATE:20170908
DTEND;VALUE=DATE:20170909
LOCATION:Oxford, England
DESCRIPTION:SD17 is the fourth in a series of meet
 ings that brings together researchers in different
  areas of proof theory. The main interest is in ne
 w algebraic and geometric results in proof theory 
 which expand our abilities to manipulate proofs, h
 elp to reduce bureaucracy in deductive systems, an
 d ultimately lead to new methods for proof search 
 and new kinds of proof certificates.  We welcome s
 ubmission of work that has already been published 
 or currently submitted to a journal or conference.
  As well as theoretical work in the form of regula
 r papers, we encourage submission of implementatio
 ns, tools and system descriptions.
X-ALT-DESC;FMTTYPE=text/html:<div>\n  <p>SD17 is t
 he fourth in a series of meetings that brings toge
 ther researchers in different areas of proof theor
 y. The main interest is in new algebraic and geome
 tric results in proof theory which expand our abil
 ities to manipulate proofs, help to reduce bureauc
 racy in deductive systems, and ultimately lead to 
 new methods for proof search and new kinds of proo
 f certificates.</p>\n</div><div>\n  <p>We welcome 
 submission of work that has already been published
  or currently submitted to a journal or conference
 . As well as theoretical work in the form of regul
 ar papers, we encourage submission of implementati
 ons, tools and system descriptions.</p>\n</div>
URL:http://www.anupamdas.com/sd17/
CONTACT:sd17 at easychair.org
END:VEVENT
END:VCALENDAR