Overall Objectives
Research Program
New Software and Platforms
New Results
Partnerships and Cooperations
XML PDF e-pub
PDF e-Pub

Section: Partnerships and Cooperations

International Initiatives

Inria Associate Teams


Inria International Partners

Informal International Partners

Yann Salmon spent one month in Luke Ong's group at Oxford University (UK) between january and february. The objective of this stay was, on the one side, to promote Yann's work on strategy-dependant analysis of functional programs and, on the other side, to learn from Luke Ong's group on the analysis principles for higher-order functions.


The JSCert project is an informal collaboration between Inria (Celtique and Toccata teams) and Imperial College. Alan Schmitt (Celtique) and Arthur Charguéraud (Toccata) are external collaborators for the “Certified Verification of Client-Side Web Programs” EPSRC project, led by Imperial College. Sergio Maffeis and Philippa Gardner are external collaborators for the “AJACS” ANR project, led by Inria.