par david.darras@univ-lille.fr le 07/03/2018 dans
Evénements, Journées MIn2RIEN
Le réseau métier d’informaticiens MIn2RIEN a le plaisir de vous convier à sa
15ème journée thématique « Retours d’expériences »
le Mardi 10 avril 2018 à Polytech Lille sur le campus Cité Scientifique de 9h00 à 16h00
Cette journée, dédiée aux retours d’expériences dans notre région, est rendue possible grâce aux nombreuses …
par sgaget le 12/02/2018 dans
Actualités, Evénements, Formation
La formation permanente de la DR18 du CNRS organise en partenariat avec le réseau des informaticiens Min2Rien, une formation d’initiation au langage Python.
Cette session de 3 jours aura lieu du 10 au 12 avril 2018 sur le site de la délégation CNRS à Lille (2 rue des canonniers).
Les informations sont …
par sgaget le 09/02/2018 dans
Actualités, Evénements, Formation
Les Service Expérimentation et Développement et Ressources humaines du Centre de Recherche Inria Lille – Nord Europe organisent une formation Docker les 14 et 15 mars.
Objectif pédagogique : prise en main de la technologie docker sur poste de travail.
Programme (2 jours) :
Introduction
Managing docker containers
Inputs/Outputs
Managing docker images
Building docker images
Security considerations
The ecosystem …
par sgaget le 18/01/2018 dans
Evénements, Formation, Journées MIn2RIEN
La formation permanente de la DR18 du CNRS organise en partenariat avec le réseau des informaticiens Min2Rien, une formation sur GIT.
Cette session de 2 jours aura lieu les 29 et 30 mars 2018 sur le site de la délégation CNRS à Lille (2 rue des canonniers).
Les informations sont disponibles ici.
Les modalités d’inscriptions sont disponibles ici.
La date limite des inscriptions auprès du service formation permanente de la délégation CNRS DR18 est fixée au 20 février 2018.
par Cécile le 10/01/2018 dans
Développement, Thèse/HDR
En suivant le lien ci-dessous, vous trouverez une thèse qui porte sur le test des programmes C.
Une méthode de diagnostic automatique des échecs de preuve est proposée.
https://tel.archives-ouvertes.fr/tel-01680052