## Section:
Partnerships and Cooperations2>
### European Initiatives3>
#### FP7 Projects4>

#### FP7 Projects4>

Yann Régis-Gianas is a participant of the EU-FP7 Certified Complexity project (CerCo). This European project started in February 2010 as a collaboration between Bologna university (Asperti, Sacerdoti Coen), Edinburgh university (Stark) and Paris 7 university (Amadio, Régis-Gianas). The CerCo project aims at the construction of a formally verified complexity preserving compiler from a large subset of the C programming language to some typical micro-controller assembly language, of the kind traditionally used in embedded systems. François Bobot's postdoc is funded by this project.

#### Collaborations in European Programs, except FP74>

Hugo Herbelin is participating to a PHC Pavle Savić with the university of Novi Sad in Serbia, the mathematical institute of Belgrade, ENS Lyon and the university of Turin. This project, called TLIT and headed by Silvia Ghilezan on the Serbian side, is about the properties of resource calculus; subject reduction for the -calculus; explicit substitutions and confluence; the diagrams and termination for calculus; introducing imperative features in classical logic; the calculus and its properties; the symmetries in classical logics.

Pierre-Louis Curien, Yves Guiraud and Philippe Malbos are collaborators of the Applied and Computational Algebraic Topology (ACAT) networking programme of the European Science Foundation.