CPP
Mon 18 - Tue 19 January 2016 St. Petersburg, Florida, United States
co-located with POPL 2016

CPP is an international forum on theoretical and practical topics in all areas, including computer science, mathematics, and education, that consider certification as an essential paradigm for their work. Certification here means formal, mechanized verification of some sort, preferably with production of independently checkable certificates.

Invited Speakers

CPP: Call for Papers

View track page for all details

Please see the external CPP web site for the full details, but here’s a summary of the most important points.

  • Abstracts due: October 7
  • Papers due: October 12
  • Author Notification: November 18
  • Final versions due: December 4
  • Conference: January 18-19

The paper format is compatible with the one from recent POPL and ICFP conferences.

Schedule Overview

Sunday
17th
Monday
18th
Tuesday
19th
Wednesday
20th
Thursday
21st
Friday
22nd
Saturday
23rd
VMCAI
Verification, Model Checking, and Abstract Interpretation
POPL
Principles of Programming Languages
OBT
Off the Beaten
  CPP
Certified Programs and Proofs
PPS
Probabilistic Programming Semantics
  PADL
Practical Aspects of Declarative Languages
CoqPL
Coq for Programming Languages
  PEPM
  Tutorials
PLMW
Programming Languages Mentoring