Jeudi 25 avril, nous recevons CRobin Morisset - Parkas (INRA, DI ENS) avec Pankaj Pawan et Francesco Zappa Nardelli qui nous parleront de "Compiler Testing via a Theory of Sound Optimisations in the C11/C++11 Memory Model"

Jeudi 11 avril, nous recevons Claire Dross de Adacore qui nous parlera de "Use formal methods to verify an Ada program with SPARK2014"

Jeudi 21 mars, nous recevons Daniel German qui nous parlera de "On the provenance of Free and Open Source Software and the legal implications of its reuse"

In the context of the Mozilla performance week, Nathan Froyd from Mozilla will explain how Firefox makes Javascript run faster.

Le 14 mars, nous recevons Pierre-Etienne Meunier du LAMA et LIAFA qui nous parlera de Patoline

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