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 8th November 2018 at 10h
Adrien Guatto
(IRIF, Paris),
TBA
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,
all years together.
Year 2018
Thursday 8th November 2018 at 10h
Adrien Guatto
(IRIF, Paris),
TBA
Thursday 21st June 2018 at 10h
Luc Pellissier
(LIPN),
Entropy and Complexity Lower Bounds
Thursday 14th June 2018 at 10h
Henning Basold
(ENS Lyon),
Breaking the Loop: Recursive Proofs for Coinductive Predicates
Thursday 31st May 2018 at 14h
Pierre Cagne
(Institut de Recherche en Informatique Fondamentale (Équipe PPS - Paris Diderot)),
Bifibrations de Quillen, quand la dépendence rencontre l'homotopie
Thursday 24th May 2018 at 10h
Tom Hirschowitz
(LAMA Chambéry),
Familial monads and structural operational semantics
Thursday 17th May 2018 at 10h
Séminaire Chocola
(ENS Lyon),
TBA
Thursday 19th April 2018 at 10h
Arpita Korwar
(Université Paris 7),
Computational complexity of polynomial factorization - a survey
Thursday 12th April 2018 at 10h
Séminaire Chocola
(ENS Lyon),
TBA
Thursday 29th March 2018 at 09h
Maxime Lucas
(Nantes),
Réécriture de dimension supérieur et catégories cubiques
Thursday 22nd March 2018 at 10h
Oleg Karpenkov
(Department of Mathematical Sciences, University of Liverpool),
Global relations for toric singularities
Wednesday 21st March 2018 at 10h
Buket Eren
(Galatasaray University, Istambul, Turquie.),
Autour de l'équation de Markov
Thursday 15th March 2018 at 10h
Séminaire Chocola
(ENS Lyon),
TBA
Thursday 8th March 2018 at 10h
Étienne Miquey
(Nantes),
The algebraic structure of classical realizability models.
Wednesday 28th February 2018 at 10h
Eric Goles
(Engineering Faculty of the Adolfo Ibanez University, Santiago, Chile),
Dynamics and Complexity of Majority Automata: application to some discrete social models
Thursday 8th February 2018 at 10h
Séminaire Chocola
(ENS Lyon),
TBA
Thursday 1st February 2018 at 10h
Thomas Rubiano
(LIPN, Paris 13),
Implicit Computational Complexity meets Compilers
Thursday 25th January 2018 at 10h
Youssef Fares
(Amiens),
Autour de la conjecture de Poonen sur les polynômes quadratiques
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,
all years together.