ResearchBib Share Your Research, Maximize Your Social Impacts
Sign for Notice Everyday Sign up >> Login

Main Menu

Searching By

PARTNERS

Contact us

CPP 2018 - 7th ACM SIGPLAN International Conference on Certified Programs and Proofs

Date2018-01-13

Deadline2017-11-07

VenueLos Angeles, USA - United States USA - United States

Keywords

Websitehttps://popl18.sigplan.org/track/CPP-2018

Topics/Call fo Papers

Certified Programs and Proofs (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.

Other CFPs

  1. 19th International Conference on Verification, Model Checking, and Abstract Interpretation
  2. Probabilistic Programming Languages, Semantics, and Systems (PPS 2018)
  3. The Fourth International Workshop on Coq for Programming Languages
  4. The NetPL workshop
  5. ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation

Last modified: 2017-10-15 15:21:10