EN FR
EN FR


Section: Partnerships and Cooperations

National Initiatives

ANR Locali

We are coordinators of the ANR-NFSC contract Locali with the Chinese Academy of Sciences. This year we mostly developed in proof in a finite structure project of this contract.

ANR BWare

We are members of the ANR Beware which started on last September (David Delahaye is the national leader). The objective is to provide a proof platform for B proof obligations. We are in particular involved in the introduction of Deduction modulo in the automated proved tableaux-based Zenon and also in the combination of Deduction modulo and superposition.

ANR Tarmac

We are members of the ANR Tarmac, coordinated by Pierre Valarcher, on models of computation.