Sites Inria

English version

A la une

Conférence Programming 2018

Programming 2018

Conférence Programming 2018

9/04/2018 au 12/04/2018

Programming  est une nouvelle conférence internationale entièrement consacrée à la programmation. Ces conférences ont pour but de faire le point sur tous les travaux et expériences en lien avec la programmation, au sens large, et dans tous les domaines : art, science, etc.

La première édition s'est tenue à Bruxelles cette année et Nice accueillera la prochaine édition en avril 2018.

Lieu : Nice

Mots-clés :

lire la suite

© INRIA Sophie Auvin - P comme Protocole

Seminaire des équipes de recheche

Séminaire Prosecco

12/04/2018

We give a rigorous characterization of what it means for a programming language to be memory safe, capturing the intuition that memory safety supports local reasoning about state. We formalize this principle in two ways. 

Lieu : Inria de Paris - 2 rue Simone Iff - 75012 Paris, room Lions 2 - 11h00

Intervenant(s) : Arthur Azevedo de Amorim (CMU)

Mots-clés :

lire la suite

CC0

RDV du Plateau Inria

Empreintes de navigateurs : Vie privée et sécurité

12/04/2018

Le jeudi 12 avril 2018, de 9h à 10h30 au Plateau Inria (EuraTechnologies ), venez assister à une session consacrée au fingerprinting , présentée par Antoine Vastel, membre de l'équipe-projet Spirals* de notre centre de recherche. Introduction de l’événement par le CLUSIR Nord de France. Inscrivez-vous.

Lieu : Plateau Inria, EuraTechnologies - 165 avenue de Bretagne, Lille

Mots-clés :

lire la suite

Haut de page

Suivez Inria