This is the OUCL archive service maintained at the Oxford University Computing Laboratory by Jonathan Bowen of the Centre for Applied Formal Methods, South Bank University. Part of the archive is accessible by anonymous FTP at ftp.comlab.ox.ac.uk.

Topics

• Introduction, particularly for OUCL members
• Computing fields
• Notations/languages/tools/etc.
• Research groups and projects
• Other OUCL links including report searching
• Oxford information (including departments, maps, photos, publications & timetables)
• Other archive material
• Other WWW services
• RUCS archive service

Computing fields (in the WWW Virtual Library)

• Formal methods including publications and a searchable Who's Who
• Logic programming
• Safety-critical systems
• Artificial Intelligence
• Concurrent systems
• Virtual Museum of Computing

Notations/languages/tools/etc.

• B method, tool and toolkit
• CSP process model and algebra
• JAPE theorem prover
• OBJ theorem prover
• occam programming language
• Inmos transputer processor
• Z notation for formal specification, including a searchable bibliography

Research groups and projects

• ESPRIT COMPULOG Network of Excellence
• RUCS Formal Methods and Software Engineering Group
• PRG Hardware Compilation Group (including archive information)
• ESPRIT Basic Research ProCoS archive for project and Working Group
• EPSRC Provably Correct Hardware/Software Co-design
• ESPRIT II REDO project (including the PRECC compiler-compiler)
• IED safemos project (including a book on the project)
• Other OUCL and RUCS research areas

Other archive material

• Image archive including 3-D and SIRDS images
• ISO symbols
• Microprocessor instruction set cards
• Music research archive
• Program archive
• Sound archive (see also audio information in WWW Virtual Library)
• Documents from OUCL
• Software packages from OUCL
• Local copy of a collection of pictograms
• Museums including world / USA / UK / Oxfordshire, galleries, information, lists, contacts and announcement. See also UK mirror.
• Rowing including Oxford and the River and Rowing Museum
• Publishers, selected bookstores, and broadcasters
• Selected well-known organizations and services
• Virtual shopping
• Children's page

Virtual Library rowing, museums and Virtual Museum of Computing.

The archive service may change to a different host in due course, so please ensure you use the address archive.comlab.ox.ac.uk to access it. If you have not, please change your local link and/or click here.

WWW software is available from Webtools (check your browser's capabilities) and Imperial College, London. New WWW links are available via news.