Team, Visitors, External Collaborators
Overall Objectives
Research Program
Application Domains
Highlights of the Year
New Software and Platforms
New Results
Bilateral Contracts and Grants with Industry
Partnerships and Cooperations
XML PDF e-pub
PDF e-Pub

Section: Partnerships and Cooperations

Regional Initiatives


Gabriel Scherer obtained funding from the Région Île-de-France to hire a post-doc, Luc Pellissier, to work on canonical representation of programs (linking proof theory and category-theory approaches), in collaboration with Adrien Guatto in IRIF (Université Paris 7).