Conferences
A Generic Deskolemization Strategy
Johann Rosain, Richard Bonichon, Julie Cailler & Olivier Hermant.
In: 25th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR 25).
BibTex | DOI
Goéland: A Concurrent Tableau-Based Theorem Prover (System Description)
Julie Cailler, Johann Rosain, David Delahaye Simon Robillard & Hinde Lilia Bouziane.
In: 11th International Joint Conference on Automated Reasoning (IJCAR 2022).
BibTex | DOI
Talks
Design of a Tableau-Based Automated Theorem Prover and Output of Machine-Checkable Proofs
At: Chair of Theoretical Computer Science, FAU, Erlangen-Nuremberg, Germany.Design of a Tableau-Based Automated Theorem Prover and Output of Machine-Checkable Proofs
At: VeriDis team seminar, Loria, University of Nancy, France.Design of a Tableau-Based Automated Theorem Prover and Output of Machine-Checkable Proofs
At: LARA team seminar, École Polytechnique Fédérale de Lausanne (EPFL), Suisse.Design of a Tableau-Based Automated Theorem Prover and Output of Machine-Checkable Proofs
At: IGG team seminar, ICube, University of Strasbourg, France.
Goéland: A Concurrent Tableau-Based Theorem Prover
At: 15th Alpine Verification Meeting (AVM'23).Formal Method: The Art of Using Logic to Build Safer Systems
At: Theoretical Computer Science Group Seminar, University of Regensburg.Reasoning Methods in Automated Theorem Proving
At: BOREAL Team Seminar, LIRMM, University of Montpellier.
Goéland: A Concurrent Tableau-Based Theorem Prover
At: Workshop on Parallel and Distributed Automated Reasoning 2022 (PDAR2022).Goéland: A Concurrent Tableau-Based Theorem Prover (System Description)
At: 11th International Joint Conference On Automated Reasoning (IJCAR 2022).
A Concurrent Tableaux Proof-Search Procedure
At: Proof Day 2021, LIRMM, University of Montpellier.
Awards
Woody Bledsoe Award
In: 11th International Joint Conference On Automated Reasoning (IJCAR 2022).Best Newcomer Prover
In: The CADE ATP System Competition (CASCJ11).
Thesis