The next meeting of the GdT "Logique et Programmation" will take place on

   Monday, 27 October 2008,
   at 1:30 pm, in room B311.

We will have another talk by Damiano Mazza (LIPN), who will tell us about his joint work with Lorenzo Tortora de Falco on stratified parity spaces, a denotational semantics for linear logic by levels.