Munich🚄Eindhoven for the Dutch Formal Methods Day! I made sure to have at least one reference to the Netherlands in my talk just to be on the safe side...