Les plénières des JDEV2015

Les plénières se tiennent le mardi après-midi et vendredi matin.

14h30-15h00 : Introduction
- Accueil de l'Enseirb-Matmeca (Marc Phalippou, directeur Enseirb-Matmeca, 5min)
- Ouverture de la formation par la délégation CNRS aquitaine (Marie-Noelle Besson 5min)
- L'importance des réseaux pour la recherche (Vanessa Tocut, CNRS MI, 15min) pdf
- Ouverture des JDEV2015 (Pascal Dayre, CNRS, 5min)

15h00-15h45 : P.M2 - La programmation Web multi-tier avec Hop.js Manuel Serrano (INRIA, Nice) pdf vidéo
15h45-16h30 : P.M1 - La programmation synchrone et le langage Lustre Nicolas Halbwachs, Directeur de Verimag pdf vidéo
16h30-17h00 : Pause
17h00-18h00 : P.M4 - La RDA (Research Data Alliance), les groupes de travail et les travaux? Intérêt et enjeux (intéropérabilité, modélisation, valorisation des données, …)? Les infrastructures de recherche (enjeux, illustrations). Comment contribuer? Françoise Genova Web (Observatoire de Strasbourg) pdf vidéo

08h30-09h15 : P.V5 - Devlog pdf video
09h15-10h15 : P.V1 - Coq, un assistant de preuve. récompence ACM 2013 ) Pierre Castéran Web, co-auteur de Coq-Art. pdf Exemples video
10h15-10h30 : P.V2 - Retour d'expérience de l'utilisation de coq chez un industriel - Olivier Ly (Schlumberger) video
10h30-11h00 : Pause
11h00-11h45 : P.V3 -JavaScript: de la standardisation à la formalisation Alan Schmitt (INRIA) pdf video
11h45-12h30 : P.V4 - Usages et perspectives de la programmation fonctionnelle - Philippe Narbel (LaBRI, Bordeaux). PDF (pas de vidéo)
12h30-13h00 : Remerciement du Comité Local d'Organisation video