Structures Directory -- Email addresses of structure theorists

I merged Max Kelly's copy of structdir with the current copy on
boole.stanford.edu.  The last broadcast of structdir was 20 months ago,
so this might be a good time for a rebroadcast and request for bug
fixes, names of omitted people, and other such updates.  If you want
the latest copy, then please retrieve
ftp://boole.stanford.edu/pub/structdir.

Vaughan Pratt
http://boole.stanford.edu, click on Papers (under Publications) then ABSTRACTS

#     Structures Directory -- Email addresses of structure theorists
#     Release 6.2, April 6, 1995
#     Master copy: Boole.Stanford.EDU:~ftp/pub/structdir
#     Maintainer: Vaughan Pratt, pratt@cs.stanford.edu
#
#
# This is an email directory of logicians, algebraists, and programming
# linguists working primarily on structural problems in mathematics and
# computer science.  It is organized as a Unix aliases file and
# may be appended directly to the aliases file that normally resides in
# /usr/lib or /etc.  The most recent release of this directory may be
# obtained at any time by anonymous ftp from Boole.Stanford.EDU as the
# file /pub/structdir
#
# The purpose of this directory is to permit those listed in it to be
# easily contacted individually by email.
#
# NOTICE: Please do not use any email address obtained from this
# directory for other than the purpose stated above without first
# obtaining the consent of the owner of that address.  Such proscribed
# uses include adding an address obtained from this directory to a
# mailing list used for broadcast mailings, and noting the fact of
# inclusion in this directory in a profile of the included individual.
#
# The list observes the following conventions.  Column 1 is the alias,
# which usually consists of the surname prefixed when necessary for
# disambiguation with an initial or the whole first name.  It starts in
# character column 1 and is restricted to the 26 characters a-z (no
# capitals, digits, or punctuation), and usually includes any preceding
# "de" or "van".  Column 2, which starts in character column 17, is the
# email address in lower case with no %'s, and is either a regular
# internet domain address, a .bitnet address, or a uucp address in !
# format.  Column 3 is "(Forename" and column 4 the matching "Surname)".
# The list is sorted by surname using the Unix sort command in the form
# `sort +3` (sort ignoring the first three columns).  The "de" or "van"
# if any is placed in whichever of columnn 3 or 4 achieves its owner's
# preferred alphabetization.  Column 3 starts as close to column 57 as
# possible subject to the other constraints and column 4 is separated
# from column 3 by one space.  There are no tabs in the file, and no line
# is longer than 79 characters.
#
# Although the directory contains no repeated aliases (column 1 entries),
# the aliases file to which you append it may already contain aliases
# that also appear here.  You should be aware that the resulting
# conflicts will not be reported as such, but rather that the mailing
# programs will select either the last or first repeated alias as the one
# to use depending respectively on whether or not your mail system
# preprocesses the aliases file for faster retrieval.
#
#                                   Vaughan Pratt
#                                   Computer Science Department
#                                   Stanford University
#                                   Stanford, CA 94305
#                                   pratt@cs.stanford.edu
#                                   415-723-2943