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

   Monday, 3 November 2008,
   at 3:30 pm, in room B311.

We will listen to the second part of the talk started last time by Damiano Mazza (LIPN), about stratified parity spaces as a denotational semantics for linear logic by levels.