• Login
  • Blog
  • RSS
 
Sections
  • About
  • Founders
  • Events
  • Activities
Home > Events > IRILL Days 2010 > videos
Info

videos

video of talks held during IRILL days 2010

Page IRILL - Di Cosmo
 
Page Ocsigen: rethinking web programming - Balat
 
Page IRILL - Tiemann
 
Page IRILL - Hariharan
 
Page Free Software research in context - Gerloff
 
Page Free Software and the Playing Field - Greve
 
Page Mancoosi: managing your GNU/Linux installation - Zacchiroli
 
Page Coccinelle at the service of the Linux Kernel - Lawall
 
Page New Trends in Scilab - Gomez
 
Page Buidling an R&D ecosystem around GCC - Cohen
 
Page Component-based programming with Fractal - Merle
 
Page Hi-Lite: a Verification Toolking for Unit Test and Unit Proof - Moy
 
Page Open Source Cloudware initiative - Laisné
 
Page Open data and the Data Publica Project - Bancilhon
 
Page DORM, the missing tool to persist your deliveries - Queinnec
 
Page A short survey of Real Time Linux Technologies - Ficheux
 
Image Creative common
 
Image Creative Common
 
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…
 
 
  • Sitemap
  • |
  • RSS
  • |
  • Contact
  • |
  • Credits

Valid HTML 4.01 Transitional