9 results · clear filters Sort: newest oldest name

1. International Conference on Certified Programs and Proofs (CCP)
   series, 15 events, 2011 to 2026
   Computer and information sciences
   s109eqf
2. Proceedings of the 8th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2019, Cascais, Portugal, January 14-15, 2019 (CPP)
   2019-01-14/15 · Cascais, Portugal
   Computer and information sciences
   e10xkxn
3. Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2018, Los Angeles, CA, USA, January 8-9, 2018 (CPP)
   2018-01-08/09 · Los Angeles, United States
   Computer and information sciences
   e10xkwq
4. Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs, CPP 2017, Paris, France, January 16-17, 2017 (CPP)
   2017-01-16/17 · Paris, France
   Computer and information sciences
   e10xkvs
5. Proceedings of the 5th ACM SIGPLAN Conference on Certified Programs and Proofs, Saint Petersburg, FL, USA, January 20-22, 2016 (CPP)
   2016-01-20/22 · St. Petersburg, United States
   Computer and information sciences
   e10xktv
6. Proceedings of the 2015 Conference on Certified Programs and Proofs, CPP 2015, Mumbai, India, January 15-17, 2015 (CPP)
   2015-01-15/17 · Mumbai, India
   Computer and information sciences
   e10xksx
7. International Conference on Certified Programs and Proofs (CPP)
   2013-12-11/13 · Melbourne, Australia
   Computer and information sciences
   e101w1y
8. International Conference on Certified Programs and Proofs (CPP 2012, CPP)
   2012-12-13/15 · Kyoto, Japan
   Computer and information sciences
   e101w00
9. International Conference on Certified Programs and Proofs (CPP)
   2011-12-07/09 · Taiwan
   Computer and information sciences
   e101vz2

As JSON: https://labs.confref.org/api/search?discipline=Q21198&series=s109eqf