Dagstuhl

I have participated in the Dagstuhl Seminar on Unifying Formal Methods for Trustworthy Distributed Systems, which we have co-organised with Roopsha Samanta, Swen Jacobs, and Ken McMillan. It was fun.