Xavier Blanc du Labri viendra le jeudi 28 février à IRILL pour présenter et échanger autour de Harmony.

Le 14 février, nous recevons Thibaut Balabonski de l'équipe Gallium à Inria, qui nous parlera du sens du partage

Le 31 Janvier nous recevons Lance Albertson, qui nous parlera de l'infrastructure utilisée à OSUSL pour héberger les plus grands projets de Logiciel Libre.

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.