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/2023/newsitem/13785/16 ---17-January-2023-Conference-on-Certified-Program s-Proofs-CPP-2023-Boston-MA-U-S-A- DTSTAMP:20220630T153412 SUMMARY:Conference on Certified Programs & Proofs (CPP 2023), Boston MA, U.S.A. DTSTART;VALUE=DATE:20230116 DTEND;VALUE=DATE:20230117 LOCATION:Boston MA, U.S.A. DESCRIPTION:Certified Programs and Proofs (CPP) is an international conference on practical and theo retical topics in all areas that consider formal v erification and certification as an essential para digm for their work. CPP spans areas of computer s cience, mathematics, logic, and education. CPP 20 23 will be co-located with POPL 2023. The CPP 2023 organizers will strive to enable both in-person a nd remote participation, in cooperation with the P OPL 2023 organizers. We welcome submissions in re search areas related to formal certification of pr ograms and proofs. Prior to the paper submission deadline, the authors should upload their anonymiz ed paper in PDF format through the HotCRP system. The submissions must be written in English and pro vide sufficient detail to allow the program commit tee to assess the merits of the contribution. They must be formatted following the ACM SIGPLAN Proce edings format. The submitted papers should not exc eed 12 pages, including tables and figures, but ex cluding bibliography and clearly marked appendices . The papers should be self-contained without the appendices. Shorter papers are welcome and will be given equal consideration. X-ALT-DESC;FMTTYPE=text/html:
Certified Programs and Proofs (CPP) is an international con ference on practical and theoretical topics in all areas that consider formal verification and certi fication as an essential paradigm for their work. CPP spans areas of computer science, mathematics, logic, and education.
\nCPP 2023 will be c o-located with POPL 2023. The CPP 2023 organizers will strive to enable both in-person and remote pa rticipation, in cooperation with the POPL 2023 org anizers.
We welcome submissio ns in research areas related to formal certificati on of programs and proofs. Prior to the pape r submission deadline, the authors should upload t heir anonymized paper in PDF format through the HotCRP system a>. The submissions must be written in English and provide sufficient detail to allow the program co mmittee to assess the merits of the contribution. They must be formatted following the ACM SIGPLAN P roceedings format. The submitted papers should not exceed 12 pages, including tables and figures, bu t excluding bibliography and clearly marked append ices. The papers should be self-contained without the appendices. Shorter papers are welcome and wil l be given equal consideration.