My search | Inria

Improve your search DEDUCTEAM

Search

Domaines applicatifs

Thèmes scientifiques

Centres Inria associés

Ecosystème Inria

Institution Inria

Mots clés

Poste

Filter by

Sort by

By relevance
From newest to oldest

6 results for "DEDUCTEAM"

Vérification de programme

© Inria / Photo C. Lebedinsky

European partnerships

Proof assistants: strengthening the position of the EU through EuroProofNet

Portrait de Gilles Dowek

© Inria / Photo B. Fourrier

Gilles Dowek: an explorer of formal methods

Links

© Inria / Photo C. Morel

Find out more about rewriting theory and its applications

Gilles Dowek

© Inria / Photo B. Fourrier

Gilles Dowek appointed to the conseil superieur des programmes

Illustration HPC

European partnerships

High-Performance Computing : INRIA involved in eight European projects

Equipe MOOC

© Inria / Photo A. Sarthou

Inria MoocLab technical Team: Support for Research and Innovation Award 2014