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:<div>\n  <p>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.</p>\n\n  <p>CPP 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.</p>\n</
 div><div>\n  <p>CPP 2022 will welcome contribution
 s from all members of the community. The CPP 2022 
 organizers will strive to enable both in-person an
 d remote participation, in cooperation with the PO
 PL 2022 organizers. We welcome submissions in rese
 arch areas related to formal certification of prog
 rams and proofs. Submissions must be written in En
 glish and provide sufficient detail to allow the p
 rogram committee to assess the merits of the contr
 ibution. The submitted papers should not exceed 12
  pages, including tables and figures, but excludin
 g bibliography and clearly marked appendices.</p>\
 n</div>
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