IETF-123
ufmrg: Usable Formal Methods Research Group
Scheduled Sessions
Agenda, Minutes, and Bluesheets
| Agenda IETF123: ufmrg (agenda-123-ufmrg) |
| Minutes IETF123: ufmrg: Thu 12:30 (minutes-123-ufmrg-202507241230) |
| Bluesheets IETF123: ufmrg : Thu 12:30 (bluesheets-123-ufmrg-202507241230) |
Chatlog and polls
| Chat Log IETF123: ufmrg: Thu 14:30 ( as json ) |
Slides
| Chair Slides (slides-123-ufmrg-chair-slides) |
| Attested TLS (slides-123-ufmrg-attested-tls) |
| eꓦerpꓥrse (slides-123-ufmrg-eerprse) |
Internet-Drafts
Notes and recordings
| Notepad for note-takers |
| Video recording for ufmrg on 2025-07-24 at 12:30:00 |
| Meetecho session recording |