Présentation de la formation et de l’année de M1.
Actualités et Événements
Réunion de rentrée M1 DL
Soutenances de stage M2 DL
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 !
Défis de génie logiciel dans l'évolution collaborative de l'assistant de preuve Coq et son écosystème
Exposé invité de Théo Zimmermann (Inria, Université de Paris, IRIF, CNRS) le 27 février 2020 à 16h-17h.
Le Master DL représenté au colloque Didapro'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.
Soutenances de stage M2 DL à mi-parcours
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 !)