Equipe-projet DEDUCTEAM DEDUCTEAM Deducteam explore les applications de la théorie de la démonstration à la conception de cadres...
© Inria / Photo B. Fourrier Nomination Gilles Dowek nommé au conseil supérieur des programmes 09/03/2023
© Inria / Photo C. Lebedinsky Partenariats européens Assistants de preuve : renforcer la position européenne via EuroProofNet 01/03/2022
Partenariats européens Calcul haute performance : Inria impliqué dans huit projets européens 26/05/2021
© Inria / Photo C. Morel Logiciel Venez découvrir la théorie de la réécriture et ses applications 03/05/2019