Section: Partnerships and Cooperations

National Initiatives

ANR

• Psi (ANR-09-JCJC-0006).

  Duration: 2009-2013. Goal: Proof-Search control in Interaction with domain-specific methods. Coordinator: Stéphane Lengrand (CNRS, LIX).

  Participant: A. Mahboubi.

  Website: http://www.lix.polytechnique.fr/~lengrand/PSI/ .

• 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 (University of Orsay, Paris XI). Participants: A. Mahboubi, E. Tassi.

Other

• PEPS Grant Holonomix.

  Goal: Asymptotics of special functions arising in physics, computer science, and number theory.

  Leader: Cyril Banderier (CNRS, LIPN). Participant: A. Bostan, F. Chyzak.

  Website: http://www.cnrs.fr/ins2i/spip.php?article143 .