Sites Inria

Il y a 3 Résultats avec le mot clé : "Équipe"

Prix Inria 2014

L'équipe nouvel intranet : Prix Inria du service de support à la recherche 2014

6/10/2014

Fruit d’un travail commun entre les équipes de la direction de la communication (Dircom), de la direction des systèmes d’information (DSI), de la direction des ressources humaines (DRH) et du centre Inria Sophia Antipolis - Méditerranée, le nouvel Intranet d’Inria a été ouvert fin avril 2014. Le prix du service de support à la recherche récompense l’engagement de l’équipe pilote de ce projet complexe.

Mots-clés :

Accueil > Institut > Inria en bref > Prix Inria par année > Lauréats 2014 > Prix du service de support à la recherche

Lire la suite

© ENS Rennes

Visite

Visite des élèves de l'ENS Rennes

8/01/2019 au 10/01/2019

Des étudiants et étudiantes de l'ENS Rennes sont en visite à Inria Nancy du 8 au 10 janvier 2019, afin de rencontrer nos équipes de recherches et découvrir nos différentes plates-formes.

Lieu : Inria Nancy - Grand Est

Mots-clés :

Accueil > Centre > Nancy > Agenda > Visite des élèves de l'ENS Rennes

lire la suite

© INRIA Sophie Auvin - C comme Cryptographie

Séminaire des Équipes de Recherche

Séminaire Cambium

16/12/2019

This talk presents Nomos, a programming language that has been designed from scratch to address the unique challenges of programming digital contracts: describing and enforcing protocols of interaction, controlling resource usage, and tracking linear assets.

Lieu : Salle Jacques-Louis Lions 1

Intervenant(s) : Jan Hoffmann, Carnegie Mellon University

Mots-clés :

Accueil > Centre > Paris > Agenda > Séminaire Cambium

lire la suite

Haut de page

Suivez Inria