PICS: Logique linéaire et applications


This is a PICS project funded by CNRS.
Reference: PICS 5276.
Coordinator: Patrick Baillot .
Scientist-in-charge in Italy: Ugo Dal Lago .
Duration: 1/1/2010- 31/12/2012.

Partner sites:
in France: LIP-Lyon , LIPN-Villetaneuse, PPS-Paris
in Italy: Bologna, Torino , Roma Tre


Scientific description (pdf) .

Meeting in Torino, on June 9-11, 2010 (joint with the CONCERTO project )