Login
Blog
RSS
Sections
About
Founders
Events
Activities
IRILL founding members
Home
>
Founders
Info
|
IRILL founding members
IRILL founding members
IRILL has been created by the following three French institutions
Supported by ...
Document Actions
Send this
Print this
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
>
Mo
Tu
We
Th
Fr
Sa
Su
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
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…