Usable Formal Methods Proposed Research Group (ufmrg)
Group history
| Date | By | Action |
|---|---|---|
| 2023-04-18 | Stephen Farrell | Resources changed to wiki https://wiki.ietf.org/en/group/ufm |
| 2023-03-03 | Liz Flynn | sent scheduled notification for IETF-116 |
| 2023-01-29 | Jonathan Hoyland | Tech Advisor changed to Christopher Wood, Karthikeyan Bhargavan from Christopher Wood |
| 2023-01-27 | Colin Perkins | Chair changed to Jonathan Hoyland, Stephen Farrell from Jonathan Hoyland |
| 2023-01-27 | Colin Perkins | Name changed to Usable Formal Methods Proposed Research Group from Usable Formal Methods Research Group |
| 2023-01-27 | Colin Perkins | Charter approved, group active |
| 2023-01-16 | Colin Perkins | Tech Advisor changed to Christopher Wood from |
| 2023-01-16 | Colin Perkins | Chair changed to Jonathan Hoyland from |
| 2023-01-16 | Colin Perkins | Group created in state Proposed |