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/10296/25
 ---30-August-2019-The-27th-International-Conferenc
 e-on-Automated-Deduction-CADE-27-Natal-Brazil
DTSTAMP:20181026T143949
SUMMARY:The 27th International Conference on Autom
 ated Deduction (CADE-27), Natal, Brazil
DTSTART;VALUE=DATE:20190825
DTEND;VALUE=DATE:20190830
LOCATION:Natal, Brazil
DESCRIPTION:The conference on Automated Deduction 
 (CADE) is the major international forum at which r
 esearch on all aspects of automated deduction is p
 resented. The conference programme includes invite
 d talks, paper presentations, workshops, tutorials
 , and system competitions. Furthermore, the Herbra
 nd Award for Distinguished Contributions to Automa
 ted Deduction and the new Skolem Award(s) for infl
 uential historical CADE papers is presented at the
  conference.  High-quality submissions on the gene
 ral topic of automated deduction, including founda
 tions, applications, implementations, theoretical 
 results, practical experiences and user studies ar
 e solicited. Submissions can be made in two catego
 ries: regular papers and system descriptions. Abst
 ract submission deadline: 15 February 2019.  Addit
 ionally, CADE-27 sollicits proposals for  - worksh
 ops, to take place before the main conference  - t
 utorials, either half-day or full-day events  - sy
 stem competitions, to foster the development of au
 tomated reasoning systems  Submission deadline: 15
  November 2018.
X-ALT-DESC;FMTTYPE=text/html:<div>\n  <p>The confe
 rence on Automated Deduction (CADE) is the major i
 nternational forum at which research on all aspect
 s of automated deduction is presented. The confere
 nce programme includes invited talks, paper presen
 tations, workshops, tutorials, and system competit
 ions. Furthermore, the Herbrand Award for Distingu
 ished Contributions to Automated Deduction and the
  new Skolem Award(s) for influential historical CA
 DE papers is presented at the conference.</p>\n</d
 iv><div>\n  <p>High-quality submissions on the gen
 eral topic of automated deduction, including found
 ations, applications, implementations, theoretical
  results, practical experiences and user studies a
 re solicited. Submissions can be made in two categ
 ories: regular papers and system descriptions. Abs
 tract submission deadline: 15 February 2019.</p>\n
 \n  <p>Additionally, CADE-27 sollicits proposals f
 or<br>\n  - workshops, to take place before the ma
 in conference<br>\n  - tutorials, either half-day 
 or full-day events<br>\n  - system competitions, t
 o foster the development of automated reasoning sy
 stems<br>\n  Submission deadline: 15 November 2018
 .</p>\n</div>
URL:http://www.cade-27.info
END:VEVENT
END:VCALENDAR