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.
Follow this link for more information about the CPP series.
CPP 2019 is co-located with POPL 2019, in Cascais/Lisbon, Portugal. Registration and accommodation information will mostly be available on that site. CPP 2018 will be held on 14-15 January, 2019.
CPP’18 is sponsored by ACM SIGPLAN, and in cooperation with ACM SIGLOG.
We welcome submissions in research areas related to formal certification of programs and proofs. The following is a suggested list of topics of interests to CPP. This is a non-exhaustive list and should be read as a guideline rather than a requirement.
01月14日
2019
01月15日
2019
摘要截稿日期
初稿截稿日期
注册截止日期
留言