Section: Partnerships and Cooperations
National Initiatives
ANR
ParalITP (ANR-11-INSE-001)
Goal: Improve the performances and the ergonomics of interactive provers by taking advantage of modern, parallel hardware.
Leader: B. Wolff. Participants: A. Mahboubi, E. Tassi.
Website: http://paral-itp.lri.fr/ .
Psi (ANR-09-JCJC-0006)
Goal: Investigate the theory and the implementation of proof-search methods in the context of specific theories. This project aims at understanding how to combine state-of-the-art proof-theoretic generic methods (DPLL, focusing, ...) with efficient automated-reasoning methods for well-identified theories (linear arithmetic, ...).
Leader: S. Lengrand (CNRS, LiX). Participant: A. Mahboubi.