The URI Specification Community Group has been launched:
The URI Specification Community Group endeavors to produce a set of coherent, maintainable artifacts for use by implementors, developers, authors, and everyday users. We will achieve this by creating a formal
specification of the ad hoc URI/URL standard described by RFC 3986/3987 and the WHATWG URL Living Standard.
The deliverable is a single formal specification source document in Lem (http://www.cl.cam.ac.uk/~pes20/lem/) from which a typical standards document can be generated as well as a set of theorems over the concepts described and an executable test oracle for each specified
function. Depending on community support and development of test generation tools, a test suite with proven specification coverage may also be delivered. If you think URI should work predictably and correctly and be able to be understood clearly, please join this group
and give us your perspective!
This is a community initiative. This group was originally proposed on 2014-09-11 by David Sheets. The following people supported its creation: David Sheets, Marcos Caceres, Austin Wright, Ethan Dagner, Arthur Barstow. W3C’s hosting of this group does not imply endorsement of the activities.
We invite you to share news of this new group in social media and other channels.
If you believe that there is an issue with this group that requires the attention of the W3C staff, please email us at firstname.lastname@example.org
W3C Community Development Team