IRILL events
IRILL strives to help Free and Open Source communities and organizations by enabling them to meet, hack, discuss, and present their ideas. Below you can find a sampling of recent events which have been hosted at IRILL. As long as it is related to Free and Open Source software, you can contact us at contact@irill.org to propose an event.
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.
