These seminars are common with the Plume team (ENS Lyon) and are held in the seminar room, second floor of the building Le Chablais, on the Bourget-du-lac (Savoy) site or at ENS Lyon.

Next seminar:

Thursday 23rd November 2017 at 10h Giulio Manzonetto (Paris 13),
Refutation of Sallé's Longstanding Conjecture

The seminar of the team LIMD is under the responsibility of Xavier Provencal.
Settings: See with decreasing date. Show abstracts
Other years: 2005, 2006, 2007, 2008, 2009, 2010, 2011, 2012, 2013, 2014, 2015, 2016, all years together.

Year 2017

Thursday 19th January 2017 at 10h Pawel Sobocinski (Southampton),
Programming recurrence relations

Thursday 26th January 2017 at 10h Lama Tarsissi (LAMA),
Second order balance property on Christoffel words

Thursday 2nd February 2017 at 10h Andrea Frosini (Florence),
Reconstruction of 2-convex polyominoes

Thursday 2nd February 2017 at 14h Anupam Das (ENS Lyon),
Monotonicity in Logic and Complexity

Thursday 16th February 2017 at 10h Jean-Bernard Stefani (INRIA),
TBA

Thursday 16th March 2017 at 10h Lionel Nguyen Van Thé (Aix-Marseille Université),
Théorie de Ramsey structurale et dynamique topologique

Monday 27th March 2017 at 10h Manfred Madritsch (Nancy),
Systèmes dynamiques et l'équirépartition des suites

Thursday 6th April 2017 at 10h Flavien Breuvart (Paris 13),
Un type est-il composé de termes ou un terme composé de types?

Monday 24th April 2017 at 10h Anurag Pandey (MPI),
Algebraic Independence of Polynomials over Fields of Positive Characteristic

Thursday 18th May 2017 at 10h Damiano Mazza (LIPN (Paris 13)),
Church Meets Cook and Levin

Thursday 1st June 2017 at 10h Karim Nour (LAMA),
Autour de la normalisation forte du lambda-calcul simplement typé

Thursday 22nd June 2017 at 10h Tom Hirschowitz (LAMA),
Categorical combinatorics of concurrent innocent strategies

Thursday 12th October 2017 at 10h Séminaire Chocola (TBA),
TBA

Thursday 19th October 2017 at 10h Aurore Alcolei (ENS Lyon),
The true concurrency of Herbrand's theorem

Thursday 9th November 2017 at 10h Séminaire Chocola (TBA),
TBA

Thursday 23rd November 2017 at 10h Giulio Manzonetto (Paris 13),
Refutation of Sallé's Longstanding Conjecture

Thursday 30th November 2017 at 10h Clément Jacq (IRIF (Paris 7)),
TBA

Thursday 7th December 2017 at 14h Marie Kerjean (IRIF (Paris 7)),
Smooth models of linear logic

Thursday 14th December 2017 at 10h Séminaire Chocola (TBA),
TBA

The seminar of the team LIMD is under the responsibility of Xavier Provencal.
Settings: See with decreasing date. Show abstracts
Other years: 2005, 2006, 2007, 2008, 2009, 2010, 2011, 2012, 2013, 2014, 2015, 2016, all years together.