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.