Le séminaire de l’équipe LIMD est sous la responsabilité de Guillaume Theyssier.
Options : Voir par date croissante . Afficher les résumés.
Autres années : 2005, 2007, 2008, 2009, 2010, 2011, 2012, 2013, toutes ensemble.

Année 2006

Jeudi 14 décembre 2006 à 11h, Lyon, salle B2 Philippe Audebaud ,
Vérification formelle d'algorithmes probabilistes dans coq

Jeudi 07 décembre 2006 à 10h15, Chambéry Guillaume Theyssier ,
Attention, une Conwayrie peut en cacher une autre.

Mercredi 06 décembre 2006 à 09h, Chambéry A Ranta ,
Grammars as Software Libraries

Mardi 05 décembre 2006 à 14h, Chambéry Patrick Thévenon ,
Soutenance de thèse : Vers un assistant de preuve en langue naturelle

Jeudi 30 novembre 2006 à 14h, Chambéry Frédéric Ruyer ,
Soutenance de thèse : Preuves, Types et Sous Types

Jeudi 30 novembre 2006 à 10h15, Chambéry Gilles Dowek ,
Les algèbres de valeurs de vérités et la normalisation

Jeudi 16 novembre 2006 à 10h15, Chambéry K Ranalter ,
Categories for Pragmatics

Jeudi 26 octobre 2006 à 10h15, Chambéry P Hyvernat ,
Introduction aux jeux de Conway et nombres surréels ; problèmes de combinatoire.

Jeudi 19 octobre 2006 à 10h15, Chambéry travail collectif ,
groupe de travail sur un resultat de Gandy

Jeudi 12 octobre 2006 à 11h, Lyon, Salle B1 Aurelien Pardon ,
Une explication du critere de Danos-Regnier pour MLL

Jeudi 05 octobre 2006 à 10h15, Chambéry F Becker ,
Pavages auto-assemblants : un calcul géométrique

Jeudi 28 septembre 2006 à 10h15, Chambéry G Theyssier ,
Automates cellulaires et systèmes dynamiques

Jeudi 21 septembre 2006 à 10h15, Chambéry Christophe Raffalli ,
PhoX et après ?

Jeudi 29 juin 2006 à 10h15, Chambéry Karim Nour ,
Une sémantique de réalisabilité pour un système de type avec intersection et variables d'expansion.

Jeudi 22 juin 2006 à 10h15, Chambéry Noel Bernard ,
Introduction aux Bigraphes

Jeudi 15 juin 2006 à 10h15, Chambéry François Régis Sinot ,
Stratégies du lambda-calcul dans les réseaux d'interaction

Jeudi 08 juin 2006 à 10h15, Chambéry Laurent Vuillon ,
Combinatoire et mots de Sturm

Jeudi 11 mai 2006 à 14h, Lyon, Salle B1 Laurent Regnier (Université de la Méditerranée),
TBA

Jeudi 27 avril 2006 à 10h, Lyon, Salle B1 Olivier Laurent (en cours de negociation)? ,
TBA

Jeudi 13 avril 2006 à 10h15, Chambéry Khelifa Saber ,
Un résultat de complétude pour une classe de types du système F

Jeudi 06 avril 2006 à 10h15, Chambéry Hugo Herbelin ,
Au coeur de la dualité du calcul : appel par nom, appel par valeur et calcul des séquents

Jeudi 30 mars 2006 à 14h, Chambéry Julien Moncel ,
Identification de sommets dans les graphes. (Attention : 14h)

Jeudi 30 mars 2006 à 10h15, Chambéry Guillaume Theyssier ,
Automates cellulaires : de l'objet syntaxique au système dynamique

Lundi 27 mars 2006 à 10h15, Chambéry Olivier Brunet ,
Éléments d'une logique de la connaissance quantique (Attention, c'est un lundi)

Jeudi 23 mars 2006 à 14h15, Chambéry Julien Forest ,
Réécriture d'ordre supérieur avec motifs. (Attention : 14h15)

Jeudi 16 mars 2006 à 10h15, Chambéry Nicolas Bedaride ,
Complexité du billard polyédral

Jeudi 09 mars 2006 à 10h15, Chambéry Emmanuel Beffara ,
Modèles concurrents de la logique linéaire

Jeudi 09 février 2006 à 14h, Chambéry Yves Guiraud ,
Polygraphes, réécriture et logique (Attention : 14h)

Jeudi 02 février 2006 à 14h, Chambéry Damien Jamet ,
Combinatoire des mots en géométrie discrète (Attention : 14h)

Jeudi 19 janvier 2006 à 10h, Lyon, Salle B1 Pierre Hyvernat (Institut mathématique de Luminy),
Programmation, simulations, topologie et types dépendants (and much more if time permits)

Jeudi 12 janvier 2006 à 10h15, Chambéry Katell Morin-Allory ,
A proof of correctness for the construction of property monitors

Jeudi 05 janvier 2006 à 10h15, Chambéry Peter Battyanyi ,
Weak normalization of the Lambda mu calculus with the rules mu' and rho

Séminaires de l’équipe LIMD

Année 2006