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, 2010, 2011, 2012, 2013, 2014, 2015, 2016, 2017, 2018, toutes ensemble.

Année 2009

Jeudi 17 décembre 2009 à 10h, Lyon Séminaire Choco (Plusieurs orateurs),
Séminaire Choco

Jeudi 10 décembre 2009 à 10h15, Chambéry Laurent Boyer (LAMA),
Factor universality in cellular automata

Jeudi 03 décembre 2009 à 10h15, Chambéry Krzysztof Worytkiewicz (AGH University of Science and Technology),
Une structure de modeles ``folk'' pour les omega-categories

Jeudi 19 novembre 2009 à 10h15, Lyon Jean-Marc Andréoli (Xerox Research Centre Europe),
Deux digressions autour de la logique linéaire

Jeudi 12 novembre 2009 à 14h, Lyon Groupe de lecture Kohlenbach (Plume et LIMD),
Séance 2

Jeudi 12 novembre 2009 à 10h15, Lyon Vasileios Koutavas (Trinity College, Dublin),
First-Order Reasoning about Higher-Order Concurrency

Jeudi 05 novembre 2009 à 10h15, Chambéry Alexandre Miquel (LIP, ENS Lyon),
Modèles booléens (II)

Jeudi 22 octobre 2009 à 10h, Lyon Séminaire Choco (Plusieurs orateurs),
Séminaire Choco

Jeudi 15 octobre 2009 à 10h15, Chambéry Matthieu Simonet (LAMA),
Mots de retour et pavage dans les plans discrets

Jeudi 08 octobre 2009 à 10h15, Chambéry Karim Nour (LAMA),
Un lambda-calcul parallèle

Jeudi 01 octobre 2009 à 14h, Chambéry Alexandre Miquel (LIP, ENS Lyon),
Une introduction aux modèles booléens

Jeudi 24 septembre 2009 à 14h, Lyon Martin Hofmann (LMU, Munich),
Amortized Resource Analysis with Polynomial Potential

Jeudi 24 septembre 2009 à 10h15, Lyon Pawel Sobocinski (Southampton),
An introduction to the wire calculus

Vendredi 18 septembre 2009 à 08h45, Chambéry 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

Jeudi 10 septembre 2009 à 14h, Chambéry Mark Weber (MPI Bonn),
TBA (On funny tensor products)

Jeudi 10 septembre 2009 à 10h15, Chambéry Christophe Raffalli (LAMA),
PML pour les nuls

Jeudi 27 août 2009 à 10h15, Chambéry Pierre-Etienne Meunier (LAMA),
Complexité de communication et automates cellulaires

Jeudi 16 juillet 2009 à 10h15, Chambéry Alexandre Blondin Massé (LAMA),
Palindromes généralisés, chemins de Fibonacci et doubles pavages

Jeudi 25 juin 2009 à 10h15, Chambéry Sylvain Hallé (University of California Santa Barbara),
Le runtime monitoring d'une logique temporelle: une application aux contrats d'interface des applications web

Lundi 18 mai 2009 à 14h, Chambéry Alejandro Díaz-Caro (LIG),
Vectorial System F: Towards a Quantum Type System

Lundi 18 mai 2009 à 10h, Chambéry Pablo Arrighi (LIG),
Unitarity plus causality implies locality

Mardi 12 mai 2009 à 14h, Aussois Types (2009),
Rencontre annuelle du projet Types

Jeudi 07 mai 2009 à 10h15, Chambéry Guillaume Theyssier (LAMA),
Groupe de travail complexité géométrique

Jeudi 30 avril 2009 à 10h15, Chambéry Damien Regnault (LIP, ENS Lyon),
Minorité stochastique sur les graphes

Jeudi 23 avril 2009 à 10h15, Chambéry Guillaume Theyssier (LAMA),
Sous-shifts et logique monadique du second ordre

Vendredi 03 avril 2009 à 08h45, Chambéry Antonino Salibra (Venise),
Théories et Modèles du Lambda Calcul

Jeudi 02 avril 2009 à 10h, Lyon Choco (Ottawa, PPS et LIPN),
Séminaire Choco

Jeudi 26 mars 2009 à 10h15, Lyon Assia Mahboubi (INRIA/MSR/LIX, Paris),
TBA

Jeudi 12 mars 2009 à 10h, Lyon Choco (TBA),
Séminaire Choco

Jeudi 05 mars 2009 à 11h, Lyon Pierre Clairambault (PPS, Paris 7),
Plus petits et plus grands points fixes en sémantique des jeux

Jeudi 26 février 2009 à 10h15, Lyon Alexandre Miquel (LIP, ENS Lyon),
Extraction de programmes à partir de preuves classiques en Coq

Jeudi 05 février 2009 à 10h15, Lyon Projet Choco (Lisbonne, LSV Cachan, PPS Paris 7),
Séminaire Choco

Jeudi 29 janvier 2009 à 10h15, Chambéry (reporté pour cause de grève et manifestation) Joachim Kock (Université de Barcelone),
Introduction to the theory of polynomial functors

Jeudi 22 janvier 2009 à 10h15, Chambéry Christophe Raffalli (LAMA),
Analyse grammaticale du français : des concepts théoriques ou de la bidoulle ?

Jeudi 15 janvier 2009 à 10h15, Chambéry François de Vieilleville (LAMA),
Segments maximaux et estimateurs de tangentes

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, 2010, 2011, 2012, 2013, 2014, 2015, 2016, 2017, 2018, toutes ensemble.