Last week I attended the meeting of IFIP Working Group 2.1: Algorithmic Languages and Calculi José Nuno Oliveira Peter Höfner WG2.1
Because this was my third meeting as an observer, I was eligible to be selected as an ongoing member of the group, and I'm happy to say that I was invited to become a member at the conclusion of this meeting.
I presented some new work my student Rayhana Rob van Glabbeek
This was the sequel of sorts to my prior WG2.1 talk our EXPRESS/SOS paper Nicolas Wu the Canberra meeting domain theory Alpern and Schneider Scott
Views of Spain from the Camarido Beach. The excursion of the meeting included several stops, including two interesting Viana museums, an archaelogical site on the nearby mountaintop, and a memorable trip to Camarido Beach, at the northernmost tip of Portugal, with Spanish Galicia just to the north along the road from Portugal to Santiago de Compostela.
The climb and the Santuario church. After the meeting had formally concluded, Oleg Kiselyov Fritz Henglein Matija Pretnar Thomas Sewell Ningning Xie Ascensor da Glória derailment
Hopefully I can make it to the next meeting in Estonia next year!