Collège de France

  • menu
  • FR
  • EN
  • Programmer = démontrer ? La correspondance de Curry-Howard aujourd'hui Présentation
  • 21 novembre 2018 10:00 11:00 Cours Les chemins d'une découverte : la correspondance de Curry-Howard, 1930-1970 Xavier Leroy
  • 21 novembre 2018 11:30 12:30 Cours Polymorphisme à tous les étages ! Du système F au calcul des constructions Xavier Leroy
  • 28 novembre 2018 10:00 11:00 Cours Des armes de construction massive : types inductifs et prédicats inductifs Xavier Leroy
  • 28 novembre 2018 11:30 12:30 Séminaire Les types dépendants : tout un programme ! Pierre-Évariste Dagand
  • 05 décembre 2018 10:00 11:00 Cours Il faut qu'une porte soit ouverte ou fermée ! Logique classique, continuations, opérateurs de contrôle Xavier Leroy
  • 05 décembre 2018 11:30 12:30 Séminaire Mathématiques assistées par ordinateur Assia Mahboubi
  • 12 décembre 2018 10:00 11:00 Cours Peut-on changer le monde ? Programmation impérative, effets monadiques, effets algébriques Xavier Leroy
  • 12 décembre 2018 11:30 12:30 Séminaire Programmer avec Coq : récursion et filtrage dépendant Matthieu Sozeau
  • 19 décembre 2018 10:00 11:00 Cours Des théorèmes gratuits : la paramétricité Xavier Leroy
  • 19 décembre 2018 11:30 12:30 Séminaire Peut-on dupliquer un objet ? Linéarité et contrôle des ressources Guillaume Munch-Maccagnoni
  • 09 janvier 2019 10:00 11:00 Cours Le forcing, une transformation de programme comme une autre ? Xavier Leroy
  • 09 janvier 2019 11:30 12:30 Cours À pas comptés : les techniques de step-indexing Xavier Leroy
  • 16 janvier 2019 10:00 11:00 Cours Sisyphe heureux : types infinis, démonstrations par coinduction, et programmation réactive Xavier Leroy
  • 16 janvier 2019 11:30 12:30 Séminaire Réalisabilité et forcing Alexandre Miquel
  • 23 janvier 2019 10:00 11:00 Cours Qu'est-ce que l'égalité ? De Leibniz à la théorie homotopique des types Xavier Leroy
  • 23 janvier 2019 11:30 12:30 Séminaire Sémantique des programmes fonctionnels probabilistes, à la lumière de la logique linéaire Christine Tasson
  • 30 janvier 2019 10:00 11:00 Séminaire Du calcul des constructions à la théorie des types univalents Thierry Coquand
  • 30 janvier 2019 11:30 12:30 Cours Conclusion, discussions et réponses aux questions de l'année Xavier Leroy