interim-2023-ufmrg-02
ufmrg: Usable Formal Methods Research Group
Scheduled Sessions
Remote instructions:
https://meetings.conf.meetecho.com/interim/?short=e5de2fa9-406c-41d8-918d-feead76485d8
Agenda, Minutes, and Bluesheets
Chatlog and polls
| Chat Log interim-2023-ufmrg-02: Fri 17:00 (chatlog-interim-2023-ufmrg-02-202309011700) |
| Polls interim-2023-ufmrg-02: Fri 17:00 (polls-interim-2023-ufmrg-02-202309011700) |
Slides
| Chair Slides (slides-interim-2023-ufmrg-02-sessa-chair-slides) |
Internet-Drafts
Notes and recordings
| Notepad for note-takers |
