IRILL - Research and Innovation on Free Software

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".



LSoC: Logiciels libres et enseignement supérieur

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

Le 2 février, plusieurs experts sont invités à venir présenter leurs expériences d'enseignement sur les Logiciels Libres et de Summer Of Code dans les locaux de l'IRILL