PhD Thesis

In preparation

  • F. Gilbert. Verifiable certificates for predicate subtyping

International conferences

  • F. Gilbert. Proof certificates in PVS. International Conference on Interactive Theorem Proving (ITP), pages 262-268. Springer, 2017.
  • F. Gilbert. Automated constructivization of proofs. International Conference on Foundations of Software Science and Computation Structures (FoSSaCS), pages 480-495. Springer, 2017.
  • F. Gilbert. A lightweight double-negation translation. International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR), 2015.
  • D. Delahaye, D. Doligez, F. Gilbert, P. Halmagrand, and O. Hermant. Zenon Modulo: When Achilles Outruns the Tortoise Using Deduction Modulo. International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR), 2013.

International workshops

  • F. Gilbert. Verifiable certificates for predicate subtyping. International Conference on Types for Proofs and Programs (TYPES), 2017.
  • D. Delahaye, D. Doligez, F. Gilbert, P. Halmagrand, and O. Hermant. Proof Certification in Zenon Modulo: When Achilles Uses Deduction Modulo to Outrun the Tortoise with Shorter Steps. International Workshop on the Implementation of Logics (IWIL), 2013.