Groupe de travail "Logique et Programmation": Damiano Mazza
Monday 13 October 2008 at 01.30 PM by damiano
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.