Aller au contenu principal

Rechercher

Accès rapides

Agenda
Audios & vidéos
Chaires

EN

EN

Navigation principale

Les enseignements
Recherche
Bibliothèques
Éditions
Le Collège de France

Accès rapides

Agenda
Audios & vidéos
Chaires

22 fév 2008

10:30 à 11:30

Cours

À la chasse aux bugs : la vérification des programmes et circuits

Gérard Berry

Pourquoi et comment le monde devient numérique

22 fév 2008

10:30 à 11:30

Facebook
LinkedIn
Bluesky
Threads
Copier le lien
Flux RSS Audiovisuel

Vendredi 22 février 2008

Amphithéâtre Guillaume Budé, Site Marcelin Berthelot

En libre accès, dans la limite des places disponibles

10:30 - 11:30

Sauter le player vidéo Youtube

Écouter l'audio

Documents et médias

Télécharger le support

pdf (262.88 Ko)

Intervenant(s)

Gérard Berry

Gérard Berry

Professeur du Collège de France

Événements

Les algorithmes, coeur de l'informatique

Philippe Flajolet

Algorithmes probabilistes sur de grandes masses de données

Des circuits aux systèmes sur puces

La course à l'infiniment petit et ses challenges technologiques

Les langages de programmation, vecteurs de la pensée informatique

Du langage à l'action : compilation et typage

Les systèmes embarqués et l'informatisation des objets

La certification, ou comment faire confiance au logiciel pour l'avionique critique

À la chasse aux bugs : la vérification des programmes et circuits

La vérification des programmes par interprétation abstraite

Preuve et calcul, des rapports intimes

Les réseaux, un espace d'innovation exceptionnel

François Bourdoncle

Les moteurs de recherches, technologie et enjeux

Laurent Massoulié

Systèmes pair-à-pair et diffusion épidémique d'information

Images et vidéos, de la théorie aux applications

Nicholas Ayache

De l'imagerie médicale au patient virtuel

Frédéric Guichard

Pourquoi le digital révolutionne la photographie

Stéphane Mallat

Enjeux et innovations du traitement d'image pour la télévision haute définition

La cryptologie, science des messages secrets et des transactions sécurisées

Non enregistré

Les grands Challenges du numérique

Voir aussi

Séminaire en relation avec le cours : Pourquoi et comment le monde devient numérique

Gérard Berry, chaire Innovation technologique Liliane Bettencourt

Pourquoi et comment le monde devient numérique

Fil d'Ariane

Accueil
Le Collège
Les chaires
Chaires annuelles
Chaire annuelle Innovation technologique Liliane Bettencourt
Gérard Berry, chaire Innovation technologique Liliane Bettencourt
Enseignements
Pourquoi et comment le monde devient numérique
À la chasse aux bugs : la vérification des programmes et circuits

Accès direct

Agenda
Audios & vidéos
Podcasts
Actualités
Presse et kit logo
Le Collège en 10 questions
Formation doctorale
Travailler au Collège de France
Marchés publics
La Lettre du Collège
Visiter le Collège de France
Mécènes et donateurs

Nos autres sites

Intranet
Omnia
Salamandre
Colligere
Fondation du Collège de France
Programme PAUSE
Avenir Commun Durable
La Vie des idées
Campus de l’innovation pour les lycées

S’inscrire à notre lettre d’information

Nous suivre

Faire un don

Footer menu

Accès et contacts
Mentions légales
Crédits
Accessibilité : non conforme