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
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
© ENS Rennes
Visite
Visite des élèves de l'ENS Rennes
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
Séminaire des Équipes de Recherche
Séminaire Cambium
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
Centres de recherche Inria
