Accueil Accueil

JDEV 2015 - Grand Amphi-session du vendredi
Devlog (6532) - Vendredi 03 juillet 2015 08:30 - 09:15

Devlog

Présentation du réseau DevLOG, porteur des JDEV2015. Motivations, objectifs, moyens, contexte et perspectives Cette présentation sera suivi d'un échange autour de certains point.

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