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/8502/10-
 --12-April-2017-Workshop-Algebra-and-Coalgebra-mee
 t-Proof-Theory-ALCOP-VIII-
DTSTAMP:20170202T151200
SUMMARY:Workshop Algebra and Coalgebra meet Proof 
 Theory (ALCOP VIII)
DTSTART;TZID=Europe/Amsterdam:20170410T090000
DTEND;TZID=Europe/Amsterdam:20170412T170000
LOCATION:University of Strathclyde, Glasgow
DESCRIPTION:The workshop Algebra and Coalgebra mee
 t Proof Theory (ALCOP) brings together experts in 
 algebraic logic, coalgebraic logic and proof theor
 y to share new results and to strengthen the relat
 ionships between these fields.  We invite submissi
 ons of a 1-2 page abstract for contributed talks b
 y the extended deadline 14 February 2017: https://
 easychair.org/conferences/?conf=alcopviii2017
X-ALT-DESC;FMTTYPE=text/html:<div>\n  <p>The works
 hop Algebra and Coalgebra meet Proof Theory (ALCOP
 ) brings together experts in algebraic logic, coal
 gebraic logic and proof theory to share new result
 s and to strengthen the relationships between thes
 e fields.</p>\n</div><div>\n  <p>We invite submiss
 ions of a 1-2 page abstract for contributed talks 
 by the extended deadline 14 February 2017: <a href
 ="https://easychair.org/conferences/?conf=alcopvii
 i2017%20" target="_blank">https://easychair.org/co
 nferences/?conf=alcopviii2017</a></p>\n</div>
URL:https://personal.cis.strath.ac.uk/clemens.kupk
 e/ALCOP2017/
CONTACT:Johannes Marti at johannes.marti at strath
 .ac.uk
END:VEVENT
END:VCALENDAR