Groupe de travail "Logique et Programmation": Damiano Mazza
Monday 12 January 2009 at 02.00 PM by damiano
GdT Log&Prog: Damiano Mazza
Monday 12 January 2009 at 02.00 PM
Location: B311, LIPN — Duration: one hour
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.