Seminars
Every two weeks, IRILL organizes a seminar at which a specialist details his work and results.
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.
Antelink/antepedia presentation by Guillaume Rousseau
(from Oct 07, 2011 03:00 PM to Oct 07, 2011 04:30 PM)
On the October 7th at 3PM, Guillaume Rousseau will present the work done by Antelink at IRILL
Bug tracking à grande échelle et interopérabilité des outils de développement dans l'écosystème FLOSS
(from Jun 09, 2011 03:45 PM to Jun 09, 2011 05:30 PM)
exposé d'Olivier Berger
SlapOS: a Slap into Cloud Monopolies
(from May 12, 2011 03:45 PM to May 12, 2011 05:30 PM)
by Jean-Paul Smets
The Seeks Project: beyond conventional Web search.
(from Apr 28, 2011 03:45 PM to Apr 28, 2011 05:00 PM)
Emmanuel Benazera will present the Seeks project as seminary.
Une bibliothèque de typage dynamique en OCaml
(from Mar 31, 2011 03:45 PM to Mar 31, 2011 05:30 PM)
by Julien Signoles (CEA)
apt-get a life - dependency hell is my heaven
(from Mar 30, 2011 02:00 PM to Mar 30, 2011 03:00 PM)
David Kalnischkies will present at IRILL his work on apt-get, the Debian package manager.
Bounded Model Checking of Software
(from Mar 25, 2011 02:00 PM to Mar 25, 2011 03:00 PM)
by Carsten Sinz
Farewell to Disks: Efficient Processing of Obstinate Data
(from Mar 25, 2011 10:00 AM to Mar 25, 2011 11:00 AM)
By Diomidis Spinellis
Shared memory, an elusive abstraction: high-level languages
(from Mar 03, 2011 03:45 PM to Mar 03, 2011 04:45 PM)
by Francesco Zappa Nardelli (projet Moscova - Inria)
