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

   Monday, 12 january 2009,
   at 2:00 pm, in room B311.

We will listen to yet another talk by Damiano Mazza (LIPN), who will tell us about homotopy for rewriting systems and event structures.