Skip to main content


Meeting Agenda Usable Formal Methods Research Group (ufmrg) RG
Date and time 2023-05-24 15:00
Title (None)
State Active
Other versions markdown
Last updated 2023-05-22


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

- meeting via the meetecho below (you need to login to datatracker)

- 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)