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/2019/newsitem/10645/29
 ---30-June-2019-5th-Int-Workshop-on-Structures-and
 -Deduction-2019-SD-2019-Dortmund-Germany
DTSTAMP:20190228T172101
SUMMARY:5th Int. Workshop on Structures and Deduct
 ion 2019 (SD 2019), Dortmund, Germany
DTSTART;VALUE=DATE:20190629
DTEND;VALUE=DATE:20190630
LOCATION:Dortmund, Germany
DESCRIPTION:SD?19 is the fifth in a series of work
 shops aiming to gather various communities of stru
 ctural proof theorists. As well as theoretical wor
 k in the form of regular papers, we encourage subm
 ission of implementations, tools and system descri
 ptions.  We welcome submission of work that has al
 ready been published or currently submitted to a j
 ournal or conference. The following submission cat
 egories are welcome:  - Extended abstracts (up to 
 8 pages). Finished work, system descriptions, surv
 eys.  - Short abstracts (up to 4 pages). Work-in-p
 rogress, perspectives on existing work.
X-ALT-DESC;FMTTYPE=text/html:<div>\n  <p>SD?19 is 
 the fifth in a series of workshops aiming to gathe
 r various communities of structural proof theorist
 s. As well as theoretical work in the form of regu
 lar papers, we encourage submission of implementat
 ions, tools and system descriptions.</p>\n</div><d
 iv>\n  <p>We welcome submission of work that has a
 lready been published or currently submitted to a 
 journal or conference. The following submission ca
 tegories are welcome:<br>\n  - Extended abstracts 
 (up to 8 pages). Finished work, system description
 s, surveys.<br>\n  - Short abstracts (up to 4 page
 s). Work-in-progress, perspectives on existing wor
 k.</p>\n</div>
URL:http://anupamdas.com/sd19/
CONTACT:sd19 at easychair.org
END:VEVENT
END:VCALENDAR