Le 23 janvier à 10h30, Clement Quinton (INRIA) viendra présenter son travail autour de "Managing Heterogeneity and Variability in Cloud Computing Environments".

Une introduction informelle aux méthodes formelles par Prof. Roberto Bagnara, Université de Parma

Le 20 décembre à 15h45, Raphael Amiard (UPMC) viendra présenter son travail autour de CamllVM - a LLVM based runtime for Ocaml.

Mardi 18 décembre à 13h, Bernard Serpette (Indes - Inria Sophia Antipolis) présentera son travail autour d'une définition CPS d'Esterel

Le 22 novembre à 15h45, Grégoire Henry viendra présenter son travail sur "Experiments in generic programming: runtime type representation and implicit values" à place d'Italie.

Le 14 novembre à 15h45, Nicolas Pouillard viendra présenter son travail sur "Proving cryptographic schemes in Agda: Dependently typed functional programming for Alice and Bob" sur le site Jussieu.

Roberto Di Cosmo, directeur de l’IRILL, interviendra le 12 octobre 2012 à l'OpenWorld forum sur les relations entre le logiciel libre, l'éducation et l'emploi.

The October 11th, Jesus M. Gonzalez-Barahona will present his work about "Measuring free software development" at IRILL.

During the Openworld forum, Vincent Balat from IRILL and Patrick Moreau from Inria will exchange with other speakers about technology transfert from research Labs to Enterprises.

In a couple of weeks, the first Debian meetup organized by the french Debian association. It will be hosted by IRILL