(Untitled)
agenda-interim-2023-ufmrg-01-ufmrg-01-02
| 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 |
agenda-interim-2023-ufmrg-01-ufmrg-01-02
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)