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, 2017, 2018, 2019, 2020, 2021, 2022, toutes ensemble.

Année 2016

Jeudi 15 décembre 2016 à 10h Sébastien Tavenas (LAMA),
Bornes inférieures et supérieures en complexité arithmétique

Lundi 12 décembre 2016 à 14h Shigeki Akiyama (Tsukuba),
Rotational beta expansion and self-similar tilings

Jeudi 08 décembre 2016 à 10h Karim Nour (LAMA),
Un nouveau résultat de complétude du lambda-mu-calcul simplement typé pour une sémantique de réalisabilité

Jeudi 24 novembre 2016 à 10h Damien Pous (ENS Lyon),
Coinduction all the way up

Jeudi 10 novembre 2016 à 10h Christophe Raffalli (LAMA),
Realization of a weak ultrafilter axiom

Jeudi 27 octobre 2016 à 10h Anna Frid (Aix-Marseille Université),
Suites uniformément distribuées engendrées par des mots morphiques

Jeudi 06 octobre 2016 à 10h Laurent Condat (GIPSA-lab),
Variation totale discrète : une nouvelle définition et sa minimisation

Jeudi 29 septembre 2016 à 10h Pierre-Etienne Meunier (La Motte-Servolex),
TBA

Jeudi 15 septembre 2016 à 10h Ilias Garnier (ENS Paris),
Stochastic mechanics of graph rewriting

Jeudi 23 juin 2016 à 10h Guilhem Jaber (Université Paris 7),
SyTeCi: Symbolic, Temporal and Circular reasoning for automatic proofs of contextual equivalence

Jeudi 16 juin 2016 à 10h Tomer Libal (Inria Saclay),
Functions-as-constructors Higher-order Unification

Jeudi 02 juin 2016 à 10h Tingxiang Zou (Université Lyon 1),
Classical and relative realizability

Jeudi 26 mai 2016 à 10h Frédéric Blanqui (INRIA),
Size-based termination for higher-order rewrite systems

Jeudi 19 mai 2016 à 10h Matteo Mio (ENS Lyon),
Measure Quantifier in Monadic Second Order Logic

Jeudi 14 avril 2016 à 10h Jean-Bernard Stefani (INRIA),
Location Graphs - A model for dynamic component systems

Jeudi 31 mars 2016 à 10h, 4-Canton-61 Federico Orsanigo (LAMA),
Concurrent processes and directed algebraic topology

Jeudi 24 mars 2016 à 10h Clovis Eberhart (LAMA),
Construire des terrains de jeux : catégories doubles fibrées

Jeudi 18 février 2016 à 10h Durier Adrien (ENS Lyon),
Equations et contextes avec unicité des solutions dans les calculs de processus

Mardi 02 février 2016 à 14h, Tarentaise 108 Anupam Das (ENS Lyon),
Monotonicity in Logic and Complexity

Jeudi 28 janvier 2016 à 10h JB Stefani (à venir),
à venir

Jeudi 07 janvier 2016 à 10h Sebastián Barbieri (ENS Lyon),
A short proof of the existence of strongly aperiodic subshifts over {0,1} in countable groups

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, 2017, 2018, 2019, 2020, 2021, 2022, toutes ensemble.