Présentation de la formation et de l’année de M2.
Actualités et Événements
Réunion de rentrée M2 DL
Réunion de rentrée M1 DL
Présentation de la formation et de l’année de M1.
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.