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

Year 2009

Thursday 17th December 2009 at 10h Séminaire Choco (Plusieurs orateurs),
Séminaire Choco

Thursday 10th December 2009 at 10h15 Laurent Boyer (LAMA),
Factor universality in cellular automata

Thursday 3rd December 2009 at 10h15 Krzysztof Worytkiewicz (AGH University of Science and Technology),
Une structure de modeles ``folk'' pour les omega-categories

Thursday 19th November 2009 at 10h15 Jean-Marc Andréoli (Xerox Research Centre Europe),
Deux digressions autour de la logique linéaire

Thursday 12th November 2009 at 14h Groupe de lecture Kohlenbach (Plume et LIMD),
Séance 2

Thursday 12th November 2009 at 10h15 Vasileios Koutavas (Trinity College, Dublin),
First-Order Reasoning about Higher-Order Concurrency

Thursday 5th November 2009 at 10h15 Alexandre Miquel (LIP, ENS Lyon),
Modèles booléens (II)

Thursday 22nd October 2009 at 10h Séminaire Choco (Plusieurs orateurs),
Séminaire Choco

Thursday 15th October 2009 at 10h15 Matthieu Simonet (LAMA),
Mots de retour et pavage dans les plans discrets

Thursday 8th October 2009 at 10h15 Karim Nour (LAMA),
Un lambda-calcul parallèle

Thursday 1st October 2009 at 14h Alexandre Miquel (LIP, ENS Lyon),
Une introduction aux modèles booléens

Thursday 24th September 2009 at 14h Martin Hofmann (LMU, Munich),
Amortized Resource Analysis with Polynomial Potential

Thursday 24th September 2009 at 10h15 Pawel Sobocinski (Southampton),
An introduction to the wire calculus

Friday 18th September 2009 at 08h45 Emilie Charrier (LAMA),
Cocktail de géométrie discrète :
Approximation de nombres réels par des rationnels à dénominateur borné
Reconnaissance de plans discrets
Épaisseur dans un réseau n-dimensionnel

Thursday 10th September 2009 at 14h Mark Weber (MPI Bonn),
TBA (On funny tensor products)

Thursday 10th September 2009 at 10h15 Christophe Raffalli (LAMA),
PML pour les nuls

Thursday 27th August 2009 at 10h15 Pierre-Etienne Meunier (LAMA),
Complexité de communication et automates cellulaires

Thursday 16th July 2009 at 10h15 Alexandre Blondin Massé (LAMA),
Palindromes généralisés, chemins de Fibonacci et doubles pavages

Thursday 25th June 2009 at 10h15 Sylvain Hallé (University of California Santa Barbara),
Le runtime monitoring d'une logique temporelle: une application aux contrats d'interface des applications web

Monday 18th May 2009 at 14h Alejandro Díaz-Caro (LIG),
Vectorial System F: Towards a Quantum Type System

Monday 18th May 2009 at 10h Pablo Arrighi (LIG),
Unitarity plus causality implies locality

Tuesday 12th May 2009 at 14h Types (2009),
Rencontre annuelle du projet Types

Thursday 7th May 2009 at 10h15 Guillaume Theyssier (LAMA),
Groupe de travail complexité géométrique

Thursday 30th April 2009 at 10h15 Damien Regnault (LIP, ENS Lyon),
Minorité stochastique sur les graphes

Thursday 23rd April 2009 at 10h15 Guillaume Theyssier (LAMA),
Sous-shifts et logique monadique du second ordre

Friday 3rd April 2009 at 08h45 Antonino Salibra (Venise),
Théories et Modèles du Lambda Calcul

Thursday 2nd April 2009 at 10h Choco (Ottawa, PPS et LIPN),
Séminaire Choco

Thursday 26th March 2009 at 10h15 Assia Mahboubi (INRIA/MSR/LIX, Paris),
TBA

Thursday 12th March 2009 at 10h Choco (TBA),
Séminaire Choco

Thursday 5th March 2009 at 11h Pierre Clairambault (PPS, Paris 7),
Plus petits et plus grands points fixes en sémantique des jeux

Thursday 26th February 2009 at 10h15 Alexandre Miquel (LIP, ENS Lyon),
Extraction de programmes à partir de preuves classiques en Coq

Thursday 5th February 2009 at 10h15 Projet Choco (Lisbonne, LSV Cachan, PPS Paris 7),
Séminaire Choco

Thursday 29th January 2009 at 10h15 Joachim Kock (Université de Barcelone),
Introduction to the theory of polynomial functors

Thursday 22nd January 2009 at 10h15 Christophe Raffalli (LAMA),
Analyse grammaticale du français : des concepts théoriques ou de la bidoulle ?

Thursday 15th January 2009 at 10h15 François de Vieilleville (LAMA),
Segments maximaux et estimateurs de tangentes

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