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:
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.
We welcome submissions in research areas rel ated to formal certification of programs and proof s. Abstracts must be submitted by October 5, 2016 (AOE). The results must be unpublished and not sub mitted for publication elsewhere, including the pr oceedings of other published conferences or worksh ops.