IETF-124
ufmrg: Usable Formal Methods Research Group
Scheduled Sessions
Agenda, Minutes, and Bluesheets
| Agenda IETF124: ufmrg (agenda-124-ufmrg) |
| Minutes IETF124: ufmrg: Tue 14:30 (minutes-124-ufmrg-202511041430) |
| Bluesheets IETF124: ufmrg : Tue 14:30 (bluesheets-124-ufmrg-202511041430) |
Chatlog and polls
| Chat Log IETF124: ufmrg: Tue 09:30 ( as json ) |
Slides
Internet-Drafts
Notes and recordings
| Notepad for note-takers |
| Video recording for ufmrg on 2025-11-04 at 14:30:00 |
| Meetecho session recording |