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.