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

Year 2014

Thursday 6th February 2014 at 10h Laurent Vuillon (LAMA),
De la géométrie discrète à la biologie des interactions protéine-protéine

Thursday 20th February 2014 at 10h Luigi Santocanale (Laboratoire d'Informatique Fondamentale, Aix-Marseille Université),
Catégories mu-bicomplètes, jeux de parité, et élimination des coupures pour les preuves circulaires

Thursday 27th February 2014 at 10h Michele Basaldella (Université d'Aix-Marseille),
Infinitary classical logic: recursive equations and interactive semantics

Thursday 20th March 2014 at 10h Isar Stubbe (Université du Littoral-Côte d'Opale),
Eléments locaux, métriques partiels, diagonaux, et changement de base

Thursday 3rd April 2014 at 13h30 Julien Leroy (Université du Luxembourg),
Caractérisation S-adique des sous-shifts minimaux de complexité inférieur à 2n+1

Tuesday 15th April 2014 at 14h Keiko Nakata (Tallinn University of Technology),
Walking through infinite trees with mixed induction and coinduction: A Proof Pearl with the Fan Theorem and Bar Induction.

Thursday 15th May 2014 at 10h Fabio Zanasi (ENS Lyon),
How to kill epsilons with a dagger - a coalgebraic take on systems with algebraic label structure

Thursday 22nd May 2014 at 10h Karim Nour (LAMA),
Autour de la propriété de l'image(d'un terme) pour la théorie H

Thursday 19th June 2014 at 10h Clément Aubert (Luminy),
Programmation logique, unification et espace logarithmique

Thursday 26th June 2014 at 10h Sébastien Labbé (LIAFA),
A d-dimensional extension of Christoffel words

Thursday 4th September 2014 at 10h Flavien Breuvart (PPS),
De la caractérisation des modèles de H*

Thursday 25th September 2014 at 10h30 Dal Lago. Schöpp. Vignudelli (Bologne, Munich, Bologne),
Séminaire Chocola

Thursday 2nd October 2014 at 10h Clovis Eberhart (ENS Cachan),
Semrings, Partial Rings, and Weighted Language Equivalence

Thursday 9th October 2014 at 10h Thomas Seiller (Institut des Hautes Études Scientifiques),
Des invariants de cohomologie pour la complexité?

Thursday 16th October 2014 at 10h30 Breuvart Jacobé de Naurois Schmitz (Paris 7, Paris 13, Cachan),
Séminaire Chocola

Thursday 23rd October 2014 at 10h Jacques-Olivier Lachaud (LAMA),
Multigrid-convergence of digital curvature estimators

Thursday 13th November 2014 at 10h30 TBA (TBA),
Séminaire Chocola

Thursday 20th November 2014 at 10h Louis Cuel (LAMA),
Voronoi-based Geometric Inference

Thursday 4th December 2014 at 10h30 TBA (TBA),
Séminaire Chocola

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