IRILL - Research and Innovation on Free Software

Software Carpentry

Inria place d'Italie

End of june, the Software Carpentry event will be hosted at Inria and co-organized by IRILL. The ggoal is to help scientists and engineers become more productive by teaching them basic computing skills like program design, version control.



Formal Methods as a Link between Software Code and Legal Rules

Irill, 23 Avenue d'Italie, 75013 Paris

Daniel Le Metayer (Licit - Inria) The rapid evolution of the technological landscape and the impact of information technologies on our everyday life raise new challenges which cannot be tackled by a purely technological approach. Generally speaking, legal and technical means should complement each other to reduce risks for citizens and consumers : on one side, laws (or contracts) can provide assurances which are out of reach of technical means (or cope with situations where technical means would be defeated); on the other side, technology can help enforce legal and contractual commitments.


LLVM Social in Paris

Brasserie - Le Lakanal, 2, Avenue Rene Coty, 75014 Paris

On Tuesday, 15. Mai, an LLVM Social will take place in Paris. We would like to invite everybody interested in LLVM to join us.



Tooling for open source software license compliance

IRILL, 23 Avenue d'Italie, Paris, France - 3th floor

Jeudi prochain, le 5 avril à 15h45, Armijn Hemel (Tjaldur Software Governance Solutions) viendra présenter son travail sur "Tooling for open source software license compliance - challenges in fixing trivial problems" chez IRILL.





Conférence de Richard Stallman "Pour une société numérique libre"

Paris Diderot 13 rue Hélène Brion, 75013 Paris

Le jeudi 16 février à 18h30, à l'université Paris-Diderot, Richard Stallman, fondateur du mouvement du logiciel libre,donnera une conférence exceptionnnelle intitulée "Pour une société numérique libre".