Awards and prizes - Best paper award for Wytse Oortwijn and Marieke Huisman at iFM 2019


Wytse Oortwijn (now at ETH Zurich) and Marieke Huisman (University of Twente) received a best paper award for their paper: "Practical Abstractions for Automated Verification of Message Passing Concurrency" at IFM 2019: 15th International Conference on Integrated Formal Methods.