Some Useful External Links

The Formal Methods website

The Formal Methods webpages have a large volume of material including recommended books, publications, guide to conferences etc.

The Categories website

The Categories webpages support the "categories" distribution list and contain information for category theorists, including archive material, conferences, publications and other useful links.