CamllVM - a LLVM based runtime for Ocaml
Le 20 décembre à 15h45, Raphael Amiard (UPMC) viendra présenter son travail autour de CamllVM - a LLVM based runtime for Ocaml.
IRILL - Research and Innovation on Free Software
Une définition CPS d'Esterel par Bernard Serpette
Mardi 18 décembre à 13h, Bernard Serpette (Indes - Inria Sophia Antipolis) présentera son travail autour d'une définition CPS d'Esterel
Experiments in generic programming: runtime type representation and implicit values by Gregoire Henry
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.
Proving cryptographic schemes in Agda by Nicolas Pouillard
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.
L’entreprise numérique : le rôle de l’éducation et de la formation au logiciel libre
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.
Presentation of Jesus M. Gonzalez-Barahona about "Measuring free software development"
The October 11th, Jesus M. Gonzalez-Barahona will present his work about "Measuring free software development" at IRILL.
Open Source From research Labs to Enterprise IT at the Openworld forum
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.
First Debian Meetup at IRILL
In a couple of weeks, the first Debian meetup organized by the french Debian association. It will be hosted by IRILL
IRILL @ Open World Forum
This week at the Open World Forum, in Paris, IRILL will be present in many different ways.
Paris LLVM Meetup 2. October at IRILL
The LLVM meetups are back