Jeremy Avigad, Adam Chlipala: Proceedings of the 5th ACM SIGPLAN Conference on Certified Programs and Proofs, Saint Petersburg, FL, USA, January 20-22, 2016.ACM2016, ISBN 978-1-4503-4127-1
Keynotes
Harvey M. Friedman: Perspectives on formal verification (invited talk).1
Cyril Cohen, Boris Djalal: Formalization of a newton series representation of polynomials.100-109
Foundations
Nathan Fulton, André Platzer: A logic of proofs for differential dynamic logic: toward independently checkable proof certificates for dynamic logics.110-121
Floris van Doorn: Constructing the propositional truncation using non-recursive HITs.122-129