Aller au contenu principal

Accès rapides

  • Agenda
  • Audios & vidéos
  • Chaires
  • EN
  • EN

Navigation principale

  • Les enseignements
    • Agenda
    • Audios & vidéos
    • Chaires actuelles
    • Grands événements
    • Conférenciers invités
    • Tous les enseignements
  • Recherche
  • Bibliothèques
  • Éditions
  • Le Collège de France
    • L'institution et son histoire
    • Les chaires
    • Les prix scientifiques
    • Les grands événements
    • Programmes spécifiques
    • Diffusion numérique des savoirs
    • La Fondation du Collège de France
    • La Fondation Hugot
    • Université PSL
    • Formation doctorale
    • Travailler au Collège de France
    • Actualités
    • Visiter le Collège de France

Accès rapides

  • Agenda
  • Audios & vidéos
  • Chaires
02 juin 2025
Colloque

Formalisation des mathématiques et types dépendants

02 juin 2025
  • Facebook
  • X (ex-Twitter)
  • Linkedin
  • Copier le lien
Lundi 2 juin 2025
Voir aussi :
  • Thierry Coquand

Programme

Colloque
09:00 - 18:00

Formalisation des mathématiques et types dépendants

Thierry Coquand
02 juin 2025
Formalisation des mathématiques et types dépendants
Amphithéâtre Guillaume Budé, Site Marcelin Berthelot
02 juin 2025
09:00 - 18:00

Voir aussi

Thierry Coquand, chaire Informatique et sciences numériques

Fil d'Ariane

  1. Accueil
  2. Le Collège
  3. Les chaires
  4. Chaires annuelles
  5. Chaire annuelle Informatique et sciences numériques
  6. Thierry Coquand, chaire Informatique et sciences numériques
  7. Enseignements
  8. Formalisation des mathématiques et types dépendants

Accès direct

  • Agenda
  • Audios & vidéos
  • 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
  • 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