A modern eye on separation logic for sequential programs

HDR soutenue par Arthur Chargueraud


Lundi 27 février 2023 - 14:30

Salle de conférences IRMA
  • P. Helluy, Universite de Strasbourg, garant
  • R. Harper, Carnegie Mellon University
  • X. Rival, ENS Paris
  • D. Devriese, Katholieke Universiteit Leuven
  • S. Blazy, Universite de Rennes
  • D. Dreyer, Max Planck Institue
  • N. Magaud, Universite de Strasbourg