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