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

Retour
Retour à la liste des thématiques

vidéos

• 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)

vidéo

• 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

vidéos

• 08h30-09h15 : P.V5 - Devlog pdfvideo
• 09h15-10h15 : P.V1 - Coq, un assistant de preuve. récompence ACM 2013 ) Pierre CastéranWeb, 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