Some Interesting Web Sites

MMU

• Faculty Web Site

• Manchester Metropolitan University - Staff Directory

Libraries

• John Rylands

• Manchester Metropolitan University Libraries

• UMIST Library Catalogue

• COPAC Library Catalogue

Conferences

• Logic-Related Conferences

• TIME International Workshop Series

• FLAIRS Conference Series

• CADE-14

Journals

• AI Journals

• JANCL

• APPLIED LOGIC SERIES

• Kluwer Academic Publishers

• Autonomous Agents and Multi-Agent Systems

• Annals of Mathematics and Artificial Intelligence

• Journal: Artificial Intelligence (Elsevier Science)

• Journal of Experimental and Theoretical Artificial Intelligence

• Springer Computer Science

• Journal of the ACM

• TOCL Top Page

• The Web of the TimeBook

• CEUR Workshop Proceedings

Universities

• Welcome to UMIST

• UK Sensitive Map - Universities - Version 5

Theorem provers

• LWB - The Logics Workbench

• Time Rover

Other

• EPSRC Home page

• The Royal Society: Promoting excellence in science

• The British Council - Virtual Campus

• RAE

• The TOM/Cable server

• Raggett's 10 minute Guide to HTML

Travel

• British Rail - Timetables

• Internet Airline Sites

• "LINKS" (Neth. Guild of ATC)

• British Airways - Flights

• Delta Air Lines Home Page

• Virgin Atlantic's home-page

• SAS - Scandinavian Airlines

• 164 Currency Converter by OANDA

• Foreign & Commonwealth Office - Home

• Manchester Airport UK - PLC Home Page

Media

• BBC

• BBC Online - Weather Centre

• Welcome to ITV Online

• Freeserve - TV Listings - Granada

• .4

• The Guardian

• Movie Database

• Internet Bookshop Homepage

• http://www.blackwell.co.uk/cgi-bin/retail/collect.cgi