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/8554/6--
 -11-August-2017-The-26th-International-Conference-
 on-Automated-Deduction-CADE-26-Gothenburg-Sweden
DTSTAMP:20170116T135503
SUMMARY:The 26th International Conference on Autom
 ated Deduction (CADE-26), Gothenburg, Sweden
DTSTART;VALUE=DATE:20170806
DTEND;VALUE=DATE:20170811
LOCATION:Gothenburg, Sweden
DESCRIPTION:CADE is the major international forum 
 at which research on all aspects of automated dedu
 ction is presented. The conference programme inclu
 des invited talks, paper presentations, workshops,
  tutorials, and system competitions.  High-quality
  submissions on the general topic of automated ded
 uction, including foundations, applications, imple
 mentations, theoretical results, practical experie
 nces and user studies are solicited. Submissions c
 an be made in two categories: regular papers and s
 ystem descriptions. Submissions must be unpublishe
 d and not submitted for publication elsewhere. Abs
 tract deadline: 11 February 2017.
X-ALT-DESC;FMTTYPE=text/html:<div>\n  <p>CADE is t
 he major international forum at which research on 
 all aspects of automated deduction is presented. T
 he conference programme includes invited talks, pa
 per presentations, workshops, tutorials, and syste
 m competitions.</p>\n</div><div>\n  <p>High-qualit
 y submissions on the general topic of automated de
 duction, including foundations, applications, impl
 ementations, theoretical results, practical experi
 ences and user studies are solicited. Submissions 
 can be made in two categories: regular papers and 
 system descriptions. Submissions must be unpublish
 ed and not submitted for publication elsewhere. Ab
 stract deadline: 11 February 2017.</p>\n</div>
URL:http://www.cade-26.info
END:VEVENT
END:VCALENDAR