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/2021/newsitem/11783/17
 ---18-January-2021-Certified-Programs-Proofs-CPP-2
 021-Virtual
DTSTAMP:20201227T214414
SUMMARY:Certified Programs & Proofs (CPP 2021), Vi
 rtual
DTSTART;VALUE=DATE:20210117
DTEND;VALUE=DATE:20210118
LOCATION:Virtual
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
 21 will take place on January 18-19, 2021 as a vir
 tual meeting.  We welcome submissions in research 
 areas related to formal certification of programs 
 and proofs. The submissions must be written in Eng
 lish and provide sufficient detail to allow the pr
 ogram committee to assess the merits of the contri
 bution.Concurrent submissions to other conferences
 , journals, workshops with proceedings, or similar
  forums of publication are not allowed.  The submi
 tted papers should not exceed 12 pages, including 
 tables and figures, but excluding bibliography and
  clearly marked appendices. The papers should be s
 elf-contained without the appendices. Shorter pape
 rs are welcome and will be given equal considerati
 on. CPP 2021 will employ a lightweight double-blin
 d reviewing process.
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 2021 will ta
 ke place on January 18-19, 2021 as a virtual meeti
 ng.</p>\n</div><div>\n  <p>We welcome submissions 
 in research areas related to formal certification 
 of programs and proofs. The submissions must be wr
 itten in English and provide sufficient detail to 
 allow the program committee to assess the merits o
 f the contribution.Concurrent submissions to other
  conferences, journals, workshops with proceedings
 , or similar forums of publication are not allowed
 .</p>\n\n  <p>The submitted papers should not exce
 ed 12 pages, including tables and figures, but exc
 luding bibliography and clearly marked appendices.
  The papers should be self-contained without the a
 ppendices. Shorter papers are welcome and will be 
 given equal consideration. CPP 2021 will employ a 
 lightweight double-blind reviewing process.</p>\n<
 /div>
URL:https://popl21.sigplan.org/home/CPP-2021
CONTACT:Cătălin Hriţcu at catalin.hritcu at gmail.
 com
CONTACT:Andrei Popescu at andrei.h.popescu at gmai
 l.com
END:VEVENT
END:VCALENDAR