On the occasion of Joost-Pieter Katoen’s 60th birthday, a Colloquium on Principles of Verification was organised on November 7, 2024. It attracted more than 100 participants from all over the world and was opened by welcoming speeches by representatives of both the University of Twente (NL) and RWTH Aachen University. Moreover, it featured eleven scientific talks by renowned international researchers. A highlight was the handing over of no less than three volumes of a Festschrift published by Springer Nature (Part I, Part II, Part III). The event was accompanied by an evening dinner and a MOVES Alumni Meeting on the following day.
