News

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: Friday, October 31st 2025, 9:15-12:00

Location: University Library in Vendelstraat, Spinoza room.

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