Sites Inria

There are 7 Results with the keyword : "publication"

Magazine

Lille by Inria, n°4 : popular sciences, let's share digital sciences

8/12/2016

Keywords:

Home > Centre > Lille > News > Lille by Inria, n°4 : la médiation scientifique, partageons les sciences du numérique

More

Magazine

Lille by Inria, n°3 : data, raw material and source of issues for digital sciences

3/06/2016

Keywords:

Home > Centre > Lille > News > Lille by Inria, n°3 : les données, matière première et source d'enjeux pour le numérique

More

Publication

Inria Plug'In n°5

Vanessa Cabet - 12/01/2017

In 2017, Inria is celebrating its 50 years and Plug'In its fifth publication! 

Innovations, discoveries, passions, collaborations...This year - once again - dive into the heart of digital science research in the Nouvelle-Aquitaine region.  Plug'In's ambition: to let people see and understand the digital revolution in the Nouvelle-Aquitaine.

In this new edition, we find the shared views of Virginie Calmels - deputy mayor of Bordeaux, in charge of the economy, employment and sustainable growth - and François Cansell, director-general of graduate school Bordeaux INP, on the actions put in place within Bordeaux Métropole in order to raise awareness among young people with regard to the digital sciences and, in particular, encourage the access of young women to scientific courses; advances with regard to augmented and virtual reality; a zoom on PhDs; a perspective on digital science researchers and showcasing of researcher-entrepreneurs who have decided to create their start-up.

 Have a great read!

Keywords:

Home > Centre > Bordeaux > News > Inria Plug'In n°5

More

Activity Report

Overview of the digital world

2018 marked the start of a new cycle for the Institute. Playing a unique role in digital research and innovation ecosystems, Inria has reasserted its goals of achieving scientific excellence and increasing its economic impact, while striking a balance between reinforcing its regional presence and enhancing its international standing.

Keywords:

Home > Institute > Inria in brief > Rapport annuel d'Inria

More

Formal Models and Techniques for Analyzing Security Protocols

Publication

Formal Models and Techniques for Analyzing Security Protocols

15/04/2011

Release of "Formal Models and Techniques for Analyzing Security Protocols / Cryptology and Information Security Series (Vol.5)", a new book co-written by Steve Kremer (Secsi project-team) and Véronique Cortier (Cassis project-team).

Keywords:

Home > Centre > Saclay > News > Formal Models and Techniques for Analyzing Security Protocols

More

A version of " Christiane's Hair " set

Paul R. Halmos - Lester R. Ford Award

A Question of Elegance

Martin Bellet - 10/10/2014

Last August, Jacques Lévy-Véhel, an Inria research team director (Regularity team), and his friend and colleague, Franklin Mendivil, received the Paul R. Halmos - Lester R. Ford. Jacques Lévy-Véhel took our questions about this award.

Keywords:

Home > Centre > Saclay > News > Une question d'élégance

More

Top