Search Beta
Series and events of the confref identifiers. Look up an identifier (dblp key, Wikidata, GND, DOI of the proceedings) through the API.
16 results · clear filters Sort: newest oldest name
- Proceedings of the 15th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2026, Rennes, France, January 12-13, 2026Computer and information sciencese10xm39
- International Conference on Certified Programs and Proofs (CCP)Computer and information sciencess109eqf
- Proceedings of the 14th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2025, Denver, CO, USA, January 20-21, 2025Computer and information sciencese10xm2b
- Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2024, London, UK, January 15-16, 2024Computer and information sciencese10xm1d
- Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2023, Boston, MA, USA, January 16-17, 2023Computer and information sciencese10xm0f
- CPP '22: 11th ACM SIGPLAN International Conference on Certified Programs and Proofs, Philadelphia, PA, USA, January 17 - 18, 2022Computer and information sciencese10xkzh
- CPP '21: 10th ACM SIGPLAN International Conference on Certified Programs and Proofs, Virtual Event, Denmark, January 17-19, 2021 (CPP 2021)Computer and information sciencese10f6c2
- Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2020, New Orleans, LA, USA, January 20-21, 2020.Computer and information sciencese10xkyk
- Proceedings of the 8th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2019, Cascais, Portugal, January 14-15, 2019 (CPP)Computer and information sciencese10xkxn
- Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2018, Los Angeles, CA, USA, January 8-9, 2018 (CPP)Computer and information sciencese10xkwq
- Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs, CPP 2017, Paris, France, January 16-17, 2017 (CPP)Computer and information sciencese10xkvs
- Proceedings of the 5th ACM SIGPLAN Conference on Certified Programs and Proofs, Saint Petersburg, FL, USA, January 20-22, 2016 (CPP)Computer and information sciencese10xktv
- Proceedings of the 2015 Conference on Certified Programs and Proofs, CPP 2015, Mumbai, India, January 15-17, 2015 (CPP)Computer and information sciencese10xksx
- International Conference on Certified Programs and Proofs (CPP)Computer and information sciencese101w1y
- International Conference on Certified Programs and Proofs (CPP 2012, CPP)Computer and information sciencese101w00
- International Conference on Certified Programs and Proofs (CPP)Computer and information sciencese101vz2