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/2022/newsitem/12958/17 ---18-January-2022-Conference-on-Certified-Program s-Proofs-CPP-2022-Philadelphia-PA-U-S-A-with-Virtu al-options DTSTAMP:20210917T002706 SUMMARY:Conference on Certified Programs & Proofs (CPP 2022), Philadelphia PA (U.S.A.) with Virtual options DTSTART;VALUE=DATE:20220117 DTEND;VALUE=DATE:20220118 LOCATION:Philadelphia PA (U.S.A.) with Virtual op tions 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 22 will be co-located with POPL 2022 in Philadelph ia, Pennsylvania, United States. CPP 2022 is spons ored by ACM SIGPLAN, in cooperation with ACM SIGLO G. CPP 2022 will welcome contributions from all m embers of the community. The CPP 2022 organizers w ill strive to enable both in-person and remote par ticipation, in cooperation with the POPL 2022 orga nizers. We welcome submissions in research areas r elated to formal certification of programs and pro ofs. Submissions must be written in English and pr ovide sufficient detail to allow the program commi ttee to assess the merits of the contribution. The submitted papers should not exceed 12 pages, incl uding tables and figures, but excluding bibliograp hy and clearly marked appendices. 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.
\n\nCPP 2022 will be co-located with POPL 2022 in Philadelphia, Pennsy lvania, United States. CPP 2022 is sponsored by AC M SIGPLAN, in cooperation with ACM SIGLOG.
CPP 2022 will welcome contributions from all members of the community. The CPP 2022 or ganizers will strive to enable both in-person and remote participation, in cooperation with the POPL 2022 organizers. We welcome submissions in resear ch areas related to formal certification of progra ms and proofs. Submissions must be written in Engl ish and provide sufficient detail to allow the pro gram committee to assess the merits of the contrib ution. The submitted papers should not exceed 12 p ages, including tables and figures, but excluding bibliography and clearly marked appendices.
URL:https://popl22.sigplan.org/home/CPP-2022 CONTACT:a.popescu at sheffield.ac.uk CONTACT:stevez at seas.upenn.edu END:VEVENT END:VCALENDAR