Sites Inria

There are 3 Results with the keyword : "Spirals research team"

©Earl Barr

Conference

Discovering Program Invariants and Automatic Program Repair

8/11/2013

On Friday 8 November 2013, 14:00-15:00 Room B31 at Inria Lille - Nord Europe, Earl Barr (University College London) will give a talk on “Automatic Detection of Floating-Point Exceptions”.

Place : Room B31, Inria Lille - Nord Europe

Guest(s) : Earl Barr

Keywords:

Home > Centre > Lille > Calendar > Discovering Program Invariants and Automatic Program Repair

lire la suite

Maria Gomez La Cruz © Alice Decarpigny

Portraits

Researchers here and elsewhere : Spain

28/01/2014

Originally from the Spanish city of Valencia, 28-year-old Maria Gomez Lacruz is working on a PhD thesis with the Lille-based Spirals team (associated with Lille 1 University*). She is one of many talented young scientists from outside France who have chosen Inria. We spoke to her about her experience.

Keywords:

Home > Centre > Lille > News > Chercheurs d'ici et d'ailleurs : Espagne

More

Logo Apisense © APISENSE

Personal data

Could your phone be a tool for science?

Philippe Fontaine - 14/01/2014

Scientists are already beginning to use the large volumes of data that are constantly being collected by sensors built in to many of the smartphones currently in use. APISENSE is a computing platform developed by Spirals Team for collecting and grouping data.

Keywords:

Home > Centre > Lille > News > Prêtez votre téléphone à la science

More

Top