Usable Formal Methods Proposed Research Group (ufmrg)
Group history
| Date |
By |
Action |
| 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 |