Les séminaires sont communs avec l'équipe Plume (ENS Lyon) et ont lieu en salle de séminaire, premier étage du bâtiment Le Chablais, sur le site du Bourget du Lac ou à l'ENS Lyon.

Prochain séminaire :

Jeudi 13 octobre 2022 à 10h Stéphane Breuils (LAMA),
TBA

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, 2020, 2021, toutes ensemble.

Année 2022

Jeudi 13 octobre 2022 à 10h Stéphane Breuils (LAMA),
TBA

Jeudi 06 octobre 2022 à 10h Clovis Eberhart (National Institute of Informatics, Tokyo, Japon),
A Compositional Approach to Graph Games

Jeudi 29 septembre 2022 à 10h Yannick Zakowski (ENS Lyon),
Monadic Definitional Interpreters as Formal Semantic Models of Computations

Jeudi 07 juillet 2022 à 10h, TLR Jacques-Olivier Lachaud (LAMA),
An alternative definition for digital convexity

Jeudi 30 juin 2022 à 10h, TLR Aria Gheeraert (LAMA, Université de Bologne),
Une approche multidisciplinaire de l'étude de la dynamique des protéines et de la transmission de signaux

Jeudi 16 juin 2022 à 10h Diego Thomas (Kyushu University, Fukuoka, Japan),
3D human shape reconstruction and animation using depth cameras and deep learning

Jeudi 03 mars 2022 à 10h, TLR Matteo Acclavio (Université du Luxembourg),
Semantics for Constructive modal logics

Jeudi 06 janvier 2022 à 10h, BBB (visio) Loïc Pujet (Nantes (INRIA, LS2N)),
L'extensionnalité en théorie des type intensionnelle

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, 2020, 2021, toutes ensemble.