The inaugural meeting of the 2008/2009 GdT "Logique et Programmation" will take place on

   Monday, 29 September 2008,
   at 1:30 pm, in room B311.

We will listen to a talk by Paolo Di Giamberardino (ATER LIPN - IUT Villetaneuse), who will tell us about his proof nets with jumps for multiplicative additive linear logic.