Bluesheets interim-2023-ufmrg-02: Fri 16:00
bluesheets-interim-2023-ufmrg-02-202309011600-00
| Meeting Bluesheets | Usable Formal Methods Research Group (ufmrg) RG | |
|---|---|---|
| Date and time | 2023-09-01 16:00 | |
| Title | Bluesheets interim-2023-ufmrg-02: Fri 16:00 | |
| State | Active | |
| Other versions | plain text | |
| Last updated | 2023-09-01 |
bluesheets-interim-2023-ufmrg-02-202309011600-00
Bluesheet for interim-2023-ufmrg-02 ======================================================================== 15 attendees. Stephen Farrell Carsten Bormann Uni Bremen TZI Muhammad Sardar Lauren Hardy Nadim Kobeissi Hannes Tschofenig Felix Linker Hans-Dieter Hiep Gergely Buday Sofia Celi Brave Steve Crocker Brendan Z Joshua Guttman Edward Zieglar Jonathan Hoyland