Français Anglais
Accueil Annuaire Plan du site
Production scientifique
Contrat de l'équipe Toccata
CERPAN

ANR
Déc. 2005 - Juin 2009

Equipe : Toccata
Responsable : FILLIÂTRE Jean-Christophe

Gestionnaire : 
Organisme gérant : CNRS

Certification de Programmes d'Analyse Numérique



Activités de recherche
  Preuve de programme
  Arithmétique flottante

Membres LRI
FILLIÂTRE Jean-Christophe
BOLDO Sylvie



Contrats
° SESAME DIGIPODS UPS
INTERACTION COLLABORATIVE à DISTANCE ENTRE PLATEFORMES DE VISUALISATION HéTéROGèNES
REGION IDF

° NEXT
NEXT