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

Year 2011

Thursday 13th January 2011 at 10h03 Thomas Seiller (Institut mathématique de Luminy),
Graphes d'interaction

Thursday 20th January 2011 at 10h07 Pierre Hyvernat (LIMD),
Le principe du ``size-change termination'' pour les langages avec constructeurs

Thursday 10th February 2011 at 10h03 Vincent Nesme (University of Potsdam),
Automates cellulaires linéaires et fractales

Thursday 17th March 2011 at 10h11 Peter G. Hancock (University of Strathclyde),
Logarithms and exponentiality

Thursday 24th March 2011 at 10h11 Alina FIRICEL (Institut Camille Jordan),
Automates finis et séries de Laurent algébriques

Thursday 31st March 2011 at 10h14 Peter G. Hancock (University of Strathclyde),
Distillation of inductive-recursive definition

Thursday 14th April 2011 at 10h Tom Hirschowitz (LAMA (LIMD)),
Introduction aux prefaisceaux

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

Thursday 12th May 2011 at 10h06 Tom Hirschowitz (LAMA (LIMD)),
Introduction aux faisceaux

Tuesday 17th May 2011 at 10h06 Vincenzo Ciancia (Amsterdam, ILLC),
Labelled transition systems with interfaces and symmetry: coalgebras in a presheaf category and their finite representations

Thursday 19th May 2011 at 10h05 Luidnel Maignan (INRIA Saclay),
Points, Distances and Cellular Automata: Geometric and Spatial Algorithmics

Thursday 26th May 2011 at 10h03 Christophe Raffalli (LIMD),
(Co-)Inductive type : subtyping may be enough

Thursday 9th June 2011 at 10h Nicolas Michel (EPFL),
TBA

Thursday 16th June 2011 at 14h30 Mohamad Ziadeh (LIMD),
Completness for simply typed lambda mu calculus

Thursday 30th June 2011 at 11h Yukiko Kenmochi (Laboratoire d'Informatique Gaspard-Monge, Université Paris-Est),
L'ajustement robuste d'un hyperplan discret

Thursday 7th July 2011 at 10h09 Pierre Hyvernat (LIMD),
Petit casse-tête combinatoire : sections non-ordonnées et fonctions booléennes strictement croissantes

Thursday 22nd September 2011 at 10h Pierre Hyvernat (LIMD),
Foncteurs polynomiaux, jeux et logique linéaire (différentielle)

Thursday 29th September 2011 at 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)

Thursday 6th October 2011 at 10h Tim Porter (WIMCS, University of Bangor),
Homotopical Aspects on Multiagent Systems

Thursday 20th October 2011 at 10h Lionel Vaux (LDP, IML),
On the transport of finiteness structures

Thursday 17th November 2011 at 10h Krzysztof Worytkiewicz (LAMA),
Simulations as homotopies

Thursday 1st December 2011 at 10h Karim Nour (LAMA, LIMD),
About the range property for H

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

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