Actualités et Événements

Soutenances de stage M2 DL

2 Juillet 2020

Les élèves du Master 2 Développement Logiciel soutiennent leur stage ou contrat d’alternance ces jeudi 2 et vendredi 3 juillet 2020, pour la première fois durant des soutenances non publiques en distanciel. Bon courage à toute la promotion !

En savoir plus...

Défis de génie logiciel dans l'évolution collaborative de l'assistant de preuve Coq et son écosystème

27 Février 2020

Exposé invité de Théo Zimmermann (Inria, Université de Paris, IRIF, CNRS) le 27 février 2020 à 16h-17h.

En savoir plus...

Le Master DL représenté au colloque Didapro'2020

23 Janvier 2020

Le Master DL sera représenté au prochain colloque Didapro’2020 du 5 au 7 février à Lille. A l’occasion de ce colloque dédié à l’enseignement et l’apprentissage de l’informatique, Jean-Baptiste Raclet et Franck Silvestre présenteront leurs travaux de recherche sur un protocole d’apprentissage de la programmation combinant tests automatisés et confrontations de points de vue orchestrées par la plateforme elaastic-questions.

En savoir plus...

Soutenances de stage M2 DL à mi-parcours

16 Janvier 2020

Les élèves du Master 2 Développement Logiciel présentent leur travail de début de stage durant cet examen oral en temps limité (un quart-d’heure max !)

En savoir plus...

Aménagement des salles U4-300 et U4-301

7 Janvier 2020

Financés en bonne partie par le Master DL, l’aménagement de la salle U4-301 avec du mobilier et l’installation de la climatisation en U4-300 et U4-301 sont maintenant terminés pour pouvoir accueillir les M1 et M2 DL dans de meilleures conditions !

En savoir plus...