interim-2023-ufmrg-01
ufmrg: Usable Formal Methods Research Group

Scheduled Sessions

Remote instructions: https://meetings.conf.meetecho.com/interim/?short=0d06afcd-6c3f-469a-b16b-3ddcdd10b477

Agenda, Minutes, and Bluesheets

(agenda-interim-2023-ufmrg-01-ufmrg-01)
Minutes interim-2023-ufmrg-01: Wed 15:00 (minutes-interim-2023-ufmrg-01-202305241500)
Bluesheets interim-2023-ufmrg-01: Wed 15:00 (bluesheets-interim-2023-ufmrg-01-202305241500)

Chatlog and polls

Chat Log interim-2023-ufmrg-01: Wed 16:00 ( as json )
Polls interim-2023-ufmrg-01: Wed 16:00 ( as json )

Slides

Chair Slides (slides-interim-2023-ufmrg-01-sessa-chair-slides)
SSPVerif: Verifying State Separating Proofs (slides-interim-2023-ufmrg-01-sessa-sspverif-verifying-state-separating-proofs)
Fun with Rosette (slides-interim-2023-ufmrg-01-sessa-fun-with-rosette)
Sample Problem (slides-interim-2023-ufmrg-01-sessa-sample-problem)
Usability Issues (slides-interim-2023-ufmrg-01-sessa-usability-issues)
Delegated Credentials (slides-interim-2023-ufmrg-01-sessa-delegated-credentials)

Internet-Drafts

Notes and recordings

Notepad for note-takers
Video recording for ufmrg on 2023-05-24 at 15:00:00
Meetecho session recording

Unscheduled Sessions