Usable Formal Methods Research Group (ufmrg)
Group history
| Date | By | Action |
|---|---|---|
| 2024-03-21 | Colin Perkins | Name changed to Usable Formal Methods Research Group from Usable Formal Methods Proposed Research Group |
| 2024-01-16 | Colin Perkins | Tech Advisor changed to Karthikeyan Bhargavan from Christopher Wood, Karthikeyan Bhargavan |
| 2023-12-07 | Jenny Bui | Mailing list subscribe address changed to https://mailman.irtf.org/mailman/listinfo/ufmrg from https://www.irtf.org/mailman/listinfo/ufmrg |
| 2023-10-13 | Liz Flynn | sent scheduled notification for IETF-118 |
| 2023-06-30 | Liz Flynn | sent scheduled notification for IETF-117 |
| 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 |