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

Année 2019

Jeudi 12 décembre 2019 à 10h, ENS Lyon Variés (Variées),
Séminaire Chocola

Jeudi 05 décembre 2019 à 10h30 Paweł Gładki (Katowice),
Selected applications of algebras with multivalued addition in the algebraic theory of quadratic forms

Jeudi 14 novembre 2019 à 10h, ENS Lyon Variés (Variés),
Séminaire Chocola

Jeudi 24 octobre 2019 à 10h Karim Nour (LAMA),
Normalisation du lambda-mu-mu'-calcul

Jeudi 10 octobre 2019 à 10h Clovis Eberhart (Tokyo),
History-Dependent Nominal μ-Calculus

Jeudi 03 octobre 2019 à 10h Karim Nour (LAMA),
Normalisation en λμμ'-calcul

Jeudi 20 juin 2019 à 10h Guillaume Geoffroy (Institut de mathématiques de Marseille),
TBA

Jeudi 13 juin 2019 à 10h Florent Capelli (Université de Lille),
TBA

Mercredi 12 juin 2019 à 10h Dr. Hassen KTHIRI (University of Sfax - Department of Mathematics),
Sur les paires de séries de Pisot dans le corps des séries de Laurent sur un corps fini Fq : Caractérisations et Cardinalités.

Jeudi 06 juin 2019 à 10h30 Séminaire Chocola (Plusieurs orateurs),
Voir page web.

Jeudi 16 mai 2019 à 10h Sergueï Lenglet (Université de Lorraine),
Diacritical Companions

Jeudi 09 mai 2019 à 10h30 Séminaire Chocola (Plusieurs orateurs),
Voir page web.

Jeudi 25 avril 2019 à 10h Peio Borthelle (LAMA),
Ornements & induction-récursion

Jeudi 11 avril 2019 à 10h Rodolphe Lepigre (Max Planck Institute, Sarrebruck),
Une introduction rapide à la logique de séparation concurrente Iris

Jeudi 04 avril 2019 à 10h30 Séminaire Chocola (Plusieurs orateurs),
Voir page web.

Jeudi 28 mars 2019 à 10h Valentin Blot (Laboratoire Spécification et Vérification (École normale supérieure Paris-Saclay)),
TBA

Jeudi 21 mars 2019 à 10h Daniel Martins-Antunes (LAMA),
Digital Curvature Evolution Model for Image Segmentation

Jeudi 14 mars 2019 à 10h30 Séminaire Chocola (Plusieurs orateurs),
Voir page web.

Jeudi 14 mars 2019 à 10h Guillaume Malod (IMJ-PRJ (Paris 7)),
Séries formelles et calculs non-commutatifs

Jeudi 07 février 2019 à 10h Adrien Durier (LIP, ENS Lyon),
Fonctions et processus concurrents

Jeudi 24 janvier 2019 à 10h30 Séminaire Chocola (Plusieurs orateurs),
Voir page web.

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