Actualités et Événements

Soutenances de stage M2 DL à mi-parcours

21 Janvier 2021

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

En savoir plus...

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