Le séminaire de l’équipe LIMD est sous la responsabilité de Sebastien Tavenas.
Options : Voir par date croissante . Afficher les résumés.
Autres années : 2005, 2006, 2007, 2008, 2009, 2010, 2011, 2012, 2013, 2014, 2015, 2016, 2017, 2018, 2019, 2021, 2022, toutes ensemble.

Année 2020

Jeudi 14 mai 2020 à 10h, ENS Lyon Variés (Variées),
Séminaire Chocola

Jeudi 02 avril 2020 à 10h, ENS Lyon Variés (Variées),
Séminaire Chocola

Jeudi 12 mars 2020 à 10h, ENS Lyon Variés (Variées),
Séminaire Chocola

Jeudi 13 février 2020 à 10h Davide Barbarossa (LIPN (Paris 13)),
Taylor Subsumes Scott, Berry, Kahn and Plotkin

Jeudi 06 février 2020 à 10h, ENS Lyon Variés (Variées),
Séminaire Chocola

Jeudi 30 janvier 2020 à 10h Luc Pellissier (Inria et LIX),
TBA

Jeudi 16 janvier 2020 à 10h Chaitanya Leena Subramaniam (IRIF),
Dependent type theories as ``cellular'' Lawvere theories

Le séminaire de l’équipe LIMD est sous la responsabilité de Sebastien Tavenas.
Options : Voir par date croissante . Afficher les résumés.
Autres années : 2005, 2006, 2007, 2008, 2009, 2010, 2011, 2012, 2013, 2014, 2015, 2016, 2017, 2018, 2019, 2021, 2022, toutes ensemble.