Vérifier une preuve : la conférence de Irit Dinur

Tribune

L’une des conférences plénières les plus appréciées par les participants de l’ICM (jusqu’à présent) a été celle de Irit Dinur.

Le 24 août 2010, par Étienne Ghys - 15 commentaires

Voir tous les messages - Retourner à l'article

• Vérifier une preuve : la conférence de Irit Dinur

  le 2 novembre 2010 à 10:00, par Pierre Pansu

  Une info pour les lecteurs parisiens : Irit Dinur sera à Paris du 17 au 21 janvier 2011, pour un colloque mêlant informaticiens théoriciens et mathématiciens. Elle donnera un mini-cours de 3 séances, qui devrait exiger peu de connaissances préalables, voir
  http://www.math.ens.fr/metric2011/

  Répondre à ce message