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
Chatlog and polls
Chat Log interim-2023-ufmrg-01: Wed 16:00 (chatlog-interim-2023-ufmrg-01-202305241600) |
Polls interim-2023-ufmrg-01: Wed 16:00 (polls-interim-2023-ufmrg-01-202305241600) |
Slides
Internet-Drafts
Notes and recordings
Notepad for note-takers |