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

Année 2015

Jeudi 17 décembre 2015 à 10h Robert Bonnet (LAMA),
Caractérisation des espaces héréditairement ordonnables

Jeudi 10 décembre 2015 à 10h15 Jurriaan Rot (ENS Lyon),
Up-to techniques for bisimulations with silent moves

Jeudi 26 novembre 2015 à 10h Ilias Garnier (ENS Paris),
Le processus de Dirichlet comme transformation naturelle

Jeudi 19 novembre 2015 à 10h Rodolphe Lepigre (Université Savoie Mont Blanc),
Un modèle de réalisabilité par valeur pour PML

Jeudi 22 octobre 2015 à 10h Pierre Hyvernat (LAMA),
Types inductifs et coinductifs, définitions récursives et ``size-change principle``

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

Jeudi 17 septembre 2015 à 10h Christophe Raffalli (LAMA),
Tout faire avec le sous-typage

Jeudi 03 septembre 2015 à 10h Thomas Caissard (LIRIS),
Geodesic Distance and Metrics on Digital Surface

Jeudi 18 juin 2015 à 10h Blanche Buet (Université Lyon 1),
Approximation de surfaces par des varifolds discrets

Jeudi 04 juin 2015 à 10h Svetlana Puzynina (Sobolev Institute of Mathematics et ENS Lyon),
Infinite self-shuffling words

Jeudi 28 mai 2015 à 10h Colin Riba (ENS Lyon),
Fibrations of Tree Automata

Jeudi 21 mai 2015 à 10h30, ENS Lyon Miquey Charguéraud et Salibra (Paris 7, Inria et Venise),
Séminaire Chocola

Jeudi 07 mai 2015 à 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

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

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

Jeudi 09 avril 2015 à 10h30, ENS Lyon TBA (TBA),
Séminaire Chocola

Jeudi 09 avril 2015 à 10h Robert French (Université de Bourgogne),
Définition probabiliste d'un segment de droite discrète et automates cellulaires

Jeudi 02 avril 2015 à 14h Tom Hirschowitz (LAMA),
Analytic functors on presheaf categories (travail en cours avec Richard Garner, Macquarie Uni, Sydney)

Jeudi 26 mars 2015 à 10h Pawel Gladki (Uniwersytet Śląski),
Hyperfields and their applications to Witt equivalence

Jeudi 12 mars 2015 à 10h30, ENS Lyon TBA (TBA),
Séminaire Chocola

Jeudi 05 mars 2015 à 10h Rodolphe Lepigre et Christophe Raffalli (LAMA),
Mêler combinateurs, continuations et EBNF pour une analyse syntaxique efficace en OCaml

Jeudi 26 février 2015 à 10h Andrea Frosini (Università degli Studi di Firenze),
Pattern avoiding polyominoes

Jeudi 05 février 2015 à 10h30, ENS Lyon TBA (TBA),
Séminaire Chocola

Jeudi 29 janvier 2015 à 14h Jean-Louis Verger-Gaugry (LAMA),
Problème de Lehmer et fonctions zeta dynamiques limites

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

Jeudi 15 janvier 2015 à 10h Xavier Urbain (ENSIIE/CNAM),
Un cadre pour la preuve formelle adapté aux réseaux de robots mobiles

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