Author:Pascal Fontaine

Publications
SMT 2012. 10th International Workshop on Satisfiability Modulo Theories Pascal Fontaine and Amit Goel (editors) EPiC Series in Computing, volume 20
PAAR-2012. Third Workshop on Practical Aspects of Automated Reasoning Pascal Fontaine, Renate A. Schmidt and Stephan Schulz (editors) EPiC Series in Computing, volume 21
Representation, Verification, and Visualization of Tarskian Interpretations for Typed First-order Logic Alexander Steen, Geoff Sutcliffe, Pascal Fontaine and Jack McKeown In:Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning
SC-square: when Satisfiability Checking and Symbolic Computation join forces Erika Abraham, John Abbott, Bernd Becker, Anna M. Bigatti, Martin Brain, Alessandro Cimatti, James H. Davenport, Matthew England, Pascal Fontaine, Stephen Forrest, Vijay Ganesh, Alberto Griggio, Daniel Kroening and Werner M. Seiler In:ARCADE 2017. 1st International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements
Towards Strong Higher-Order Automation for Fast Interactive Verification Jasmin Christian Blanchette, Pascal Fontaine, Stephan Schulz and Uwe Waldmann In:ARCADE 2017. 1st International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements
GridTPT: a distributed platform for Theorem Prover Testing Thomas Bouton, Diego Caminha, David Déharbe and Pascal Fontaine In:PAAR-2010: Proceedings of the 2nd Workshop on Practical Aspects of Automated Reasoning

Keyphrases

automated reasoning, automatic theorem provers, Benchmarking, computer algebra, Development support, Grid Computing, higher-order logic, interpretations, Performance aspects, satisfiability checking, Satisfiability Modulo Theories (SMT), superposition calculus, symbolic computation, test, TPTP, verification.