Le séminaire de l’équipe LIMD est sous la responsabilité de Xavier Provençal.
Options : Voir par date croissante . Afficher les résumés.
Autres années : 2005, 2006, 2007, 2008, 2009, 2010, 2011, 2012, 2013, 2015, 2016, 2017, toutes ensemble.

Année 2014

Jeudi 04 décembre 2014 à 10h30, ENS Lyon TBA (TBA),
Séminaire Chocola

Jeudi 20 novembre 2014 à 10h Louis Cuel (LAMA),
Voronoi-based Geometric Inference

Jeudi 13 novembre 2014 à 10h30, ENS Lyon TBA (TBA),
Séminaire Chocola

Jeudi 23 octobre 2014 à 10h Jacques-Olivier Lachaud (LAMA),
Multigrid-convergence of digital curvature estimators

Jeudi 16 octobre 2014 à 10h30, ENS Lyon Breuvart Jacobé de Naurois Schmitz (Paris 7, Paris 13, Cachan),
Séminaire Chocola

Jeudi 09 octobre 2014 à 10h Thomas Seiller (Institut des Hautes Études Scientifiques),
Des invariants de cohomologie pour la complexité?

Jeudi 02 octobre 2014 à 10h Clovis Eberhart (ENS Cachan),
Semrings, Partial Rings, and Weighted Language Equivalence

Jeudi 25 septembre 2014 à 10h30, ENS Lyon Dal Lago. Schöpp. Vignudelli (Bologne, Munich, Bologne),
Séminaire Chocola

Jeudi 04 septembre 2014 à 10h Flavien Breuvart (PPS),
De la caractérisation des modèles de H*

Jeudi 26 juin 2014 à 10h Sébastien Labbé (LIAFA),
A d-dimensional extension of Christoffel words

Jeudi 19 juin 2014 à 10h Clément Aubert (Luminy),
Programmation logique, unification et espace logarithmique

Jeudi 22 mai 2014 à 10h Karim Nour (LAMA),
Autour de la propriété de l'image(d'un terme) pour la théorie H

Jeudi 15 mai 2014 à 10h Fabio Zanasi (ENS Lyon),
How to kill epsilons with a dagger - a coalgebraic take on systems with algebraic label structure

Mardi 15 avril 2014 à 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.

Jeudi 03 avril 2014 à 13h30 Julien Leroy (Université du Luxembourg),
Caractérisation S-adique des sous-shifts minimaux de complexité inférieur à 2n+1

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

Jeudi 27 février 2014 à 10h Michele Basaldella (Université d'Aix-Marseille),
Infinitary classical logic: recursive equations and interactive semantics

Jeudi 20 février 2014 à 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

Jeudi 06 février 2014 à 10h Laurent Vuillon (LAMA),
De la géométrie discrète à la biologie des interactions protéine-protéine

Le séminaire de l’équipe LIMD est sous la responsabilité de Xavier Provençal.
Options : Voir par date croissante . Afficher les résumés.
Autres années : 2005, 2006, 2007, 2008, 2009, 2010, 2011, 2012, 2013, 2015, 2016, 2017, toutes ensemble.