Skip to main content

IETF-117
ufmrg: Usable Formal Methods Proposed 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 (chatlog-117-ufmrg-202307241730)

Slides

Chair Slides (slides-117-ufmrg-chair-slides)
Isabelle (slides-117-ufmrg-isabelle)

Internet-Drafts

Notes and recordings

Notepad for note-takers
Video recording for ufmrg on 2023-07-25 at 00:30:00
Session recording

Unscheduled Sessions