PRISM and an Agenda for European Network Security Research
Monday 26 August at 10, Christian Grothoff (TUM) will come at IRILL to talk about "PRISM and an Agenda for European Network Security Research"
Monday 26 August at 10, Christian Grothoff (TUM) will come at IRILL to talk about "PRISM and an Agenda for European Network Security Research"
Jeudi 20 Juin, nous recevons Philippe Narbel (LABRI) qui nous parlera de "De l'interaction entre granularités fonctionnelle et modulaire"
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.