Section: Partnerships and Cooperations

International Initiatives

Inria Associate Teams

• Title: Proof theory and functional programming languages (SEMACODE)

• Inria principal investigator: Alexis SAURIN

• International Partner:

  • Institution: University of Oregon (United States)

  • Laboratory: Computer and Information Science Department

  • Researcher: Zena ARIOLA

• International Partner:

  • Institution: University of Novi Sad

  • Laboratory: Faculty of Engineering

  • Researcher: Silvia GHILEZAN

• Duration: 2011 - 2013

• 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).