Events (15)
20112026
| Year | No. | Event | Place | Date |
|---|
| 2026 | 15 | Proceedings of the 15th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2026, Rennes, France, January 12-13, 2026 | Rennes | |
| 2025 | 14 | Proceedings of the 14th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2025, Denver, CO, USA, January 20-21, 2025 | Denver | |
| 2024 | 13 | Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2024, London, UK, January 15-16, 2024 | London | |
| 2023 | 12 | Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2023, Boston, MA, USA, January 16-17, 2023 | Boston | |
| 2022 | 11 | CPP '22: 11th ACM SIGPLAN International Conference on Certified Programs and Proofs, Philadelphia, PA, USA, January 17 - 18, 2022 | Philadelphia | |
| 2021 | 10 | CPP '21: 10th ACM SIGPLAN International Conference on Certified Programs and Proofs, Virtual Event, Denmark, January 17-19, 2021 CPP 2021 | Denmark | 2021-01-17/19 |
| 2020 | 9 | Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2020, New Orleans, LA, USA, January 20-21, 2020. | New Orleans | |
| 2019 | 8 | Proceedings of the 8th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2019, Cascais, Portugal, January 14-15, 2019 CPP | Cascais | 2019-01-14/15 |
| 2018 | 7 | Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2018, Los Angeles, CA, USA, January 8-9, 2018 CPP | Los Angeles | 2018-01-08/09 |
| 2017 | 6 | Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs, CPP 2017, Paris, France, January 16-17, 2017 CPP | Paris | 2017-01-16/17 |
| 2016 | 5 | Proceedings of the 5th ACM SIGPLAN Conference on Certified Programs and Proofs, Saint Petersburg, FL, USA, January 20-22, 2016 CPP | St. Petersburg | 2016-01-20/22 |
| 2015 | | Proceedings of the 2015 Conference on Certified Programs and Proofs, CPP 2015, Mumbai, India, January 15-17, 2015 CPP | Mumbai | 2015-01-15/17 |
| 2013 | 3 | International Conference on Certified Programs and Proofs CPP | Melbourne | 2013-12-11/13 |
| 2012 | 2 | International Conference on Certified Programs and Proofs CPP 2012, CPP | Kyoto | 2012-12-13/15 |
| 2011 | 1 | International Conference on Certified Programs and Proofs CPP | Taiwan | 2011-12-07/09 |
The events on the map · in the search · calendar of coming events
Sources
The records of the sources that this identifier brings together (cr:sameAs).
Beta confref labs is under development. Identifiers are stable; pages, data and services can change.
