Accueil Accueil

JDEV 2015 - Grand Amphi-session du vendredi
Conclusion, présentation CEPAge et remerciements JDEV15 (6536) - Vendredi 03 juillet 2015 12:00 - 12:30

Conclusion, présentation CEPAge et remerciements JDEV15

-

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