Usable Formal Methods Research Group (ufmrg)
Past Meetings (within the last four years)
Meeting | Date | Materials | |
---|---|---|---|
IETF 121 |
Agenda
Minutes
Materials
|
||
IETF 120 |
Agenda
Minutes
Materials
|
||
IETF 118 |
Agenda
Minutes
Materials
|
||
IETF 118 | UFMRG Formal Methods Training |
Agenda
Minutes
Materials
|
|
interim-2023-ufmrg-02 | Agenda Minutes Materials | ||
IETF 117 |
Agenda
Minutes
Materials
|
||
interim-2023-ufmrg-01 | Agenda Minutes Materials | ||
IETF 116 |
Agenda
Minutes
Materials
|
This page shows meetings within the last four years. For earlier meetings, please see the proceedings.