Please note that this newsitem has been archived, and may contain outdated information or links.
31 October 2025, Workshop on deriving, revising, and verifying concepts and programs
Date: Friday 31 October 2025
Time: 09:15-12:00
Location: Amsterdam (new UB)
This workshop takes place on the occasion of Raoul Koudijs' PhD defense. It features talks about deriving and/or revising logical concept based on data examples, as well as an introductory talk about Dafny, a Hoare-logic inspired language used for the formal specification and verification of programs.
Speakers: Jean Christoph Jung - TU Dortmondt, Ana Ozaki - University of Oslo, Montserrat Hermo - University of the Basque Country (*over zoom)
For more information, see
https://sites.google.com/view/dravcap
or contact Balder ten Cate at b.d.tencate at uva.nl.
Please note that this newsitem has been archived, and may contain outdated information or links.