The seminar of the team LIMD is under the responsibility of Sebastien Tavenas.
Settings: See with increasing date . Show abstracts
Other years: 2005, 2007, 2008, 2009, 2010, 2011, 2012, 2013, 2014, 2015, 2016, 2017, 2018, 2019, all years together.

Year 2006

Thursday 14th December 2006 at 11h Philippe Audebaud
Vérification formelle d'algorithmes probabilistes dans coq

Thursday 7th December 2006 at 10h15 Guillaume Theyssier
Attention, une Conwayrie peut en cacher une autre.

Wednesday 6th December 2006 at 09h A Ranta
Grammars as Software Libraries

Tuesday 5th December 2006 at 14h Patrick Thévenon
Soutenance de thèse : Vers un assistant de preuve en langue naturelle

Thursday 30th November 2006 at 14h Frédéric Ruyer
Soutenance de thèse : Preuves, Types et Sous Types

Thursday 30th November 2006 at 10h15 Gilles Dowek
Les algèbres de valeurs de vérités et la normalisation

Thursday 16th November 2006 at 10h15 K Ranalter
Categories for Pragmatics

Thursday 26th October 2006 at 10h15 P Hyvernat
Introduction aux jeux de Conway et nombres surréels ; problèmes de combinatoire.

Thursday 19th October 2006 at 10h15 travail collectif
groupe de travail sur un resultat de Gandy

Thursday 12th October 2006 at 11h Aurelien Pardon
Une explication du critere de Danos-Regnier pour MLL

Thursday 5th October 2006 at 10h15 F Becker
Pavages auto-assemblants : un calcul géométrique

Thursday 28th September 2006 at 10h15 G Theyssier
Automates cellulaires et systèmes dynamiques

Thursday 21st September 2006 at 10h15 Christophe Raffalli
PhoX et après ?

Thursday 29th June 2006 at 10h15 Karim Nour
Une sémantique de réalisabilité pour un système de type avec intersection et variables d'expansion.

Thursday 22nd June 2006 at 10h15 Noel Bernard
Introduction aux Bigraphes

Thursday 15th June 2006 at 10h15 François Régis Sinot
Stratégies du lambda-calcul dans les réseaux d'interaction

Thursday 8th June 2006 at 10h15 Laurent Vuillon
Combinatoire et mots de Sturm

Thursday 11th May 2006 at 14h Laurent Regnier (Université de la Méditerranée),
TBA

Thursday 27th April 2006 at 10h Olivier Laurent (en cours de negociation)?
TBA

Thursday 13th April 2006 at 10h15 Khelifa Saber
Un résultat de complétude pour une classe de types du système F

Thursday 6th April 2006 at 10h15 Hugo Herbelin
Au coeur de la dualité du calcul : appel par nom, appel par valeur et calcul des séquents

Thursday 30th March 2006 at 14h Julien Moncel
Identification de sommets dans les graphes. (Attention : 14h)

Thursday 30th March 2006 at 10h15 Guillaume Theyssier
Automates cellulaires : de l'objet syntaxique au système dynamique

Monday 27th March 2006 at 10h15 Olivier Brunet
Éléments d'une logique de la connaissance quantique (Attention, c'est un lundi)

Thursday 23rd March 2006 at 14h15 Julien Forest
Réécriture d'ordre supérieur avec motifs. (Attention : 14h15)

Thursday 16th March 2006 at 10h15 Nicolas Bedaride
Complexité du billard polyédral

Thursday 9th March 2006 at 10h15 Emmanuel Beffara
Modèles concurrents de la logique linéaire

Thursday 9th February 2006 at 14h Yves Guiraud
Polygraphes, réécriture et logique (Attention : 14h)

Thursday 2nd February 2006 at 14h Damien Jamet
Combinatoire des mots en géométrie discrète (Attention : 14h)

Thursday 19th January 2006 at 10h Pierre Hyvernat (Institut mathématique de Luminy),
Programmation, simulations, topologie et types dépendants (and much more if time permits)

Thursday 12th January 2006 at 10h15 Katell Morin-Allory
A proof of correctness for the construction of property monitors

Thursday 5th January 2006 at 10h15 Peter Battyanyi
Weak normalization of the Lambda mu calculus with the rules mu' and rho

The seminar of the team LIMD is under the responsibility of Sebastien Tavenas.
Settings: See with increasing date . Show abstracts
Other years: 2005, 2007, 2008, 2009, 2010, 2011, 2012, 2013, 2014, 2015, 2016, 2017, 2018, 2019, all years together.