You are here: Home / Activities

Seminars

QEMU/CPC: Static Analysis and CPS Conversion for Safe, Portable, and Efficient Coroutines

Jan 16, 2014 from 03:35 PM to 05:15 PM IRILL, Paris,

Thursday January 16th, Gabriel Kerneis (Computer Laboratory - University of Cambridge) will come at IRILL to talk about "QEMU/CPC: Static Analysis and CPS Conversion for Safe, Portable, and Efficient Coroutines"

QEMU/CPC: Static Analysis and CPS Conversion for Safe, Portable, and Efficient Coroutines - Read More…

De l'utilisation des GPU dans la programmation Réactive/Synchrone "à la" Boussinot

Dec 12, 2013 from 03:45 PM to 05:00 PM IRILL, Paris,

Jeudi 12 décembre, Jean-Ferdinand Susini (CEDRIC-CNAM) viendra présenter ses travaux de recherche.

De l'utilisation des GPU dans la programmation Réactive/Synchrone "à la" Boussinot - Read More…

Tails: confidentialité et anonymat, pour tous et partout

Oct 30, 2013 from 06:30 PM to 08:00 PM IRILL, salle Orange, 3e étage,

L’utilisabilité et de la maintenabilité, fonctionnalités critiques pour la sécurité.

Tails: confidentialité et anonymat, pour tous et partout - Read More…

PRISM and an Agenda for European Network Security Research

Aug 26, 2013 from 10:00 AM to 11:55 AM IRILL,

Monday 26 August at 10, Christian Grothoff (TUM) will come at IRILL to talk about "PRISM and an Agenda for European Network Security Research"

PRISM and an Agenda for European Network Security Research - Read More…

De l'interaction entre granularités fonctionnelle et modulaire

Jun 20, 2013 from 03:45 PM to 05:15 PM IRILL, 3 ème étage, salle algorithme,

Jeudi 20 Juin, nous recevons Philippe Narbel (LABRI) qui nous parlera de "De l'interaction entre granularités fonctionnelle et modulaire"

De l'interaction entre granularités fonctionnelle et modulaire - Read More…

Compiler Testing via a Theory of Sound Optimisations in the C11/C++11 Memory Model

Apr 25, 2013 from 03:45 PM to 05:15 PM IRILL, 3 ème étage,

Jeudi 25 avril, nous recevons CRobin Morisset - Parkas (INRA, DI ENS) avec Pankaj Pawan et Francesco Zappa Nardelli qui nous parleront de "Compiler Testing via a Theory of Sound Optimisations in the C11/C++11 Memory Model"

Compiler Testing via a Theory of Sound Optimisations in the C11/C++11 Memory Model - Read More…

Use formal methods to verify an Ada program with SPARK2014

Apr 11, 2013 from 03:45 PM to 05:15 PM IRILL, 3 ème étage,

Jeudi 11 avril, nous recevons Claire Dross de Adacore qui nous parlera de "Use formal methods to verify an Ada program with SPARK2014"

Use formal methods to verify an Ada program with SPARK2014 - Read More…

On the provenance of Free and Open Source Software and the legal implications of its reuse

Mar 21, 2013 from 03:45 PM to 05:15 PM IRILL, 3 ème étage, salle algorithme,

Jeudi 21 mars, nous recevons Daniel German qui nous parlera de "On the provenance of Free and Open Source Software and the legal implications of its reuse"

On the provenance of Free and Open Source Software and the legal implications of its reuse - Read More…

How Firefox Makes Your JavaScript Run Faster

Mar 21, 2013 from 02:00 PM to 03:50 PM IRILL, 3 ème étage,

In the context of the Mozilla performance week, Nathan Froyd from Mozilla will explain how Firefox makes Javascript run faster.

How Firefox Makes Your JavaScript Run Faster - Read More…

Patoline : la typographie "lego" en OCaml

Mar 14, 2013 from 03:45 PM to 05:15 PM IRILL,

Le 14 mars, nous recevons Pierre-Etienne Meunier du LAMA et LIAFA qui nous parlera de Patoline

Patoline : la typographie "lego" en OCaml - Read More…

Harmony : Une plate-forme d'observation de l'évolution logicielle

Feb 28, 2013 from 03:45 PM to 05:15 PM IRILL, 5 ème étage,

Xavier Blanc du Labri viendra le jeudi 28 février à IRILL pour présenter et échanger autour de Harmony.

Harmony : Une plate-forme d'observation de l'évolution logicielle - Read More…

Le sens du partage.

Feb 14, 2013 from 03:45 PM to 05:15 PM IRILL, place d'italie, 5 eme etage, salle rose,

Le 14 février, nous recevons Thibaut Balabonski de l'équipe Gallium à Inria, qui nous parlera du sens du partage

Le sens du partage. - Read More…

Hosting and Automation at the OSUOSL

Jan 31, 2013 from 03:45 PM to 05:00 PM Irill,

Le 31 Janvier nous recevons Lance Albertson, qui nous parlera de l'infrastructure utilisée à OSUSL pour héberger les plus grands projets de Logiciel Libre.

Hosting and Automation at the OSUOSL - Read More…

