Logique soft pour PSPACE
M. Gaboardi, 13:30
lundi 7 juillet 2008
Un langage fonctionnel PTIME (séance de travail)
P. Baillot, M. Gaboardi, V. Mogbil
lundi 23 juin 2008
Soutenance d’habilitation à diriger les recherches
P. Baillot
mardi 11 mars 2008
Workshop on ICC
11-12-13 février 2008
lundi 11 février 2008
Réunion de projet
lundi 28 janvier 2008
Réunion de projet (organisation du workshop de février)
lundi 14 janvier 2008
Parallel time and Quantifier prefixes
par Paulin Jacobé de Naurois (joint work with Felipe Cucker)
Monday 10 December 2007
Caractérisation de PSPACE (d’après Gaboardi et al.)
Patrick Baillot, 13:45, salle B311
lundi 26 novembre 2007
Réunion du projet NOCoST
13:30
lundi 22 octobre 2007
Size-change Termination and Bound Analysis
par James Avery (DIKU, University of Copenhagen), 15:00
lundi 16 juillet 2007
Logique linéaire à niveaux et complexités élémentaire et polynomiale
par Damiano Mazza, 14:00.
lundi 25 juin 2007
Light Logics and Optimal Reduction : Completeness and Complexity.
by Ugo Dal Lago (joint work with P.Baillot and P.Coppola), 14:00
lundi 18 juin 2007
Correctness of multiplicative (and exponential) proof structures in NL-complete
par Paulin Jacobé de Naurois & Virgile Mogbil, lundi 11/6/07
lundi 11 juin 2007
A type inference algorithm for the Soft Type Assignment.
Marco Gaboardi (Turin), 15h, 26/4/2007, B311 (joint work with Ronchi Della Rocca, Roversi)
jeudi 26 avril 2007
Term graph rewriting, lambda calculus and cost models (work in progress).
par Ugo Dal Lago.
lundi 5 mars 2007
Etendre les réseaux de preuves de la Logique linéaire light.
par Damiano Mazza, lundi 26/2/2007, 13h30
lundi 26 février 2007
Complexité du critère de correction des réseaux de preuves de la logique linéaire multiplicative.
par P. Jacobé de Naurois et V. Mogbil, lundi 19/02/07, 13h30
lundi 19 février 2007
Réunion du projet NOCoST.
lundi 05/02/2007, 13:30.
lundi 5 février 2007
Construire de nouveaux modèles de la logique linéaire (2)
par Daniel de Carvalho
lundi 29 janvier 2007
Construire de nouveaux modèles de la Logique linéaire
par Daniel De Carvalho
lundi 22 janvier 2007
Discussion : critères de correction pour les réseaux de preuves
par Virgile Mogbil
lundi 8 janvier 2007
The flow of data and the complexity of algorithms (d’après Jones et Kristiansen)
par Jean-Yves Moyen
lundi 11 décembre 2006
Sur les quasi-interprétations, abstractions aveugles et la complexité implicite
par P. Baillot (travail en collaboration avec U. Dal Lago et J.-Y. Moyen)
lundi 4 décembre 2006
Initiation à la géométrie de l’interaction (2)
Damiano Mazza
lundi 6 novembre 2006
Initiation à la géométrie de l’interaction
Damiano Mazza
lundi 23 octobre 2006
Graphes de contrôle de ressources
Jean-Yves Moyen
lundi 9 octobre 2006
Séance de travail : sémantique de jeux
par Olivier Laurent
lundi 25 septembre 2006
A logical analysis of some theorems in computational complexity theory.
par Kazushige Terui (NII)
lundi 18 septembre 2006
Réseaux de preuves et circuits booléens (stage de Master)
Vincent Rahli
lundi 11 septembre 2006
Quantum data and Classical Control : Proposals and Problems
by Ugo Dal Lago
lundi 4 septembre 2006
An embedding of the BSS model of computation in Light Affine Lambda-Calculus
par Patrick Baillot (travail en collaboration avec Marco Pedicini)
lundi 19 juin 2006
Elementary type assignment system for call-by-value lambda calculus
par Paolo Coppola (univ. di Udine)
lundi 12 juin 2006
Context semantics, linear logic and computational complexity
par Ugo Dal Lago
lundi 22 mai 2006
MLL Normalization and Transitive Closure : Circuits, Complexity and Euler Tours
par Harry Mairson
mercredi 17 mai 2006
Proofs nets and boolean circuits d’après K. Terui
par Vincent Rahli
lundi 24 avril 2006
Discussion sur Slot Games (d’après D. Ghica)
P.Baillot, lundi 3/4/2006
lundi 3 avril 2006
Enrichir Non Size Increasing avec des polynômes (discussion)
Jean-Baptiste Bianquis
jeudi 23 février 2006
Graphes de contrôle de ressources
par Jean-Yves Moyen
lundi 16 janvier 2006
Une mesure d’espace pour le calcul sur les réels
par Paulin Jacobé de Naurois, 13H30 salle B311
lundi 9 janvier 2006
Cliques obsessionnelles : caractérisations sémantiques de la complexité en temps
par Olivier Laurent (PPS), 12H salle B311.
mardi 13 décembre 2005
Sémantiques non uniformes du lambda-calcul, types avec intersection et temps de calcul
par Daniel de Carvalho (IML), 11H salle B311.
mardi 13 décembre 2005
La sémantique relationnelle de la logique linéaire
induit des sémantiques du lambda-calcul pur. Celles-ci sont construites sur des
types avec intersection non idempotents. Or la taille de ces dérivations est
reliée au temps d’exécution des lambda-termes dans la machine de
Krivine.
Modèle de jeux pour la Logique Linéaire Light, d’après Murawski-Ong
par Pierre Boudes
lundi 5 décembre 2005
Inférence en logique linéaire élémentaire avec coercitions, par sous-typage
par Vincent Atassi
lundi 28 novembre 2005
Discussion scientifique (projet NO CoST)
salle C306
mardi 15 novembre 2005
Réseaux de Petri...
Jean-Yves Moyen
lundi 7 novembre 2005
Espaces cohérents
Pierre Boudes
lundi 31 octobre 2005
BSS et la complexité en espace
Paulin Jacobé de Naurois
lundi 24 octobre 2005
Non Size Increasing — Épisode 2 : L’attaque des clones
par Jean-Yves Moyen
lundi 17 octobre 2005
Où l’on verra deux caractérisations "alternatives" des programmes NSI. L’une
à base de quasi-interprétations et l’autre utilisant des réseaux de Petri.
Des liens avec l’espace linéaire ou logarithmique seront aussi esquissés.
Types linéaires et non size increasing (d’après M. Hofmann)
Jean-Baptiste Bianquis
lundi 10 octobre 2005
Modèle de calcul de Blum, Shub, Smale : liens entre la complexité algébrique et la complexité implicite
Paulin Jacobé de Naurois
lundi 3 octobre 2005
Analyse de complexité (et transformation de programmes)
Sémantique des jeux
Pierre Boudes
lundi 19 septembre 2005
Logique linéaire et complexité (introduction)
Patrick Baillot
lundi 12 septembre 2005
Inférence de type en logique linéaire élémentaire (stage de master)
Vincent Atassi
lundi 5 septembre 2005
