IRILL - Research and Innovation on Free Software

Journées IRILL / GTLL sur la Fiabilité du Logiciel (14 et 15 Juin 2012)

Irill, 23 Avenue d'Italie, 75013 Paris

l'IRILL et le GTLL de Systematic organisent deux journées dédiées aux académiques et industriels de la région Île de France sur la validation, la certification, la preuve et l'analyse de code. Une série de courtes présentations permettront de découvrir une sélection d'outils de pointe, issus de la recherche, et des retours d'expériences industriels.

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.