Address
:
[go:
up one dir
,
main page
]
Include Form
Remove Scripts
Accept Cookies
Show Images
Show Referer
Rotate13
Base64
Strip Meta
Strip Title
Session Cookies
Skip to main content
Datatracker
Groups
By area/parent
Apps & Realtime
General
Internet
Ops & Management
Routing
Security
Web and Internet Transport
IESG
IAB
IRTF
IETF LLC
RFC Editor
Other
Active AGs
Active Areas
Active Directorates
Active IAB Workshops
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
Submit an Internet-Draft
RFC streams
IAB
IRTF
ISE
Editorial
Subseries
STD
BCP
FYI
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
API Help
Release notes
System status
Report a bug
User
Sign in
Password reset
Preferences
New account
List subscriptions
IETF Lists
IRTF Lists
IAB Lists
RFC-Editor Lists
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 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