my forest
1\import{table-macros}
2\date{2025-09-16T11:06:37Z}
3\author{liamoc}
4\title{IFIP WG2.1 Meeting \startverb #\stopverb83}
5\figure{
6 \<html:img>[loading]{lazy}[width]{193px}[src]{\route-asset{assets/vdc01.jpeg}}{}
7 \<html:img>[loading]{lazy}[width]{193px}[src]{\route-asset{assets/vdc02.jpeg}}{}
8 \<html:img>[loading]{lazy}[width]{193px}[src]{\route-asset{assets/vdc03.jpeg}}{}
9% \figcaption{The squawking cockatoos on the walk from my lecture theatre.}
10}
11\p{Last week I attended the meeting of [[wg21]] in Viana do Castelo, Portugal. I think all members and observers agreed that it was a good meeting, with (perhaps overly) abundant food and good company. Thanks in particular to [[jno]] for organising the meeting and to [[hoefner]] for serving as chair of [WG2.1](wg21) for the last six years.
12}
13\p{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. }
14\p{I presented some new work my student [Rayhana](rayhana) and I did with [[rvg]], classifying monitorability classes topologically.}
15\transclude{oconnor-2025-wg21}
16\p{This was the sequel of sorts to my [prior WG2.1 talk](oconnor-2024-wg21-2) on LTL properties within finite time, which was in turn presenting work from [our EXPRESS/SOS paper](amjad-vanglabbeek-oconnor-2024) last year. The topological connection was realised thanks to [[nickwu]], also a WG2.1 member, who pointed out in [the Canberra meeting](oconnor-2024-wg21-2) that the work I was presenting had distinct notes of [domain theory](dt-001Y). The topological connection was more that of [Alpern and Schneider](alpern-schneider-1985) than [Scott](danascott), but that was the spark that drove this later work, which will hopefully be included in our forthcoming Information and Computation paper. }
17\figure{
18 \<html:img>[loading]{lazy}[width]{230px}[src]{\route-asset{assets/vdc04.jpeg}}{}
19 \<html:img>[loading]{lazy}[width]{230px}[src]{\route-asset{assets/vdc05.jpeg}}{}
20 \figcaption{Views of Spain from the Camarido Beach.}
21}
22\p{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.}
23\figure{
24 \<html:img>[loading]{lazy}[width]{193px}[src]{\route-asset{assets/vdc07.jpeg}}{}
25 \<html:img>[loading]{lazy}[width]{193px}[src]{\route-asset{assets/vdc06.jpeg}}{}
26 \<html:img>[loading]{lazy}[width]{193px}[src]{\route-asset{assets/vdc08.jpeg}}{}
27 \figcaption{The climb and the Santuario church.}
28}
29\p{After the meeting had formally concluded, [[okmij]], [[henglein]], [[matija]], [[tsewell]], [[xnning]] and I climbed to Santuario de Santa Luzia. We took the arduous stairs rather than the funicular, as Matija's wife had forbidden him from Portuguese funiculars after the recent [Ascensor da Glória derailment](https://en.wikipedia.org/wiki/Ascensor_da_Glória_derailment), which led to me overdoing it and nearly fainting, but in recompense Matija bought me a beer at the top of the mountain which made it (mostly) worth it! }
30\p{Hopefully I can make it to the next meeting in Estonia next year!}
31\figure{
32 \<html:img>[loading]{lazy}[width]{320px}[src]{\route-asset{assets/vdc09.jpeg}}{}
33}