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/2025/newsitem/15053/20
 ---21-January-2025-Conference-on-Certified-Program
 s-Proofs-CPP-2025-Certified-Programs-and-Proofs-De
 nver-USA
DTSTAMP:20240704T150304
SUMMARY:Conference on Certified Programs & Proofs 
 (CPP 2025): Certified Programs and Proofs, Denver,
  USA
DTSTART;VALUE=DATE:20250120
DTEND;VALUE=DATE:20250121
LOCATION:Denver, USA
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 is 
 sponsored by ACM SIGPLAN, in cooperation with ACM 
 SIGLOG.  CPP 2025 will be held in January 2025 and
  will be co-located with POPL 2025 in Denver, Colo
 rado, United States. The CPP 2025 organizers will 
 strive to enable both in-person and remote partici
 pation, in cooperation with the POPL 2025 organize
 rs.  We welcome submissions in research areas rela
 ted to formal certification of programs and proofs
 . Prior to the paper submission deadline, the auth
 ors should upload their anonymized paper in PDF fo
 rmat through the HotCRP system. The submissions mu
 st be written in English and provide sufficient de
 tail 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 not exceed 12 pages, incl
 uding tables and figures, but excluding bibliograp
 hy and clearly marked appendices. The papers shoul
 d be self-contained without the appendices. Shorte
 r papers are welcome and will be given equal consi
 deration.
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. CPP is sponsored by ACM SIGP
 LAN, in cooperation with ACM SIGLOG.</p>\n  <p>CPP
  2025 will be held in January 2025 and will be co-
 located with POPL 2025 in Denver, Colorado, United
  States. The CPP 2025 organizers will strive to en
 able both in-person and remote participation, in c
 ooperation with the POPL 2025 organizers.</p>\n</d
 iv><div>\n  <p>We welcome submissions in research 
 areas related to formal certification of programs 
 and proofs. Prior to the paper submission deadline
 , the authors should upload their anonymized paper
  in PDF format through the <a href="https://cpp202
 5.hotcrp.com" target="_self">HotCRP system</a>. Th
 e submissions must be written in English and provi
 de sufficient detail to allow the program committe
 e to assess the merits of the contribution. They m
 ust be formatted following the ACM SIGPLAN Proceed
 ings format. The submitted papers should not excee
 d 12 pages, including tables and figures, but excl
 uding bibliography and clearly marked appendices. 
 The papers should be self-contained without the ap
 pendices. Shorter papers are welcome and will be g
 iven equal consideration.</p>\n</div>
URL:https://popl25.sigplan.org/home/CPP-2025
CONTACT:Sandrine Blazy at sandrine.blazy at irisa.
 fr
CONTACT:Nicolas Tabareau at nicolas.tabareau at in
 ria.fr
END:VEVENT
END:VCALENDAR