Section: Partnerships and Cooperations

International Initiatives

• ARC CaCO3 (France-Egypt), http://carte.loria.fr/index.php?option=com_content&view=article&id=63&Itemid=77

INRIA Associate Teams

COMPUTR

• Title: COntinuous tiMe comPUTations, computation on the Reals

• INRIA principal investigator: Emmanuel Hainry

• International Partner:

  • Institution: Instituto de Telecomunicaçoes (Portugal)

  • Laboratory: Security and Quantum Information Group

• Duration: 2009 - 2011

• See also: http://carte.loria.fr/index.php?option=com_content&view=article&id=60&Itemid=74

CRISTAL

• Title: Resource Control by Semantic Interpretations and Linear Proof Theory

• INRIA principal investigator: Romain Péchoux

• International Partner:

  • Institution: Universita degli Studi di Torino (Italy)

  • Laboratory: Dipartimento di informatica

• Duration: 2010 - 2012

• See also: http://carte.loria.fr/index.php?option=com_content&view=article&id=61&Itemid=75

INRIA International Partners

We have active collaboration with:

• Peter Gács (Boston University),

• Cristóbal Rojas (Toronto),

• José Fernandez (Montreal),

We also start some collaborations with Dawn Song at Berkeley.

Visits of International Scientists

Internship

• Daniel Leivant (Indiana University, invited for six months)

• John Case (University of Delaware), http://www.cis.udel.edu/~case/

• Walid Gomaa (University of Cairo), http://www.alexeng.edu.eg/~wgomaa/