The 2002 Federated Logic Conference (FLoC'02).