Seminars
Bootstrapping Debian (or derivatives) for a new architecture by Johannes Schauer
Sep 20, 2012 from 03:30 PM to 04:30 PM — IRILL, Place d'Italie, 5eme etage, Salle Verte 2,Le 20 septembre à 15h30, Johannes Schauer viendra présenter son travail sur "le Bootstrapping de Debian sur des nouvelles architectures" chez IRILL.
Structured approaches for multi/many core targeting by Marco Danelutto
Sep 18, 2012 from 04:30 PM to 05:30 PMMarco Danelutto (DI - Università di Pisa) will be presenting "Structured approaches for multi/many core targeting" at IRILL September 18th at 16:30
Journées IRILL / GTLL sur la Fiabilité du Logiciel (14 et 15 Juin 2012)
from Jun 14, 2012 09:00 AM to Jun 15, 2012 05:00 PM — Irill, 23 Avenue d'Italie, 75013 Paris,l'IRILL et le GTLL de Systematic organisent deux journées dédiées aux académiques et industriels de la région Île de France sur la validation, la certification, la preuve et l'analyse de code. Une série de courtes présentations permettront de découvrir une sélection d'outils de pointe, issus de la recherche, et des retours d'expériences industriels.
Iterative Delta Debugging: Analyzing the evolution of components
May 31, 2012 from 03:45 PM to 04:30 PM — IRILL, 23 Avenue d'Italie, Paris, France - 3th floor ,Jeudi prochain, le 31 mai à 15h45, Cyrille Artho (AIST) viendra présenter son travail sur "Iterative Delta Debugging: Analyzing the evolution of components" chez IRILL.
Formal Methods as a Link between Software Code and Legal Rules
May 23, 2012 from 11:00 AM to 12:30 PM — Irill, 23 Avenue d'Italie, 75013 Paris,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
Oct 07, 2011 from 03:00 PM to 04:30 PM — IRILL, 23 Avenue d'Italie, Paris, France - 3th floor,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
Jun 09, 2011 from 03:45 PM to 05:30 PM — Salle rose 5e étage 23 avenue d'Italie Paris,exposé d'Olivier Berger
SlapOS: a Slap into Cloud Monopolies
May 12, 2011 from 03:45 PM to 05:30 PM — IRILL Salle algorithme,by Jean-Paul Smets
The Seeks Project: beyond conventional Web search.
Apr 28, 2011 from 03:45 PM to 05:00 PMEmmanuel Benazera will present the Seeks project as seminary.
Une bibliothèque de typage dynamique en OCaml
Mar 31, 2011 from 03:45 PM to 05:30 PM — IRILL, 23 Avenue d'Italie, Paris, France - 3th floor,by Julien Signoles (CEA)
apt-get a life - dependency hell is my heaven
Mar 30, 2011 from 02:00 PM to 03:00 PM — IRILL, 23 Avenue d'Italie, Paris, France - 3th floor ,David Kalnischkies will present at IRILL his work on apt-get, the Debian package manager.
Farewell to Disks: Efficient Processing of Obstinate Data
Mar 25, 2011 from 10:00 AM to 11:00 AM — IRILL, 23 Avenue d'Italie, Paris, France - 3th floor,By Diomidis Spinellis
Shared memory, an elusive abstraction: high-level languages
Mar 03, 2011 from 03:45 PM to 04:45 PM — IRILL, 23 Avenue d'Italie, Paris, France - 3th floor,by Francesco Zappa Nardelli (projet Moscova - Inria)
Document Actions