Inria
Inria.fr
Inria Channel
Il y a 8 Résultats avec le mot clé : "Centre de recherche Inria Paris - Rocquencourt"
Xavier Leroy
Distinction
Prix La Recherche 2011
Xavier Leroy, responsable de l'équipe-projet Gallium du centre de recherche Inria Paris - Rocquencourt, a obtenu le prix La Recherche 2011 en sciences de l'information le 18 octobre dernier aux côtés de Sandrine Blazy (université de Rennes, EPI Celtique), Zaynah Dargaye (maintenant au CEA), Jean-Baptiste Tristan (actuellement à Harvard). Récompensant ainsi leurs travaux sur la vérification formelle de compilateurs réalistes.
Mots-clés :
- Xavier Leroy
- Prix la Recherche 2011
- CompCert
- Langage C
- Compilateur
- Code source
- Logiciel critique
- Preuve de programme
- Centre de recherche Inria Paris - Rocquencourt
Accueil > Centre > Paris - Rocquencourt > Actualités > Prix La Recherche 2011
Séminaire : Modélisation et Calcul Scientifique
Séminaire : Modélisation et Calcul Scientifique
A 14h, Entrée libre
Lieu : Amphi Turing, bâtiment 1
Intervenants : Martin Gander, Université de Genève, Suisse
Mots-clés :
Accueil > Centre > Paris - Rocquencourt > Agenda > Séminaire : Modélisation et Calcul Scientifique
Séminaire : Modélisation et Calcul Scientifique
Séminaire : Modélisation et Calcul Scientifique
A 14h, Entrée libre
Lieu : Salle de conférence du bâtiment 16
Intervenants : Stanley Durrleman, ICM (Institut du Cerveau et de la Moëlle épinière) au sein de l'hôpital de la Pitié Salpêtrière
Mots-clés :
Accueil > Recherches > Agenda > Séminaire : Modélisation et Calcul Scientifique
Séminaire : Modélisation et Calcul Scientifique
Séminaire : Modélisation et Calcul Scientifique
A 14h, Entrée libre
Lieu : Amphithéâtre Alan Turing
Intervenants : Caroline Japhet, Paris 13
Mots-clés :
Accueil > Centre > Paris - Rocquencourt > Agenda > Séminaire : Modélisation et Calcul Scientifique
Séminaire : Modélisation et Calcul Scientifique
Séminaire : Modélisation et Calcul Scientifique
Lieu : Amphithéâtre Alan Turing
Intervenants : Guillaume Bal, Columbia U, USA
Mots-clés :
Accueil > Centre > Paris - Rocquencourt > Agenda > Séminaire : Modélisation et Calcul Scientifique
Séminaire : Modélisation et Calcul Scientifique
Séminaire : Modélisation et Calcul Scientifique
Lieu : Amphithéâtre Alan Turing
Intervenants : Adrien Loseille, Gamma3, Inria
Mots-clés :
Accueil > Centre > Paris - Rocquencourt > Agenda > Séminaire : Modélisation et Calcul Scientifique
Séminaire : Modélisation et Calcul Scientifique
Séminaire : Modélisation et Calcul Scientifique
Lieu : Amphithéâtre Alan Turing
Intervenants : Mathieu Desroches, Inria & U. of Bristol, UK
Mots-clés :
Accueil > Centre > Paris - Rocquencourt > Agenda > Séminaire : Modélisation et Calcul Scientifique
Séminaire : Modélisation et Calcul Scientifique
Séminaire : Modélisation et Calcul Scientifique
Lieu : Amphithéâtre Alan Turing
Intervenants : Damiano Lombardi, Inria
Mots-clés :
Accueil > Centre > Paris - Rocquencourt > Agenda > Séminaire : Modélisation et Calcul Scientifique
Centres de recherche Inria
