Exposé invité de Théo Zimmermann (Inria, Université de Paris, IRIF, CNRS) le 27 février 2020 à 16h-17h.
Actualités et Événements
Défis de génie logiciel dans l'évolution collaborative de l'assistant de preuve Coq et son écosystème
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 !)
Aménagement des salles U4-300 et U4-301
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 !
Afterwork Working in Space - CS Group
Invitation à l’Afterwork Working in Space de CS Group à l’Eurêkafé Toulouse