Master: Colloquium d’Informatique UPMC Sorbonne Universités

Posté le vendredi 16 novembre 2012


Bonjour,

Vous êtes invités à assister à l’exposé de Georges Gonthier, Directeur de recherche à Microsoft Research, Grand Prix d’informatique de la Fondation EADS, dans le cadre du Colloquium d’informatique UPMC Sorbonne Universités :

Le génie mathématique, du théorème de quatre couleurs à la classification des groupes

(résumé et biographie de l’orateur ci-dessous)

Ce colloquium s’adresse à un public large, et est ouvert à tous les chercheurs et étudiants en informatique.

L’exposé aura lieu : mardi 27 novembre 2012 à 18h Amphithéâtre 25 Université Pierre et Marie Curie 4, place Jussieu (métro Jussieu) 75005 Paris Pour y aller : http://www.upmc.fr/fr/universite/ca...

Nouveau : La conférence sera diffusée en direct et en différé ; cf. colloquium.lip6.fr.

Un cocktail est prévu à 17h30, en prélude à la conférence.

Résumé : Il y a trente ans les ordinateurs faisaient irruption dans les mathématiques avec la célèbre preuve du théorème des quatre couleurs par Appel et Haken. Au départ limité au simple calcul, leur rôle s’élargit maintenant à des raisonnements dont la complexité dépasse les capacités de la plupart des humains, comme la preuve de la classification des groupes simples finis. Nous venons d’en formaliser la première étape importante, le théorème de Feit-Thompson, à l’aide d’un éventail de méthodes et techniques qui vont de la logique formelle au génie logiciel.

Biographie : Georges Gonthier est chercheur au laboratoire de Cambridge de Microsoft Research, après avoir été à Inria et aux Bell Labs. Ses travaux vont des systèmes embarqués (langage Estérel, fusée Ariane) aux modèles de la concurrence et de la sécurité (Join-Calcul). Après avoir formalisé la preuve du théorème des quatre couleurs en 2005, il a créé l’équipe du laboratoire Microsoft Research - Inria qui vient de compléter la formalisation du théorème de Feit-Thompson. Il a reçu en 2011 le Grand Prix d’informatique de la Fondation EADS.

Cordialement,

Les organisateurs

PS Colloquium suivant en 2013....


Autres Brèves