8 results · clear filters Sort: newest oldest name

1. 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
2. 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
3. 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
4. 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
5. 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
6. International Conference on Certified Programs and Proofs (CPP)
   2013-12-11/13 · Melbourne, Australia
   Computer and information sciences
   e101w1y
7. International Conference on Certified Programs and Proofs (CPP 2012, CPP)
   2012-12-13/15 · Kyoto, Japan
   Computer and information sciences
   e101w00
8. 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?kind=event&discipline=Q21198&series=s109eqf