I'm just coming to the end of an absolutely amazing week attending the 3rd World Congress on Formal Methods in Porto, Portugal. After presenting an extended abstract at the Doctoral Symposium to a series of highly constructive and thought-proviking questions from attendees, I attended sessions from both the 13th International Conference on
Mathematics of Program Construction
and of course the main track the 23rd Symposium on Formal Methods.

I feel extremely fortunate to have the opportunity to attend an event like this, which takes places only once every 10 years, bringing together formal methods researchers and practitioners from all over the world and all kinds of different research areas. With all this set against the backdrop of the city of Porto with its legendary food, wine and weather, I'm honestly not sure what more I could ask for.

You can get the extended abstract and slides from my website.