This is the archive service at Oxford University Computing Laboratory. Part of the archive is accessible by anonymous FTP at ftp.comlab.ox.ac.uk, and also by electronic mail via archive-server@comlab.ox.ac.uk.

Topics

• Introduction, particularly for OUCL members
• Computer science fields
• Notations/languages/tools/etc.
• OUCL research groups and projects
• Other OUCL links including report searching
• Oxford information (including maps, photographs, publications and timetables)
• Other archive material
• Other WWW services

Local OUCL access only:

• Ingres bibliography searching
• Web server statistics (see also previous months)

Computer science fields (in the WWW Virtual Library)

• Formal methods including publications and a Who's Who
• Logic programming
• Safety-critical systems
• Artificial Intelligence
• Concurrent systems

Notations/languages/tools/etc.

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

OUCL research groups and projects

• ESPRIT COMPULOG Network of Excellence
• 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 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 / Oxfordshire, galleries, information, lists and contacts
• Rowing including Oxford and a new museum
• Publishers and broadcasters
• Selected well-known organizations and services
• Virtual shopping

The archive service may change to a different host in due course, so please ensure you use the address www.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 Imperial College, London. New WWW links are available via news.