- From: Do Not Reply <nobody@w3.org>
- Date: Fri, 12 Sep 2014 13:15:23 +0000
- To: public-new-work@w3.org
The URI Specification Community Group has been launched: http://www.w3.org/community/urispec/ -------------------------------------------------- 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! -------------------------------------------------- To join: http://www.w3.org/community/urispec/join If you do not have one already, you will need a W3C account to join: http://www.w3.org/community/account/request This is a community initiative. W3C's hosting of this group does not imply endorsement of the activities. The group must now choose a chair: http://www.w3.org/community/about/faq/#how-do-we-choose-a-chair For more information about getting started in the new group, see: http://www.w3.org/community/about/faq/#how-do-we-get-started-in-a-new-group and good practice for running a group: http://www.w3.org/community/about/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
Received on Friday, 12 September 2014 13:15:24 UTC