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

This week at the Open World Forum, in Paris, IRILL will be present in many different ways.

The LLVM meetups are back

Le 23 octobre 2013 au LIP6 aura lieu le premier atelier consacré au Génie Logiciel Empirique

After the success of the 2011 edition, the GNU project and IRILL are glad to announce the 2013 edition.

Speaker: Claire Dross (Adacore)