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

Year 2015

Thursday 17th December 2015 at 10h Robert Bonnet (LAMA),
Caractérisation des espaces héréditairement ordonnables

Thursday 10th December 2015 at 10h15 Jurriaan Rot (ENS Lyon),
Up-to techniques for bisimulations with silent moves

Thursday 26th November 2015 at 10h Ilias Garnier (ENS Paris),
Le processus de Dirichlet comme transformation naturelle

Thursday 19th November 2015 at 10h Rodolphe Lepigre (Université Savoie Mont Blanc),
Un modèle de réalisabilité par valeur pour PML

Thursday 22nd October 2015 at 10h Pierre Hyvernat (LAMA),
Types inductifs et coinductifs, définitions récursives et ``size-change principle``

Thursday 15th October 2015 at 10h Oscar Carrillo (LAMA),
Vérification formelle et incrémentale de spécifications SysML pour la conception de systèmes à base de composants

Thursday 17th September 2015 at 10h Christophe Raffalli (LAMA),
Tout faire avec le sous-typage

Thursday 3rd September 2015 at 10h Thomas Caissard (LIRIS),
Geodesic Distance and Metrics on Digital Surface

Thursday 18th June 2015 at 10h Blanche Buet (Université Lyon 1),
Approximation de surfaces par des varifolds discrets

Thursday 4th June 2015 at 10h Svetlana Puzynina (Sobolev Institute of Mathematics et ENS Lyon),
Infinite self-shuffling words

Thursday 28th May 2015 at 10h Colin Riba (ENS Lyon),
Fibrations of Tree Automata

Thursday 21st May 2015 at 10h30 Miquey Charguéraud et Salibra (Paris 7, Inria et Venise),
Séminaire Chocola

Thursday 7th May 2015 at 10h Hachem Hichri (Institut préparatoire aux études d’ingénieurs de Monastir),
Quelques résultats sur les nombres de Salem, les nombres de Pisot et les beta-nombres

Thursday 30th April 2015 at 10h Emmanuel Beffara (Université d'Aix-Marseille),
Vers l'unification des systèmes de types pour processus mobiles

Thursday 23rd April 2015 at 10h Nadia Lafrenière (UQAM et LAMA),
La bibliothèque de Tsetlin : Diverses approches pour les marches aléatoires sur les permutations

Thursday 9th April 2015 at 10h30 TBA (TBA),
Séminaire Chocola

Thursday 9th April 2015 at 10h Robert French (Université de Bourgogne),
Définition probabiliste d'un segment de droite discrète et automates cellulaires

Thursday 2nd April 2015 at 14h Tom Hirschowitz (LAMA),
Analytic functors on presheaf categories (travail en cours avec Richard Garner, Macquarie Uni, Sydney)

Thursday 26th March 2015 at 10h Pawel Gladki (Uniwersytet Śląski),
Hyperfields and their applications to Witt equivalence

Thursday 12th March 2015 at 10h30 TBA (TBA),
Séminaire Chocola

Thursday 5th March 2015 at 10h Rodolphe Lepigre et Christophe Raffalli (LAMA),
Mêler combinateurs, continuations et EBNF pour une analyse syntaxique efficace en OCaml

Thursday 26th February 2015 at 10h Andrea Frosini (Università degli Studi di Firenze),
Pattern avoiding polyominoes

Thursday 5th February 2015 at 10h30 TBA (TBA),
Séminaire Chocola

Thursday 29th January 2015 at 14h Jean-Louis Verger-Gaugry (LAMA),
Problème de Lehmer et fonctions zeta dynamiques limites

Thursday 22nd January 2015 at 10h Pierre Hyvernat (LAMA),
Représentation des fonctions continues entre ``streams'' (& Co.) par des types de données

Thursday 15th January 2015 at 10h Xavier Urbain (ENSIIE/CNAM),
Un cadre pour la preuve formelle adapté aux réseaux de robots mobiles

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