Section: Partnerships and Cooperations

European Initiatives

FP7 Projects

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 FP7

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 $\lambda Gtz$ calculus; subject reduction for the $\overline{\lambda }\mu \tilde{\mu }$-calculus; explicit substitutions and confluence; the diagrams and termination for ${}^{*}X$ calculus; introducing imperative features in classical logic; the $\lambda \mu$ 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.