The Usable Formal Methods Proposed Research Group (ufmrg) RG will hold a virtual interim meeting on 2023-05-24 from 16:00 to 18:00 Europe/Dublin (15:00 to 17:00 UTC).
Agenda: Agenda TBD Information about remote participation: https://meetings.conf.meetecho.com/interim/?short=0d06afcd-6c3f-469a-b16b-3ddcdd10b477 -- A calendar subscription for all ufmrg meetings is available at https://datatracker.ietf.org/meeting/upcoming.ics?show=ufmrg _______________________________________________ IETF-Announce mailing list IETF-Announce@ietf.org https://www.ietf.org/mailman/listinfo/ietf-announce