Section: Partnerships and Cooperations
International Initiatives
Inria Associate Teams
-
Title: Proof theory and functional programming languages (SEMACODE)
-
See: http://www.pps.univ-paris-diderot.fr/~saurin/EA-SEMACODE
Inria International Partners
We are setting up a partnershiop with the University of Wroclaw (our interlocutors are D. Biernacki and M. Biernacka).
Participation In other International Programs
Pierre-Louis Curien participates to the ANR International French-Chinese project LOCALI (coordinated by Gilles Dowek), and to a MathAmSud project in algebraic operads with the university of Talca (Chile).
Other international cooperations
MIT (Adam Chlipala, Jason Gross).