Archives du séminaire PPS – Année 2010–2011

Jeudi 7 juillet, 11h salle 0C02 – Assia Mahboubi (LIX, Ecole Polytechnique)
Constructive quantifier elimination for real numbers and complex numbers, in a proof assistant

Jeudi 30 juin, 11h salle 0C02 – Stéphane Gimenez (PPS),
Reducibility Proof for Normalization of Full Differential Linear Logic

Jeudi 16 juin, 11h salle 0C02 – Daniel Leivant (Indiana University & INRIA Lorraine),
Dynamic logic and its parents

Jeudi 2 juin, 11h salle 0C02 – férié

Jeudi 26 mai, 11h salle 0C02 – Jean Goubault-Larrecq (LSV, ENS Cachan),
The powerdomain of continuous random variables

Jeudi 19 mai, 11h salle 0C02 – Pierre Hyvernat (LAMA, Université de Savoie),
foncteurs polynomiaux, jeux et logique linéaire (différentielle)

Jeudi 12 mai, 11h salle 0C02 – Pas de séance: réunion LAC-GEOCAL à Nancy les 12 et 13 mai]

Jeudi 5 mai, 11h salle 0C02 – Jean-Louis Krivine (PPS, Université Paris Diderot),
Réalisabilité classique et théorie des ensembles

Jeudi 28 avril, 11h salle 0C02 – Marco Gaboardi (Università di Bologna), Séance reportée
Linear Dependent Types for Certified Resource Consumption

Jeudi 14 avril, 11h salle 0C02 – Stefano Zacchiroli (PPS),
Formal approaches to the upgrade of component-based systems

Jeudi 24 Mars, 11h salle 0C02 – Pierre-Malo Denielou (Imperial College, London) ,
Dynamic Multirole Session Types

Jeudi 17 Mars, 11h salle 0C02 – Cinzia Di Giusto (INRIA) ,
The kappa calculus: a study on the expressiveness of rewriting rules

Jeudi 17 Mars, 14h salle 0D07 – Serguei Langlet (Wroclaw) ,
Expansion for universal quantifiers

Lundi 14 Mars, 11h salle 0D04 – Phil Scott (Ottawa) ,
Traced categories: algebraic structure of feedback and partial feedback

Jeudi 10 Mars, 11h salle 0C02 – Masahiro Hamano (JST, Japan) ,
A Geometry of Interaction for Polarized Linear Logic

Jeudi 3 Fevrier 11h salle 1C18 – Benoît Valiron (LIPN, Paris13),
Quantum computation and algebraic lambda-calculus: A vectorial type system

Jeudi 27 Janvier, 11h salle 0C02 – Matthias Baaz (University of Technology, Vienna),
Towards a Proof Theory of Analogical Reasoning

Jeudi 13 Janvier, 11h salle 0C02 – Olivier Danvy (BRICS, Aarhus),
Small-step and Big-step Aspects of Computation (A Walk in the Semantic Park)

2010

Mardi 14 décembre, 11h salle 5C03 – Timothy G. Griffin (University of Cambridge),
Routing in Equilibrium (séance spéciale en conjonction avec le GdT sémantique)

Jeudi 25 Novembre, 11h salle 0C02 – Samuel Staton (Cambridge University & PPS),
Towards mathematical structural operational semantics

Jeudi 21 Octobre, salle 0C02 – Claudio Mezzina (INRIA Grenoble),
Reversing Higher Order Pi

Jeudi 30 Septembre, salle 0C02 – Jean Krivine (PPS),
Understanding stochastic systems with non local causality analysis.

Mardi 28 Septembre, 10h, en salle 5C03 – Marco Gaboardi (Univ.Bologna),
Definability and Full abstraction for a Linear PCF