IETF-116
ufmrg: Usable Formal Methods Research Group
Scheduled Sessions
Agenda, Minutes, and Bluesheets
Agenda IETF116: ufmrg (agenda-116-ufmrg) |
Minutes IETF116: ufmrg: Wed 00:30 (minutes-116-ufmrg-202303290030) |
Bluesheets IETF116: ufmrg : Wed 00:30 (bluesheets-116-ufmrg-202303290030) |
Chatlog and polls
Chat Log IETF116: ufmrg: Wed 09:30 ( as json ) |
Slides
Internet-Drafts
Notes and recordings
Video recording for UFMRG on 2023-03-29 at 00:30:00 |
Meetecho session recording |