Skip to main content
Datatracker
Groups
By area/parent
Apps & Realtime
General
Internet
Ops & Management
Routing
Security
Transport
IAB
IRTF
IETF LLC
RFC Editor
Other
Active AGs
Active Areas
Active Directorates
Active Programs
Active RAGs
Active Teams
New work
Chartering groups
BOFs
BOF Requests
Other groups
Concluded groups
Non-WG lists
Documents
Search
Recent I-Ds
I-D submission
IESG dashboard
RFC streams
IAB
IRTF
ISE
Editorial
Meetings
Agenda
Materials
Floor plan
Registration
Important dates
Request a session
Session requests
Upcoming meetings
Upcoming meetings
Past meetings
Past meetings
Meeting proceedings
Other
IPR disclosures
Liaison statements
IESG agenda
NomComs
Downref registry
Statistics
I-Ds/RFCs
Meetings
Tutorials
API Help
Release notes
Report a bug
User
Sign in
Password reset
Preferences
New account
Report a bug
Sign in
Javascript disabled?
Like other modern websites, the IETF Datatracker relies on Javascript. Please enable Javascript for full functionality.
Usable Formal Methods Proposed Research Group (ufmrg)
About
Documents
Meetings
History
Photos
Email expansions
List archive »
No documents match your query.
Document
Date
Status
IPR
AD/Shepherd
Atom feed:
All changes
Significant
Subscribe to changes
Export as CSV