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
Thierry Coquand
Thierry Coquand

Enseignements

Informatique et sciences numériques

Menu de la chaire

  • La chaire
  • Biographie et publications
  • Enseignements
  • Audios & vidéos
  • Actualités
  • Apple Podcasts
  • Spotify
  • Flux RSS Podcasts
  • Flux RSS Actualités
  • Flux RSS Audiovisuel
  • Facebook
  • LinkedIn
  • Bluesky
  • Threads
  • Copier le lien
  • La chaire
  • Biographie et publications
  • Enseignements
  • Audios & vidéos
  • Actualités
À venir
Cours
19 mai 2025
10:00 à 11:00
Thierry Coquand

Modalités et modèles de la théorie des types

Colloque
02 juin 2025
Thierry Coquand

Formalisation des mathématiques et types dépendants

3 cycles
Filtres
Type d'enseignement
  • Cours (1)
  • Colloque (1)
  • Leçon inaugurale (1)
Année académique
  • 2024 - 2025 (3)
Type d'enseignement
  • Cours (1)
  • Colloque (1)
  • Leçon inaugurale (1)
Année académique
  • 2024 - 2025 (3)

2024 - 2025

Leçon inaugurale
18:00 - 19:00

La théorie des types, de Russell aux assistants à la démonstration

Thierry Coquand
13 Mar 2025
Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot
13 Mar 2025
18:00 - 19:00
Cours

Théorie des types dépendants et formalisation des mathématiques

Thierry Coquand
Formules mathématiques (programme pour le principe d'univalence)
17 Mar 2025 → 19 mai 2025
17 Mar 2025 → 19 mai 2025
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

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

Accès direct

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