Home > Activities > Projects

Projects

Projects hosted by IRILL

Mancoosi: Manage the Complexity of the Open Source Infrastructure.
Ocsigen: Fresh air in Web programming
Coccinelle: Kill bugs before they hatch.

Document Actions

Search: Advanced Search…

Irill, 23 Avenue d'Italie, 75013 Paris

May 23, 2012

Formal Methods as a Link between Software Code and Legal Rules

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.

Agenda

May 2012

IRILL blog: Formal Methods as a Link between Software Code and Legal Rules May 16, 2012; LLVM Social in Paris May 15, 2012; Haxe, le langage multi-plateforme basé sur OCaml May 02, 2012; Tooling for open source software license compliance Mar 29, 2012; Pattern matching for the masses using custom notations par Nic Volanschi (Matchbox & Metaware) Mar 14, 2012; More…