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:<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  <p>CPP 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.</p>\n</div><div>\n  <p>We welcome submiss
 ions in research areas related to formal certifica
 tion of programs and proofs.&nbsp; Prior to the pa
 per submission deadline, the authors should upload
  their anonymized paper in PDF format through the 
 <a href="https://cpp2023.hotcrp.com">HotCRP system
 </a>. The submissions must be written in English a
 nd provide sufficient detail to allow the program 
 committee to assess the merits of the contribution
 . They must be formatted following the ACM SIGPLAN
  Proceedings format. The submitted papers should n
 ot exceed 12 pages, including tables and figures, 
 but excluding bibliography and clearly marked appe
 ndices. The papers should be self-contained withou
 t the appendices. Shorter papers are welcome and w
 ill be given equal consideration.</p>\n</div>
URL:https://popl23.sigplan.org/home/CPP-2023
CONTACT:Steve Zdancewic at stevez at seas.upenn.ed
 u
CONTACT:Brigitte Pientka at bpientka at cs.mcgill.
 ca
END:VEVENT
END:VCALENDAR