Managing Heterogeneity and Variability in Cloud Computing Environments

Jan 23, 2013 from 10:30 AM to 12:00 PM IRILL, 3 ème étage, salle algorithme,

Le 23 janvier à 10h30, Clement Quinton (INRIA) viendra présenter son travail autour de "Managing Heterogeneity and Variability in Cloud Computing Environments".

Managing Heterogeneity and Variability in Cloud Computing Environments - Read More…

Une introduction informelle aux méthodes formelles par Prof. Roberto Bagnara, Université de Parma

Dec 21, 2012 from 10:00 AM to 12:00 PM IRILL, Salle Algorithme,

Une introduction informelle aux méthodes formelles par Prof. Roberto Bagnara, Université de Parma

Une introduction informelle aux méthodes formelles par Prof. Roberto Bagnara, Université de Parma - Read More…

CamllVM - a LLVM based runtime for Ocaml

Dec 20, 2012 from 03:45 PM to 05:00 PM IRILL, place d'Italie, Salle Algorithme,

Le 20 décembre à 15h45, Raphael Amiard (UPMC) viendra présenter son travail autour de CamllVM - a LLVM based runtime for Ocaml.

CamllVM - a LLVM based runtime for Ocaml - Read More…

Une définition CPS d'Esterel par Bernard Serpette

Dec 18, 2012 from 01:00 PM to 02:30 PM IRILL, place d'Italie, Salle Orange,

Mardi 18 décembre à 13h, Bernard Serpette (Indes - Inria Sophia Antipolis) présentera son travail autour d'une définition CPS d'Esterel

Une définition CPS d'Esterel par Bernard Serpette - Read More…

Experiments in generic programming: runtime type representation and implicit values by Gregoire Henry

Nov 21, 2012 from 03:45 PM to 05:00 PM IRILL, 5 eme étage, Salle Orange,

Le 22 novembre à 15h45, Grégoire Henry viendra présenter son travail sur "Experiments in generic programming: runtime type representation and implicit values" à place d'Italie.

Experiments in generic programming: runtime type representation and implicit values by Gregoire Henry - Read More…

Proving cryptographic schemes in Agda by Nicolas Pouillard

from Nov 14, 2012 03:45 PM to Dec 14, 2012 05:00 PM Site Jussieu, salle 332 couloir 26-00, au 3ème étage,

Le 14 novembre à 15h45, Nicolas Pouillard viendra présenter son travail sur "Proving cryptographic schemes in Agda: Dependently typed functional programming for Alice and Bob" sur le site Jussieu.

Proving cryptographic schemes in Agda by Nicolas Pouillard - Read More…

Presentation of Jesus M. Gonzalez-Barahona about "Measuring free software development"

Oct 11, 2012 03:45 PM IRILL,

The October 11th, Jesus M. Gonzalez-Barahona will present his work about "Measuring free software development" at IRILL.

Presentation of Jesus M. Gonzalez-Barahona about "Measuring free software development" - Read More…

Open Source From research Labs to Enterprise IT at the Openworld forum

Oct 11, 2012 from 11:00 AM to 01:00 PM Openworld forum,

During the Openworld forum, Vincent Balat from IRILL and Patrick Moreau from Inria will exchange with other speakers about technology transfert from research Labs to Enterprises.

Open Source From research Labs to Enterprise IT at the Openworld forum - Read More…

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.

Bootstrapping Debian (or derivatives) for a new architecture by Johannes Schauer - Read More…

Structured approaches for multi/many core targeting by Marco Danelutto

Sep 18, 2012 from 04:30 PM to 05:30 PM

Marco Danelutto (DI - Università di Pisa) will be presenting "Structured approaches for multi/many core targeting" at IRILL September 18th at 16:30

Structured approaches for multi/many core targeting by Marco Danelutto - Read More…

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.

Journées IRILL / GTLL sur la Fiabilité du Logiciel (14 et 15 Juin 2012) - Read More…

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.

Iterative Delta Debugging: Analyzing the evolution of components - Read More…

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.

Formal Methods as a Link between Software Code and Legal Rules - Read More…

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

Antelink/antepedia presentation by Guillaume Rousseau - Read More…

QuiXProc

May 26, 2011 from 03:45 PM to 05:30 PM IRILL Salle algorithme,

by Mohamed Zergaoui

QuiXProc - Read More…

SlapOS: a Slap into Cloud Monopolies

May 12, 2011 from 03:45 PM to 05:30 PM IRILL Salle algorithme,

by Jean-Paul Smets

SlapOS: a Slap into Cloud Monopolies - Read More…

The Seeks Project: beyond conventional Web search.

Apr 28, 2011 from 03:45 PM to 05:00 PM

Emmanuel Benazera will present the Seeks project as seminary.

The Seeks Project: beyond conventional Web search. - Read More…

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)

Une bibliothèque de typage dynamique en OCaml - Read More…

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.

apt-get a life - dependency hell is my heaven - Read More…

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

Farewell to Disks: Efficient Processing of Obstinate Data - Read More…

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)

Shared memory, an elusive abstraction: high-level languages - Read More…

Document Actions