Proof Theory on the Eve of Year 2000
A survey consisting of 10 questions asked by Solomon Feferman and 29 responses.
http://www-logic.stanford.edu/proofsurvey.h...

Reptilian Associates Year 2000 Information
An introduction to year 2000 computer problems and what they will mean to you. How to protect yourself from year 2000 problems. Plus references and links.
http://www.ecis.com/~alizard/y2k.html

Year 2000 Bookmarks
References sites related to the Year 2000.
http://pw1.netcom.com/~ggirod/bookmark.html

IBM - Year 2000 Technical Support Center
IBM facility offers news and solutions to Y2K. Includes hints and tips, tools, a FAQ, and details about system testing and migration.
http://www.software.ibm.com/year2000

The Register: BOFH 2K: Kit and Caboodle
The Bastard Operator from Hell year 2000 onwards - hosted on the official BOFH2K website by The Register.
http://www.theregister.co.uk/content/30/

Leap Year Calculation for Year 2000
A response to a VMS problem report giving a detailed explanation of why 2000 is a leap year.
http://h71000.www7.hp.com/openvms/products/...

Federal Communications Commission - Year 2000
FCC provides sections on network reliability and emergency services. With information for consumers.
http://www.fcc.gov/year2000

Mitre/ESC - Year 2000
Addresses the problem, cost estimations and steps to be taken with briefings, articles and events. Also covers compliance and solutions.
http://www.mitre.org/research/y2k

Year 2000 Date Problem - Support Centre (CompInfo)
versions) News Feeds . Yahoo! News - Year 2000 . Year 2000 News Stories (TechWeb) Y2K. 2000 Dangers for Engineers (IEE, UK) Year 2000 and EURO: IT challenges of the .
http://www.compinfo.co.uk/y2k.htm

Everything2000 - the Millennium Resource
Your resource for millennium celebrations, the y2k problem, year 2000 events, news, shopping, and more.
http://www.everything2000.com/

The Year 2000 Problem
How the Year 2000 (Y2K) Bug May Affect Email Software.
http://email.about.com/cs/y2kbug/index.htm

Year 2000 - Dates of Traditional Chinese Holidays
Find out on what is the date of traditional Chinese holidays in Year 2000, the year of the dragon.
http://chinesefood.about.com/library/blchin...

PlaceHolder for year2000.com
This is the placeholder for domain year2000.com. If you see this page after uploading site content .
http://www.year2000.com/

World Mathematical Year 2000
the resolution. IMU Committee for the Year 2000 / UNESCO. REPORTS. Bariloche 2000. Mathematical Union declared that the Year 2000 will be the World mathematical Year. The. WORLD .
http://wmy2000.math.jussieu.fr/

Year in Review 2000
• The Year in TV New! • The Year in Music New! • Month by Month • Movies of 2000 • Significant Recordings • Tony Awards • .
http://www.infoplease.com/spot/00yir1.html