IETF-117
ufmrg: Usable Formal Methods Research Group
Scheduled Sessions
Agenda, Minutes, and Bluesheets
| Agenda IETF117: ufmrg (agenda-117-ufmrg) |
| Minutes IETF117: ufmrg: Tue 00:30 (minutes-117-ufmrg-202307250030) |
| Bluesheets IETF117: ufmrg : Tue 00:30 (bluesheets-117-ufmrg-202307250030) |
Chatlog and polls
| Chat Log IETF117: ufmrg: Mon 17:30 ( as json ) |
Slides
| Chair Slides (slides-117-ufmrg-chair-slides) |
| Isabelle (slides-117-ufmrg-isabelle) |
Internet-Drafts
Notes and recordings
| Video recording for ufmrg on 2023-07-25 at 00:30:00 |
| Meetecho session recording |