Skip to toolbar

Community & Business Groups

URI Specification Community Group

closed on 2019-08-13

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!

Group's public email, repo and wiki activity over time

Note: Community Groups are proposed and run by the community. Although W3C hosts these conversations, the groups do not necessarily represent the views of the W3C Membership or staff.

No Reports Yet Published

Learn more about publishing.

Chairs, when logged in, may publish draft and final reports. Please see report requirements.

This group does not have a Chair and thus cannot publish new reports. Learn how to choose a Chair.

Call for Participation in URI Specification Community Group

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!


In order to join the group, you will need a W3C account.

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.

The group must now choose a chair. Read more about how to get started in a new group and good practice for running a group.

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 site-comments@w3.org

Thank you,
W3C Community Development Team