Friday 3 October 2025
Bob Rubbens will defend his thesis with titleĀ Bridging the Implementation Gap: Advances in Model-Based Concurrent Program Verification on Wednesday 15 October at 12:45, in the Prof. dr. G. Berkhoff-Zaal, Waaier building. The layman's talk will be at 12:30.




