Section: Partnerships and Cooperations

International Initiatives

Inria Associate Teams

Inria Associated Team Bananas

• Partners: Inria-Lorraine, PUCV (Chili), UTFSM (Chili), Univ. Angers (LERIA), Univ. Nantes (TASC).

• Duration: 2012-2014.

• Topics: Autonomous constraint solving, SMT solvers.

• Budget: 15 KEuros per year for the project.

Inria International Partners

Informal International Partners

• SICS , Sweden: Work on the global constraint catalog and on scalable constraints with Mats Carlsson .

• Uppsala University , Sweden: Work on automata and dedicated filtering algorithms for some constraint patterns with the ASTRA group of Pierre Flener .

• JFLI , Japan: Work with Philippe Codognet .