The Usable Formal Methods Proposed Research Group (ufmrg) RG will hold a virtual interim meeting on 2023-09-01 from 17:00 to 18:00 Europe/Dublin (16:00 to 17:00 UTC).
Agenda: Planning for IETF 1198 training Information about remote participation: https://meetings.conf.meetecho.com/interim/?short=e5de2fa9-406c-41d8-918d-feead76485d8 -- 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