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

Year 2019

Thursday 12th December 2019 at 10h Variés (Variées),
Séminaire Chocola

Thursday 5th December 2019 at 10h30 Paweł Gładki (Katowice),
Selected applications of algebras with multivalued addition in the algebraic theory of quadratic forms

Thursday 14th November 2019 at 10h Variés (Variés),
Séminaire Chocola

Thursday 24th October 2019 at 10h Karim Nour (LAMA),
Normalisation du lambda-mu-mu'-calcul

Thursday 10th October 2019 at 10h Clovis Eberhart (Tokyo),
History-Dependent Nominal μ-Calculus

Thursday 3rd October 2019 at 10h Karim Nour (LAMA),
Normalisation en λμμ'-calcul

Thursday 20th June 2019 at 10h Guillaume Geoffroy (Institut de mathématiques de Marseille),
TBA

Thursday 13th June 2019 at 10h Florent Capelli (Université de Lille),
TBA

Wednesday 12th June 2019 at 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.

Thursday 6th June 2019 at 10h30 Séminaire Chocola (Plusieurs orateurs),
Voir page web.

Thursday 16th May 2019 at 10h Sergueï Lenglet (Université de Lorraine),
Diacritical Companions

Thursday 9th May 2019 at 10h30 Séminaire Chocola (Plusieurs orateurs),
Voir page web.

Thursday 25th April 2019 at 10h Peio Borthelle (LAMA),
Ornements & induction-récursion

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

Thursday 4th April 2019 at 10h30 Séminaire Chocola (Plusieurs orateurs),
Voir page web.

Thursday 28th March 2019 at 10h Valentin Blot (Laboratoire Spécification et Vérification (École normale supérieure Paris-Saclay)),
TBA

Thursday 21st March 2019 at 10h Daniel Martins-Antunes (LAMA),
Digital Curvature Evolution Model for Image Segmentation

Thursday 14th March 2019 at 10h30 Séminaire Chocola (Plusieurs orateurs),
Voir page web.

Thursday 14th March 2019 at 10h Guillaume Malod (IMJ-PRJ (Paris 7)),
Séries formelles et calculs non-commutatifs

Thursday 7th February 2019 at 10h Adrien Durier (LIP, ENS Lyon),
Fonctions et processus concurrents

Thursday 24th January 2019 at 10h30 Séminaire Chocola (Plusieurs orateurs),
Voir page web.

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