Workshop on deriving, revising, and verifying concepts and programs

On the occasion of the PhD defense of Raoul Koudijs, there will be a Workshop with three speakers:

  • Ana Ozaki (University of Oslo)
  • Montserrat Hermo (University of the Basque Country)
  • Jean Christoph Jung (TU Dortmund).

Date:

Location: University Library in Vendelstraat, Spinoza room.

For more information, see https://sites.google.com/view/dravcap