Javascript disabled? Like other modern websites, the IETF Datatracker relies on Javascript. Please enable Javascript for full functionality.

Usable Formal Methods Research Group (ufmrg)

Session requests

Time zone: Local UTC

Past Meetings (within the last four years)

Meeting		Materials
IETF 118		Agenda Minutes Materials Chat logs Video recording for ufmrg on 2023-11-08 at 12:00:00 Session recording
IETF 118	UFMRG Formal Methods Training	Agenda Minutes Materials Chat logs Video recording for ufmrg on 2023-11-05 at 11:00:00 Session recording
interim-2023-ufmrg-02		Agenda Minutes Materials
IETF 117		Agenda Minutes Materials Chat logs Video recording for ufmrg on 2023-07-25 at 00:30:00 Session recording
interim-2023-ufmrg-01		Agenda Minutes Materials
IETF 116		Agenda Minutes Materials Chat logs Video recording for UFMRG on 2023-03-29 at 00:30:00 Session recording

This page shows meetings within the last four years. For earlier meetings, please see the proceedings.