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 ( as json ) |
| Polls interim-2023-ufmrg-02: Fri 17:00 ( as json ) |
Slides
| Chair Slides (slides-interim-2023-ufmrg-02-sessa-chair-slides) |
Internet-Drafts
Notes and recordings
| Video recording for ufmrg on 2023-09-01 at 16:00:00 |
| Meetecho session recording |