contact: Jean Duprat (jean.duprat'at'ens-lyon.fr),

Sauf indication contraire, les exposés ont désormais lieu le lundi à 15h30, en salle du conseil du LIP, à l'ENS Lyon.

Exposés à venir :

jeudi 18/03/2010, 14h00 : Sur la determination des jeux boreliens.

Exposés passés :

lundi 8/03/2010: Marc Lasson. Arithmétique Fonctionnelle Élémentaire, le retour.

lundi 25/01/2010: Paolo Tranquilli. Types et effets : des monads aux réseaux.

lundi 18/01/2010: Olivier Laurent. Jeux et realisabilite (chantier en cours).

lundi 30/11: Alexandre Miquel. Entiers primitifs et methodes d'extraction de temoins en realisabilite classique.

lundi 23/11: Silvia Vecchiato. Dual calculus and some translations.

lundi 16/11: Jean Duprat. Des tactiques pour la resolution d'equations en geometrie.

lundi 9/11: Philippe Audebaud. Mesures à l'ordre supérieur

lundi 19/10: Pierre Lescanne. Obelix, Asterix, Dogmatix, des langages pour interpréter le la calcul des séquents classiques.

lundi 12/10: Paolo Tranquilli. Le lambda-calcul avec ressources : la version non paresseuse et non finie.

lundi 5/10/09: Romain Demangeon. Terminaison dans les calculs hybrides.

vendredi 29/5/09 : Ugo Dal Lago. Bounded Linear Logic, Revisited.

lundi 18/5/09 Alexandre Miquel.  Rencontres du troisième type: la place du store en réalisabilité classique.

lundi 27/4/09: Marc Lasson. Programmer en temps elementaire.

lundi 30/3/09: Jelena Ivetic, Dragisa Zunic, Pierre Lescanne. Intuitionistic sequent-style calculus with explicit structural rules.

lundi 23/3/09: Colin Riba. Terminaison basee sur les types pour les definitions inductives.

lundi 9/3/09, 11h : Olivier Laurent. Introduction douce aux reseaux d'interaction différentiels, calcul des solos, pi-calcul,...

lundi 2/3/09, 11h Salle 118 : Damien Pous. à propos de coinduction.

lundi 9/2/09, 11h: Patrick Baillot. Vers un langage de programmation light pour le calcul en temps polynomial.

lundi 2/2/09: Barbara Petit. Un système de types pour le lambda calcul avec constructeurs.

lundi 26/1/09: Aurélien Pardon. Des théories symétriques monoidales closes à la syntaxe de langages de programmation avec lieurs.

lundi 19/1/09: Romain Demangeon. Systèmes de types pour la terminaison en pi-calcul.

mardi 6/1/2009: Pierre Lescanne. Mécanisation du raisonnement sur les jeux infinis.

mardi 2/12/08: Daniel Hirschkoff. Axiomatisations de la bisimilarité sur des fragments de CCS.

mardi 18/11/08: Philippe Audebaud. Simulation d'algorithmes probabilistes dans un cadre fonctionnel.

mardi 4/11: Patrick Baillot. Complexité implicite et logique linéaire.

mardi 21/10/08: Olivier Laurent. Logique classique, logique intuitionniste, logique co-intuitionniste et dualité.

mardi 14/10/08: Colin Riba. Candidats de réductibilité, types unions et appel par valeur.

mardi 7/10/08: Alexandre Miquel. Une extension des machines de Turing avec notions de coupure et arbre de Böhm.

mardi 30/9/2008: Jean Duprat. Axiomatisation de la géométrie euclidienne en Coq.

back to main page