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 : 2006, 2007, 2008, 2009, 2010, 2011, 2012, 2013, 2014, 2015, 2016, 2017, toutes ensemble.

Année 2005

Jeudi 08 décembre 2005 à 10h15, Chambéry Patrick Thévenon ,
Typage avec deux flèches

Jeudi 08 décembre 2005 à 10h, Lyon, Salle B1 Stephane Le Roux (ENS Lyon),
Théorie des jeux sans probabilité

Lundi 05 décembre 2005 à 14h, Lyon, Salle B1 Jakub Kozik (Jagiellonian University),
Decidability of density problem for languages

Jeudi 01 décembre 2005 à 10h15, Chambéry Christophe Raffalli ,
Typage sans types, preuve de la préservation du type.

Jeudi 01 décembre 2005 à 10h, Lyon, Salle B1 Radu Mateescu (INRIA),
Communication mobile à travers des portes immobiles

Jeudi 24 novembre 2005 à 10h, Lyon, Salle B1 Claudia Faggian et Patrick Baillot ,
Meta interactions

Jeudi 17 novembre 2005 à 10h15, Chambéry Anne Bouillard (LIP ENS Lyon),
Etude combinatoire et asymptotique du groupe de traces

Jeudi 03 novembre 2005 à 10h, Lyon, Salle B1 Christophe Raffalli (LAMA (université de Savoie)),
Typing without types (Types as programs)

Jeudi 13 octobre 2005 à 14h15, Chambéry Fairouz Kamareddine (Heriot-Watt University, Edinburgh, Scotland),
Théorie des types

Jeudi 22 septembre 2005 à 10h, Lyon, Salle B1 Rene Vestergaard (JAIST (Japon)),
Reasoning about Languages with Binding: a first-order foundation and full adequacy

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 : 2006, 2007, 2008, 2009, 2010, 2011, 2012, 2013, 2014, 2015, 2016, 2017, toutes ensemble.