The seminar of the team LIMD is under the responsibility of Sebastien Tavenas.
Settings: See with increasing date . Show abstracts
Other years: 2005, 2006, 2007, 2008, 2009, 2010, 2011, 2012, 2013, 2014, 2015, 2016, 2017, 2018, 2019, 2021, 2022, all years together.

Year 2020

Thursday 14th May 2020 at 10h Variés (Variées),
Séminaire Chocola

Thursday 2nd April 2020 at 10h Variés (Variées),
Séminaire Chocola

Thursday 12th March 2020 at 10h Variés (Variées),
Séminaire Chocola

Thursday 13th February 2020 at 10h Davide Barbarossa (LIPN (Paris 13)),
Taylor Subsumes Scott, Berry, Kahn and Plotkin

Thursday 6th February 2020 at 10h Variés (Variées),
Séminaire Chocola

Thursday 30th January 2020 at 10h Luc Pellissier (Inria et LIX),
TBA

Thursday 16th January 2020 at 10h Chaitanya Leena Subramaniam (IRIF),
Dependent type theories as ``cellular'' Lawvere theories

The seminar of the team LIMD is under the responsibility of Sebastien Tavenas.
Settings: See with increasing date . Show abstracts
Other years: 2005, 2006, 2007, 2008, 2009, 2010, 2011, 2012, 2013, 2014, 2015, 2016, 2017, 2018, 2019, 2021, 2022, all years together.