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/8198/16-
 --17-January-2017-The-6th-ACM-SIGPLAN-Conference-o
 n-Certified-Programs-and-Proofs-CPP-2017-Paris-Fra
 nce
DTSTAMP:20161020T133208
SUMMARY:The 6th ACM SIGPLAN Conference on Certifie
 d Programs and Proofs (CPP 2017), Paris, France
DTSTART;VALUE=DATE:20170116
DTEND;VALUE=DATE:20170117
LOCATION:Paris, France
DESCRIPTION:CPP is an international forum on theor
 etical and practical topics in all areas, includin
 g computer science, mathematics, and education, th
 at consider certification as an essential paradigm
  for their work. Certification here means formal, 
 mechanized verification of some sort, preferably w
 ith production of independently checkable certific
 ates.  We welcome submissions in research areas re
 lated to formal certification of programs and proo
 fs. Abstracts must be submitted by October 5, 2016
  (AOE). The results must be unpublished and not su
 bmitted for publication elsewhere, including the p
 roceedings of other published conferences or works
 hops.
X-ALT-DESC;FMTTYPE=text/html:<div>\n  <p>CPP is an
  international forum on theoretical and practical 
 topics in all areas, including computer science, m
 athematics, and education, that consider certifica
 tion as an essential paradigm for their work. Cert
 ification here means formal, mechanized verificati
 on of some sort, preferably with production of ind
 ependently checkable certificates.</p>\n</div><div
 >\n  <p>We welcome submissions in research areas r
 elated to formal certification of programs and pro
 ofs. Abstracts must be submitted by October 5, 201
 6 (AOE). The results must be unpublished and not s
 ubmitted for publication elsewhere, including the 
 proceedings of other published conferences or work
 shops.</p>\n</div>
URL:http://cpp2017.mpi-sws.org/
END:VEVENT
END:VCALENDAR