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 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.