(Complexity and concurrency through ludics and differential linear logic)
Complexité & concurrence à travers la ludique et la logique linéaire différentielle
Collodi is a 12-month research project in theoretical computer science, starting in October 2009 and jointly developed at the Laboratoire d'Informatique de Paris Nord (Université Paris 13) and the laboratory Preuves, Programmes et Systèmes (Université Paris 7).
Financial support is provided by the Région Île-de-France, via the Digiteo consortium.
The aim of Collodi is to use ludics and differential linear logic, two theories belonging to the offspring of linear logic proof theory, to provide new foundations and richer, deeper structure to the theory of computational complexity and to concurrency theory.
The project counts 10 permanent or Ph.D. student members and 3 post-doctoral fellows, supported by the grants provided by Digiteo/Île-de-France.
For those who do not know, Collodi is also the pen name of Carlo Lorenzini, the author of The Adventures of Pinocchio.
For any further information, comment or request about the project and this web site, please contact