We’re pleased to announce the creation of a new Usable Formal Methods Research Group in the IRTF.

This group aims to bring together the Internet protocol standards community and the academic research community studying formal methods of protocol specification to share experience and ideas; to explore and understand the strengths and limitations of formal methods for specification of network protocols; and to encourage and support experimentation with formal methods in the context of the IETF, to gain insight into the feasibility, applicability, and limitations of such methods when applied to Internet protocol standards development.

More information about the group, and details of how to join the mailing list, can be found at https://datatracker.ietf.org/rg/ufmrg/about/