Gérard Berry
Chaire d'Innovation technologique Liliane Bettencourt (2007-2008)
Séminaire N°5 : Patrick Cousot / La vérification des programmes par interprétation abstraite (vidéo)
Voir aussi
- Cours & Séminaires
- Leçon inaugurale
- Cours N°1 : les algorithmes
- Séminaire N°1 : Philippe Flajolet
- Cours n°2 : des circuits aux systèmes sur puces
- Séminaire N°2 : Laurent Thenie
- Cours N°3 : Les langages de programmation
- Séminaire N°3 : Xavier Leroy
- Cours n°4 : Les systèmes embarqués et l'informatisation des objets
- Séminaire N°4 : Gérard Ladier
- Cours N°5 : A la chasse aux bugs
- Séminaire N°5 : Gilles Dowek
- Cours N°6 : Les réseaux, un espace d'innovation exceptionnel
- Séminaire N°6 : François Bourdoncle
- Séminaire N°6 : Laurent Massoulié
- Cours N°7 : Images et vidéos, de la théorie aux applications
- Séminaire N°7 : Nicholas Ayache
- Séminaire N°7 : Frédéric Guichard
- Séminaire N°7 : Stéphane Mallat
- Cours N°8 : Les grands challenges du numérique