Accueil Accueil

JDEV 2015 - Grand Amphi-session du vendredi
Les plénières des JDEV2015 - Vendredi 03 juillet 2015 au Vendredi 03 juillet 2015
Bordeaux - Bordeaux INP - ENSEIRB-MATMECA

Session pleinière du vendredi


Informatique


Toutes les vidéos de l'évenement JDEV 2015 - Grand Amphi-session du vendredi (5 videos)

00:26:13.90

. 2015-07-03

08:30 - 09:15 : Devlog

01:20:07.88

. 2015-07-03

09:15 - 10:15 : Coq, un assistant de preuve.

00:19:00.86

. 2015-07-03

10:15 - 10:30 : Retour d'expérience de l'utilisation de coq chez un industriel

00:50:34.57

. 2015-07-03

11:00 - 11:45 : JavaScript: de la standardisation à la formalisation

00:08:36.96

. 2015-07-03

12:00 - 12:30 : Conclusion, présentation CEPAge et remerciements JDEV15

Contact 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.


Cellule Webcast
Centre de Calcul IN2P3/CNRS
21 Avenue Pierre de Coubertin
CS70202
69627 VILLEURBANNE Cedex

Tél. :
+33(0) 4.78.93.08.80

Fax. :
+33(0) 4.72.69.41.70



Email :

Voir les mentions légales du site