Partager Facebook Twitter Linkedin Copier le lien Séminaire Programmer = démontrer ? La correspondance de Curry-Howard aujourd'hui
du 28 nov 2018 → 30 jan 2019 Associé à Xavier Leroy, chaire Sciences du logiciel Documents et médias Télécharger le programme pdf (366.45 Ko) Programme Séminaire 28 nov 2018 11:30 - 12:30 Séminaire Pierre-Évariste Dagand Les types dépendants : tout un programme ! Programmer = démontrer ? La correspondance de Curry-Howard aujourd'hui Séminaire 05 déc 2018 11:30 - 12:30 Séminaire Assia Mahboubi Mathématiques assistées par ordinateur Programmer = démontrer ? La correspondance de Curry-Howard aujourd'hui Séminaire 12 déc 2018 11:30 - 12:30 Séminaire Matthieu Sozeau Programmer avec Coq : récursion et filtrage dépendant Programmer = démontrer ? La correspondance de Curry-Howard aujourd'hui Séminaire 19 déc 2018 11:30 - 12:30 Séminaire Guillaume Munch-Maccagnoni Peut-on dupliquer un objet ? Linéarité et contrôle des ressources Programmer = démontrer ? La correspondance de Curry-Howard aujourd'hui Séminaire 16 jan 2019 11:30 - 12:30 Séminaire Alexandre Miquel Réalisabilité et forcing Programmer = démontrer ? La correspondance de Curry-Howard aujourd'hui Séminaire 23 jan 2019 11:30 - 12:30 Séminaire Christine Tasson Sémantique des programmes fonctionnels probabilistes, à la lumière de la logique linéaire Programmer = démontrer ? La correspondance de Curry-Howard aujourd'hui Séminaire 30 jan 2019 10:00 - 11:00 Séminaire Thierry Coquand Du calcul des constructions à la théorie des types univalents Programmer = démontrer ? La correspondance de Curry-Howard aujourd'hui
Séminaire 28 nov 2018 11:30 - 12:30 Séminaire Pierre-Évariste Dagand Les types dépendants : tout un programme ! Programmer = démontrer ? La correspondance de Curry-Howard aujourd'hui
Séminaire 05 déc 2018 11:30 - 12:30 Séminaire Assia Mahboubi Mathématiques assistées par ordinateur Programmer = démontrer ? La correspondance de Curry-Howard aujourd'hui
Séminaire 12 déc 2018 11:30 - 12:30 Séminaire Matthieu Sozeau Programmer avec Coq : récursion et filtrage dépendant Programmer = démontrer ? La correspondance de Curry-Howard aujourd'hui
Séminaire 19 déc 2018 11:30 - 12:30 Séminaire Guillaume Munch-Maccagnoni Peut-on dupliquer un objet ? Linéarité et contrôle des ressources Programmer = démontrer ? La correspondance de Curry-Howard aujourd'hui
Séminaire 16 jan 2019 11:30 - 12:30 Séminaire Alexandre Miquel Réalisabilité et forcing Programmer = démontrer ? La correspondance de Curry-Howard aujourd'hui
Séminaire 23 jan 2019 11:30 - 12:30 Séminaire Christine Tasson Sémantique des programmes fonctionnels probabilistes, à la lumière de la logique linéaire Programmer = démontrer ? La correspondance de Curry-Howard aujourd'hui
Séminaire 30 jan 2019 10:00 - 11:00 Séminaire Thierry Coquand Du calcul des constructions à la théorie des types univalents Programmer = démontrer ? La correspondance de Curry-Howard aujourd'hui