Webcast
  • Directs
  • Catégories
    • Chimie
    • Economie et finances
    • Informatique
    • Mathématiques
    • Physique
    • Planète et univers
    • Science non linéaire
    • Sciences cognitives
    • Environnement
    • Sciences de l'Homme et de la Société
    • Sciences de l'ingénieur
    • Sciences du Vivant
    • Statistiques
    • Communication
  • Chaînes
  • Partenaires
    • Académie des sciences
    • Astredhor
    • CC-IN2P3
    • CNRS autre
    • CNRS DirCom
    • CNRS DIST
    • CNRS Formation
    • CNRS Images
    • DevLOG
    • Doc Forum
    • DR16 CRNS PMA
    • France Grilles
    • GENCI
    • Groupe calcul
    • INED
    • INIST
    • IHEST
    • INSHS
    • INSERM
    • INCa
    • ISSN
    • JNPV
    • IN2P3
    • INSU
    • LAL
    • MOOC 2 infinis
    • Non défini
    • RNSC
    • RESINFO
  • Archives

JDEV 2015 - Grand Amphi-session du vendredi
Chaine : JDEV

Date de début :
03/07/2015 08:00
Date de fin :
03/07/2015 12:00
Lieu
Bordeaux INP - ENSEIRB-MATMECA
Ville
Bordeaux

Session pleinière du vendredi

Vidéos

26:14
Devlog
03/07/2015 : 08:00 - 09:00
1:20:08
Coq, un assistant de preuve.
03/07/2015 : 09:00 - 10:00
19:01
Retour d'expérience de l'utilisation de coq chez un industriel
03/07/2015 : 10:00 - 10:00
50:35
JavaScript: de la standardisation à la formalisation
03/07/2015 : 11:00 - 11:00
8:37
Conclusion, présentation CEPAge et remerciements JDEV15
03/07/2015 : 12:00 - 12:00
Du même auteur
Catégories
Chimie Economie et finances Informatique Mathématiques Physique Planète et univers Science non linéaire Sciences cognitives Environnement Sciences de l'Homme et de la Société Sciences de l'ingénieur Sciences du Vivant Statistiques Communication
À propos du webcast

La cellule webcast du CCIN2P3 vous propose de diffuser en direct et/ou en différé sur internet vos manifestations, colloques, conférences. Attention, ce service est réservé au domaine public dans le domaine de la Recherche Scientifique.


CC-Webcast v1.2.19 - Copyright © 2017, CC-IN2P3


Contact :