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

Année 2011

Jeudi 15 décembre 2011 à 10h Annette Casagrande (LAMA, LIMD),
Proposition d'une mesure de voisinage entre textes Application à la veille stratégique

Jeudi 01 décembre 2011 à 10h Karim Nour (LAMA, LIMD),
About the range property for H

Jeudi 17 novembre 2011 à 10h Krzysztof Worytkiewicz (LAMA),
Simulations as homotopies

Jeudi 20 octobre 2011 à 10h Lionel Vaux (LDP, IML),
On the transport of finiteness structures

Jeudi 06 octobre 2011 à 10h Tim Porter (WIMCS, University of Bangor),
Homotopical Aspects on Multiagent Systems

Jeudi 29 septembre 2011 à 10h Pawel Gladki (AGH University of Science and Technology, Kraków, Poland),
Quotients of index two of the space of orderings of the field Q(x)

Jeudi 22 septembre 2011 à 10h Pierre Hyvernat (LIMD),
Foncteurs polynomiaux, jeux et logique linéaire (différentielle)

Jeudi 07 juillet 2011 à 10h09 Pierre Hyvernat (LIMD),
Petit casse-tête combinatoire : sections non-ordonnées et fonctions booléennes strictement croissantes

Jeudi 30 juin 2011 à 11h Yukiko Kenmochi (Laboratoire d'Informatique Gaspard-Monge, Université Paris-Est),
L'ajustement robuste d'un hyperplan discret

Jeudi 16 juin 2011 à 14h30, Realizability Workshop Mohamad Ziadeh (LIMD),
Completness for simply typed lambda mu calculus

Jeudi 09 juin 2011 à 10h Nicolas Michel (EPFL),
TBA

Jeudi 26 mai 2011 à 10h03 Christophe Raffalli (LIMD),
(Co-)Inductive type : subtyping may be enough

Jeudi 19 mai 2011 à 10h05 Luidnel Maignan (INRIA Saclay),
Points, Distances and Cellular Automata: Geometric and Spatial Algorithmics

Mardi 17 mai 2011 à 10h06 Vincenzo Ciancia (Amsterdam, ILLC),
Labelled transition systems with interfaces and symmetry: coalgebras in a presheaf category and their finite representations

Jeudi 12 mai 2011 à 10h06 Tom Hirschowitz (LAMA (LIMD)),
Introduction aux faisceaux

Jeudi 21 avril 2011 à 10h Lionel Nguyen Van Thé (LATP (Marseille)),
Théorie de Ramsey, points fixes d'actions de groupes et correspondance de Kechris-Pestov-Todorcevic

Jeudi 14 avril 2011 à 10h Tom Hirschowitz (LAMA (LIMD)),
Introduction aux prefaisceaux

Jeudi 31 mars 2011 à 10h14 Peter G. Hancock (University of Strathclyde),
Distillation of inductive-recursive definition

Jeudi 24 mars 2011 à 10h11 Alina FIRICEL (Institut Camille Jordan),
Automates finis et séries de Laurent algébriques

Jeudi 17 mars 2011 à 10h11 Peter G. Hancock (University of Strathclyde),
Logarithms and exponentiality

Jeudi 10 février 2011 à 10h03 Vincent Nesme (University of Potsdam),
Automates cellulaires linéaires et fractales

Jeudi 20 janvier 2011 à 10h07 Pierre Hyvernat (LIMD),
Le principe du ``size-change termination'' pour les langages avec constructeurs

Jeudi 13 janvier 2011 à 10h03 Thomas Seiller (Institut mathématique de Luminy),
Graphes d'interaction

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