These seminars are common with the Plume team (ENS Lyon) and are held in the seminar room, second floor of the building Le Chablais, on the Bourget-du-lac (Savoy) site or at ENS Lyon.

Next seminar:

Thursday 29th September 2022 at 10h Yannick Zakowski (ENS Lyon),
Monadic Definitional Interpreters as Formal Semantic Models of Computations

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, 2020, 2021, all years together.

Year 2022

Thursday 13th October 2022 at 10h Stéphane Breuils (LAMA),
TBA

Thursday 6th October 2022 at 10h Clovis Eberhart (National Institute of Informatics, Tokyo, Japon),
TBA

Thursday 29th September 2022 at 10h Yannick Zakowski (ENS Lyon),
Monadic Definitional Interpreters as Formal Semantic Models of Computations

Thursday 7th July 2022 at 10h Jacques-Olivier Lachaud (LAMA),
An alternative definition for digital convexity

Thursday 30th June 2022 at 10h Aria Gheeraert (LAMA, Université de Bologne),
Une approche multidisciplinaire de l'étude de la dynamique des protéines et de la transmission de signaux

Thursday 16th June 2022 at 10h Diego Thomas (Kyushu University, Fukuoka, Japan),
3D human shape reconstruction and animation using depth cameras and deep learning

Thursday 3rd March 2022 at 10h Matteo Acclavio (Université du Luxembourg),
Semantics for Constructive modal logics

Thursday 6th January 2022 at 10h Loïc Pujet (Nantes (INRIA, LS2N)),
L'extensionnalité en théorie des type intensionnelle

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, 2020, 2021, all years together.