IMB > Recherche > Séminaires

Séminaire Théorie des Nombres

Responsables : Eric Balandraud, Andrea Fanelli.

  • Le 30 septembre 2022 à 14:00
  • Salle de Conférences
    Comité d'organisation : Philippe Lebacque, Cecília Salgado, Fabien Pazuki.
    Diophantine Geometry and L-functions: Hindry 65 - 26-30 septembre 2022 - Salle de conférences IMB

  • Le 7 octobre 2022 à 14:00
  • Salle de Conférences
    Anne Quéguiner-Mathieu (Paris 13)
    À préciser
    À préciser
  • Le 14 octobre 2022 à 14:00
  • Salle de Conférences
    Sanoli Gun (IMSc, Chennai)
    À préciser
    À préciser
  • Le 21 octobre 2022 à 14:00
  • Salle de Conférences
    Riccardo Brasca
    Formalisation des mathématiques et l'assistant de preuve Lean
    Je vais parler dans cet exposé de formalisation des mathématiques, le processus 'd'expliquer' des théorèmes à un ordinateur. J'expliquerai comment fonctionnent les assistants de preuve et pourquoi ils peuvent être utiles pour les mathématiciens. Je raconterai aussi l'histoire d'un projet dont le but était la formalisation d'un résultat très récent de Clausen et Scholze. Je terminerai en montrant en pratique Lean, un des assistants de preuve les plus utilisés aujourd'hui. Cet exposé n'est pas à propos des fondements des mathématiques, en particulier aucune connaissance autour de la formalisation est requise.
  • Le 28 octobre 2022 à 14:00
  • Salle de Conférences
    Gautier Ponsinet (IMB)
    À préciser
    À préciser
  • Le 18 novembre 2022 à 14:00
  • Salle de Conférences
    Daniele Turchetti (Warwick, ETH Zürich)
    À préciser
    À préciser
  • Le 25 novembre 2022 à 14:00
  • Salle de Conférences
    Cécile Dartyge (Université de Lorraine)
    TBA
    TBA
  • Le 2 décembre 2022 à 14:00
  • Salle de Conférences
    Margaret Bilu (IMB)
    À préciser
    À préciser
  • Le 9 décembre 2022 à 14:00
  • Salle de Conférences
    Loïs Faisant (Institut Fourier, Grenoble)
    À préciser
    À préciser
  • Le 6 janvier 2023 à 14:00
  • Salle de Conférences
    Thibault Poiret
    TBA
    TBA
  • Le 20 janvier 2023 à 14:00
  • Salle de Conférences
    Kevin Destagnol (Paris-Saclay)
    TBA
    TBA
  • Le 28 avril 2023 à 14:00
  • Salle de Conférences
    Paolo Cascini (Imperial College London)
    À préciser
    À préciser

    Les séminaires depuis 2013