Le Laboratoire
Le laboratoire Accès et localisation L’annuaire de l’IMB Organigramme Trombinoscope
Recherche
Diffusion Logiciels Recherche Espace Entreprise
Evènements
Séminaires La semaine de l’IMB Manifestations Scientifiques
Actions Sociétales
Mission Parité Mission Environnement Mentorat
Bibliothèque BMI
Informatique
Site de la cellule Webmail FAQ Acheter du matériel Réserver du matériel Assistance (Help)
Intranet
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

    Institut de Mathématiques de Bordeaux UMR 5251

    Université de Bordeaux
    351, cours de la Libération - F 33 405 TALENCE

    Tél: +33 (0)5 40 00 60 70
    institut math.u-bordeaux.fr

    Universite de bordeauxcnrsinp bordeaux

    Contactez le webmaster math.u-bordeaux.fr - Mentions légales