• Motion contre la LPPR

Thèses

• 01/10/2020 - 14h : SALL Boubacar Demba
  Programmation impérative par raffinements avec l'assistant de preuve Coq
  Campus Jussieu, Salle Jacques Pitrat (25-26/105)

Aucune autre manisfestation prévue actuellement.