Login
Blog
RSS
Sections
About
Founders
Events
Activities
IRILL events
Past events
Home
>
Events
>
GNU Hackers Meeting
Info
GNU Hackers Meeting
In August 2011, IRILL will be proud to host the GNU hackers for a meeting.
What
When
Aug 25, 2011 10:40 AM
to
Aug 28, 2011 06:00 PM
Where
IRILL, 23 Avenue d'Italie, Paris, France - 3th floor
Add event to calendar
vCal
iCal
Moved to this page
Document Actions
iCalendar
vCalendar
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…
vCal
iCal
