all documents
  • all documents
Advanced search
Search set :
all documents
  • all documents
Search by geolocation
Search :
Enter a landmark, address, city, country... :
Distance :  close
Search set :
all documents
  • all documents
Embed code : Copy and paste the embed code above to display this media inside a web page.
Abstract :
Jasmin Blanchette is a researcher with a Starting Research Position at the research center of Inria Nancy - Grand-Est.
He comes from Quebec, and works ont proof assistants in the research team Veridis ; he shares his time between the research center of Inria Nancy - Grand-Est and Institut Max Planck de Sarrebruck. Come and follow him in his daily life.
Date of production :
Duration :
02 min 30 sec
Language :
Version française
Available languages :
Research project-team :
Research center :
Keywords :
Master N° :
Production :
Production Inria - Direction de la Communication
Permalink :

Format : .mp4
11,6 MB
480 x 270 pixels
Basse défiinition - Web
Encodage PAL .MP4 H264
512 kbits/s

Format : .mp4
91,8 MB
1024 x 576 pixels
Moyenne définition - équivalent DVD
Encodage PAL .MP4 H264
5 Mbits/s
See selection
Drop here to remove from your selection