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

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

We will have a talk by Damiano Mazza (LIPN), who will tell us about his joint work with Patrick Baillot on linear logic by levels and bounded time complexity.