Parts of the distributed WWW Virtual Library are held at Oxford. In particular, a number of computer science fields are maintained here. The following fields may be of interest to members of the department:
The formal methods pages are particularly comprehensive and utilized. The information is subdivided into various linked sections, including a Who's Who which is useful for find information on formal methods researchers around the world. The pages were recommended for further reading in an article on Software's Chronic Crisis in the September 1994 issue of Scientific American and are currently accessed around 150 times a day.Information on particular notations, languages and tools, developed by and of interest to members of the department, is available. For example, see:
Of these, the information on Z is the most comprehensive, including a searchable bibliography, with hyperlinks to on-line documents and further information where available.A number of research groups and projects have information accessible as part of the archive. These include:
Some items are available for local OUCL access only. These include a facility to search a large Ingres bibliography database of references relevant to the work of the Computing Laboratory. In addition the statistics of accesses to the OUCL Web server may be inspected.
The World Wide Web is an excellent way to advertise your work to the rest of the academic community, given the good on-line access available at most universities. If anyone produces any revelant on-line information, I would be happy to link this into a suitable page in the Archive Service (e.g., as part of the formal methods pages. Please send me the URL (Uniform Resource Locator) and brief details if you would like me to do this. If you are setting up Web pages from scratch at the OUCL, please contact Malcolm Harper in the first instance to have a suitable directory set up for you, and to ensure your WWW home page is writable by you.