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, 2011, 2012, 2013, 2014, 2015, 2016, 2017, 2018, 2019, all years together.

Year 2010

Friday 31st December 2010 at 10h10 Guillaume Theyssier (LAMA),
Trilogie autour de la ligne de fusiliers

Thursday 25th November 2010 at 14h Mouhammad Said (LIMD),
Géométrie multi-résolution des objets discrets bruités.

Thursday 25th November 2010 at 10h03 Gabriele Fici (I3S, Université de Nice),
Une nouvelle approche à l'étude des mots C∞

Thursday 14th October 2010 at 10h09 Émilie Charrier (LAMA),
Vers un estimateur de bruit local sur les surfaces discrètes

Thursday 23rd September 2010 at 10h07 Laurent Vuillon (LAMA),
Mots infinis obtenus par clôtures palindromique et antipalindromique

Thursday 16th September 2010 at 10h Tom Hirschowitz (LAMA),
Cartesian closed 2-categories and higher-order rewriting

Tuesday 20th July 2010 at 10h Martin Delacourt (LIF, Marseille),
Directional dynamics along arbitrary curves on cellular automata of dimension 1

Tuesday 8th June 2010 at 10h Florian Hatat (LAMA),
Un jeu graphique pour les catégories de réponse

Tuesday 25th May 2010 at 13h30 Aline Parreau (Institut Fourier),
Identifier les sommets d'un graphe avec des couleurs

Thursday 20th May 2010 at 10h Alexandre Miquel (ENS Lyon),
Une analyse du contenu calculatoire de la transformation de preuve par la méthode de forcing

Thursday 29th April 2010 at 10h Olivier Laurent (ENS Lyon),
Jeux et realisabilite

Thursday 8th April 2010 at 10h Muhammad Humayoun (LAMA),
Towards Automatic Formalisation of Informal Mathematical Text

Thursday 25th March 2010 at 10h Luc Gillibert (Centre de Morphologie Mathématique de l'Ecole des Mines de Paris),
Une approche géométrique pour la segmentation de la neige

Tuesday 23rd March 2010 at 13h30 Laurent Provot (Loria),
Vers une polyédrisation des objets discrets bruités 3D

Tuesday 23rd March 2010 at 10h15 Dobrina Boltcheva (Inrialpes),
Modélisation géométrique et topologique d'images 3D

Thursday 18th March 2010 at 10h Xavier Provençal (LIRMM et LAMA),
Convexité discrète et combinatoire des mots

Tuesday 16th March 2010 at 10h Jérôme Hulin (LaBRI, Bordeau),
Voisinage de test pour le calcul de l'axe médian discret

Wednesday 10th March 2010 at 13h15 Diane Larlus (Technische Universität, Darmstadt),
Segmentation de catégories d'objets, par combinaison d'un modèle par sac-de-mots et d'un champ de Markov

Tuesday 9th March 2010 at 10h Alexis Ballier (LIF, Marseille),
Ordonnons les pavages

Thursday 4th March 2010 at 10h Benno van den Berg (Technische Universität Darmstadt),
Introduction to Algebraic Set Theory

Thursday 25th February 2010 at 14h Alexandre Miquel (LIP, ENS Lyon),
Forcing et négation de l'hypothèse du continu

Thursday 25th February 2010 at 10h Alberto Dennunzio (FISLAB, Università di Milano-Bicocca, Italy),
Automates Cellulaire 2D : constructions et dynamique

Friday 12th February 2010 at 10h15 Andreas Abel (INRIA et LMU Munich),
Normalization by Evaluation for Dependent Type Theory (work in progress)

Tuesday 9th February 2010 at 10h Tristan Roussillon (LIRIS, Lyon),
Algorithmes d'extraction de modèles géométriques discrets pour la représentation robuste des formes

Thursday 28th January 2010 at 13h30 Alexandre Miquel (LIP, ENS Lyon),
La construction du modèle booléen de ZF (suite)

Thursday 28th January 2010 at 10h15 Christian Mercat (I3M, Montpellier),
Géométrie discrète conforme

Tuesday 19th January 2010 at 10h15 Nicolas Ollinger (LIF, Marseille),
L'indécidable périodicité des automates cellulaires

Thursday 14th January 2010 at 10h Damien Regnault (LIF, Marseille),
Minorité stochastique sur les pavages par coupe et projection: application à la formation des quasi-cristaux

Tuesday 12th January 2010 at 14h Antoine Vacavant (LIRIS, Université Lumière Lyon 2),
Géométrie discrète sur grilles irrégulières isothétiques

Thursday 7th January 2010 at 13h30 Alexandre Miquel (LIP, ENS Lyon),
La construction du modèle booléen de ZF

Thursday 7th January 2010 at 10h15 Gavin Seal (EPFL),
Des ensemble ordonnés aux espaces topologiques

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, 2011, 2012, 2013, 2014, 2015, 2016, 2017, 2018, 2019, all years together.