IWIL Accepted Papers

The list of accepted papers is also available with abstracts.

• Geoff Sutcliffe. The TPTP Process Instruction Language (details)
• Ronan Saillard. Towards explicit rewrite rules in the lambda-pi calculus modulo (details)
• Daniel Méry, Didier Galmiche and Jean-René Courtault. An Interactive Prover for Bi-intuitionistic Logic (details)
• David Delahaye, Damien Doligez, Frédéric Gilbert, Pierre Halmagrand and Olivier Hermant. Proof Certification in Zenon Modulo: When Achilles Uses Deduction Modulo to Outrun the Tortoise with Shorter Steps (details)