Actualités et Événements

Réunion de rentrée M2 DL

15 Septembre 2020

Présentation de la formation et de l’année de M2.

En savoir plus...

Réunion de rentrée M1 DL

15 Septembre 2020

Présentation de la formation et de l’année de M1.

En savoir plus...

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...