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, 2017, 2018, 2019, 2020, 2021, 2022, all years together.

Year 2016

Thursday 15th December 2016 at 10h Sébastien Tavenas (LAMA),
Bornes inférieures et supérieures en complexité arithmétique

Monday 12th December 2016 at 14h Shigeki Akiyama (Tsukuba),
Rotational beta expansion and self-similar tilings

Thursday 8th December 2016 at 10h Karim Nour (LAMA),
Un nouveau résultat de complétude du lambda-mu-calcul simplement typé pour une sémantique de réalisabilité

Thursday 24th November 2016 at 10h Damien Pous (ENS Lyon),
Coinduction all the way up

Thursday 10th November 2016 at 10h Christophe Raffalli (LAMA),
Realization of a weak ultrafilter axiom

Thursday 27th October 2016 at 10h Anna Frid (Aix-Marseille Université),
Suites uniformément distribuées engendrées par des mots morphiques

Thursday 6th October 2016 at 10h Laurent Condat (GIPSA-lab),
Variation totale discrète : une nouvelle définition et sa minimisation

Thursday 29th September 2016 at 10h Pierre-Etienne Meunier (La Motte-Servolex),
TBA

Thursday 15th September 2016 at 10h Ilias Garnier (ENS Paris),
Stochastic mechanics of graph rewriting

Thursday 23rd June 2016 at 10h Guilhem Jaber (Université Paris 7),
SyTeCi: Symbolic, Temporal and Circular reasoning for automatic proofs of contextual equivalence

Thursday 16th June 2016 at 10h Tomer Libal (Inria Saclay),
Functions-as-constructors Higher-order Unification

Thursday 2nd June 2016 at 10h Tingxiang Zou (Université Lyon 1),
Classical and relative realizability

Thursday 26th May 2016 at 10h Frédéric Blanqui (INRIA),
Size-based termination for higher-order rewrite systems

Thursday 19th May 2016 at 10h Matteo Mio (ENS Lyon),
Measure Quantifier in Monadic Second Order Logic

Thursday 14th April 2016 at 10h Jean-Bernard Stefani (INRIA),
Location Graphs - A model for dynamic component systems

Thursday 31st March 2016 at 10h Federico Orsanigo (LAMA),
Concurrent processes and directed algebraic topology

Thursday 24th March 2016 at 10h Clovis Eberhart (LAMA),
Construire des terrains de jeux : catégories doubles fibrées

Thursday 18th February 2016 at 10h Durier Adrien (ENS Lyon),
Equations et contextes avec unicité des solutions dans les calculs de processus

Tuesday 2nd February 2016 at 14h Anupam Das (ENS Lyon),
Monotonicity in Logic and Complexity

Thursday 28th January 2016 at 10h JB Stefani (à venir),
à venir

Thursday 7th January 2016 at 10h Sebastián Barbieri (ENS Lyon),
A short proof of the existence of strongly aperiodic subshifts over {0,1} in countable groups

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, 2017, 2018, 2019, 2020, 2021, 2022, all years together.