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

Year 2005

Thursday 22nd September 2005 at 10h Rene Vestergaard (JAIST (Japon)),
Reasoning about Languages with Binding: a first-order foundation and full adequacy

Thursday 13th October 2005 at 14h15 Fairouz Kamareddine (Heriot-Watt University, Edinburgh, Scotland),
Théorie des types

Thursday 3rd November 2005 at 10h Christophe Raffalli (LAMA (université de Savoie)),
Typing without types (Types as programs)

Thursday 17th November 2005 at 10h15 Anne Bouillard (LIP ENS Lyon),
Etude combinatoire et asymptotique du groupe de traces

Thursday 24th November 2005 at 10h Claudia Faggian et Patrick Baillot
Meta interactions

Thursday 1st December 2005 at 10h Radu Mateescu (INRIA),
Communication mobile à travers des portes immobiles

Thursday 1st December 2005 at 10h15 Christophe Raffalli
Typage sans types, preuve de la préservation du type.

Monday 5th December 2005 at 14h Jakub Kozik (Jagiellonian University),
Decidability of density problem for languages

Thursday 8th December 2005 at 10h Stephane Le Roux (ENS Lyon),
Théorie des jeux sans probabilité

Thursday 8th December 2005 at 10h15 Patrick Thévenon
Typage avec deux flèches

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