Wednesday 15 October 2025 12:30 - 16:00
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, in the Waaier building. The layman's talk will be at 12:30.
Waaier
Add to your calendar
aHGbRdipTzsgMbuxYmdh49124 15/10/2025 12:30 15/10/2025 16:00 Europe/Amsterdam Bridging the Implementation Gap: Advances in Model-Based Concurrent Program Verification 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, in the Waaier building. The layman's talk will be at 12:30.
Waaier false DD/MM/YYYY