Il y a 2 Résultats avec le mot clé : "standards"

Evénement

Vincent Quint et les standards du web

Bel Dumé - 13/04/2012

Vincent Quint est responsable de l’équipe WAM d'Inria Grenoble. Il présentera son article « On the analysis of cascading style sheets », qu'il a co-rédigé avec Pierre Geneves et Nabil Layaida, à la conférence annuelle internationale du web qui se déroulera du 16 au 20 avril à Lyon.

Mots-clés :

Accueil > Actualité > Actualités Inria > Vincent Quint et les standards du web

Lire la suite

© Inria / Photo Kaksonen

European Research Council 2011

Dale Miller : « Faire que la preuve soit universelle »

Sophy Caulier - 6/12/2011

Bénéficiaire d’une bourse ERC Advanced Grant destinée aux chercheurs confirmés, Dale Miller s’engage sur le difficile chemin de la preuve. Son objectif : dans ce domaine très abstrait mais qui a un impact certain sur le monde réel, standardiser les systèmes de preuve et leur délivrer des certificats afin d’améliorer la confiance que l’on peut avoir en eux.

Mots-clés :

Accueil > Actualité > Actualités Inria > Dale Miller : « Faire que la preuve soit universelle »

Lire la suite

Haut de page

Siège et centres de recherche Inria

Accès direct

Social