UFMRG Interim meeting 2023-05-24 1500-1700 UTC

Logistics:
- meeting via the meetecho below (you need to login to datatracker)
- https://meetings.conf.meetecho.com/interim/?short=0d06afcd-6c3f-469a-b16b-3ddcdd10b477

Agenda:
- intro/agenda-bash (chairs, 5 mins)
- SSPVerif (Jan Winkelmann, 15 mins)
- Sample problem (Stephen Farrell, 15 mins)
- Usability issues in formal methods (Jonathan Hoyland, 15 mins)
- getting people to start doing things (chairs, #arm-twisting mins)
- if time permits: Delegated Credentials (Jonathan Hoyland, 15 mins)