Subject:     Concurrency and linear logic paper
Date: Fri, 4 Jan 91 11:29:30 PST
From: Vaughan Pratt <pratt@cs.stanford.edu>

The following extended abstract can be retrieved by anonymous ftp from
boole.stanford.edu, IP address 36.8.0.65.  Instructions for retrieving
this and other papers may found in /pub/README.  Contact me,
pratt@cs.stanford.edu, if you need further assistance or would prefer
to receive a copy by email.

Concurrent Automata and Their Logic

A concurrent automaton is a poset with a top (the global initial state)
and all nonempty sups (the local initial states).  These form a
nondegenerate self-dual category Aut admitting universally definable
operations constituting a concurrent programming language and
additional operations yielding a linear logic of concurrency.  The
automaton ?a is a power set whose dual !a is a free automaton,
obtainable from ?a by moving the empty set to the top.  The linear
logic theory Th(CSLat) of complete semilattices strictly extends
Th(Aut), having no counterexample to ?a=!a since ?a and !a are both
power sets on the underlying set of a but for dual reasons.  Both
theories strictly extend linear logic with such howlers as 0=1; these
but not ?a=!a are removable by intersecting with classical logic,
equivalent to taking both sides of the respective dualities as a single
model.  This makes Aut a particularly simple model of linear logic.
The self-duality of both categories facilitates a noncategorical
account requiring only elementary lattice theory for a complete
understanding.

Vaughan Pratt

Subject:     Renewal of Call for Papers
Date:         Wed, 09 Jan 91 10:37:01 CST
From:         Paul Myers <PMYERS@TRINITY>

RE: Conference on "Constructivity in Computer Science."

There is a new deadline for submissions of papers since the previous
email announcement was late and during the holidays.  The new due
date for extended abstracts is FEBRUARY 21, 1991.  We are renewing
the call for papers now.

A couple other items of interest:

It appears now that Prof. Dana Scott will be accepting our earlier
invitation to participate.  Also, there are indications that a few
papers will be submitted regarding essentially nonconstructive
techniques proving useful in computer science.

Later in January, we'll know whether we'll be receiving NSF funds to
provide assistance for some of the participants with conference
expenses.

Finally, please forward this announcement to anyone who you feel
might be interested.  That will help with publicity.

Renewal for CALL FOR PAPERS ...

Constructivity in Computer Science

Trinity University
San Antonio, Texas
June 18 - 22, 1991

Sponsored by  The University of Chicago and Trinity University

The emergence of computer science as a discipline has naturally led to
a renewal of interest in constructivity, which has become common in
the literature of theoretical computer science, programming language
semantics, database, logic programming, etc.  Constructive notions
form a foundational framework for the field of computer science.
Indeed, constructivity shows up often in the various theoretical (and
applied!) computer science conferences; hence the pertinent results
and ideas have been scattered throughout the literature.  So the time
seems overdue to acknowledge the importance of constructivity to computer
science with a conference linking the two by name (that name derived
from Heyting's first 1957 conference, "Constructivity in Mathematics").

The primary goal of the conference is to provide a forum for the
presentation of contemporary research linking constructivity with
computer science and to establish networks of like-minded researchers
in computer science, logic, and mathematics.  As meetings devoted to
constructivity are infrequent (roughly once a decade), instances of
breadth will be welcome at the conference also.  Robert Constable
(Cornell University) and Michael O'Donnell (University of Chicago)
have agreed to contribute to these endeavors.

Since constructivity is seen by many to be foundational for the field,
it seems important to introduce it explicitly into the computer science
curriculum.  To this end the conference will also include a small "track"
to address integration of the concepts of constructivity into the computer
science curriculum.  Newcomb Greenleaf (Columbia University) has agreed
to contribute in this regard.

Authors should submit 3 copies of an extended abstract by
FEBRUARY 21,1991 to:

Research:
Michael J. O'Donnell  Department of Computer Science
The University of Chicago
Chicago, Illinois   60637
(312) 702-6011
odonnell@tartarus.UChicago.edu

Curriculum:
J. Paul Myers, Jr.
Department of Computer Science
Trinity University
San Antonio, Texas  78212
(512) 736-7398
BITNET: pmyers@trinity

Submissions should be limited to 10 typed, double-spaced pages. They
should begin with a brief statement of the significance of the submission,
understandable to non-specialists.  Acceptance decisions will be
communicated by April 30, 1991; the final copy will be due at the
conference.  We expect to publish the Proceedings as a volume of
Springer-Verlag's Lecture Notes in Computer Science.

For general information about the conference, please contact Professor
Myers, above.

-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=
J. Paul Myers, Jr.                        Department of Computer Science
Trinity University                                     715 Stadium Drive
San Antonio, Texas 78212                                  (512) 736-7398
-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=

Subject:     Re: Bulgarian visas
Date: 10-JAN-1991 16:07:41.49
From: "Fred E.J. Linton" <FLINTON@Wesleyan.bitnet>

Bob,

You will remember the following note I wrote you Dec. 17:

>Got back from two weeks in Warsaw a week ago.
>There I learned (from the Bulgarian consulate in Warsaw) that
>Bulgaria no longer requires visas of US citizens.

A few days ago my local travel agent checked on the matter -- according to him:

American passport holders may visit Bulgaria for up to thirty days without visa.

You may wish to forward this word to the list.  Happy New Year.

                                    -- Fred

Fred E.J. Linton  Wesleyan U. Math. Dept.  649 Sci. Tower  Middletown, CT 06457
E-mail:  <FLINTON@eagle.Wesleyan.EDU>  or  <fejlinton@{att|mci}mail.com>
Tel.:         + 1 203 776 2210 (home)  or  + 1 203 347 9411 x2249 (work)

Date: Thu, 17 Jan 91 10:52:20 PST
From: Vaughan Pratt <pratt@cs.stanford.edu>
Subject: Event spaces abstract

I'd hoped to have "Concurrent Automata and Their Logic" fully rewritten
by now as "Event Spaces and Their Linear Logic" to incorporate the many
new things that have emerged meanwhile.  Unfortunately too much else
has been going on so ES has been on the stack for a while.  I have
three projects due before I leave for POPL on Saturday so it will
remain on the stack till February.

Meanwhile here's how the abstract looks.  The original version is still
available as catl.tex by anonymous ftp from boole.stanford.edu:/pub, it
plus this abstract is enough to permit reconstructing everything.

Incidentally Boole's ftp server has logged 646 sessions from 322
different hosts since I started this service in October.  Boole is a
useful little (in fact tiny) file server.


                Event Spaces and their Linear Logic
                             V.R. Pratt

An event space or schedule is a poset having a top as the permanently
deferred event and arbitrary nonempty joins as the concurrence of the
joined events, with event conflict represented by their join being
top.  The state space or automaton dual to an event space is obtained
simply by removing the top and adjoining a bottom; this yields a poset
having a bottom as the initial state and arbitrary nonempty meets,
which surprisingly all exist, as decision states, with demonic state
choice represented by their meet being bottom.  These structures form
dually isomorphic nondegenerate categories Sched and Aut determining
the operations of a concurrent programming language, along with
additional operations to make it a linear logic of concurrency whose
exponential yields a free schedule and its dual a free automaton.

The structure of event spaces may be understood in terms of that of
vector spaces via three moves:  first drop scalar division and complete
to yield complete modules, then drop scalar subtraction to yield
complete semilattices, and finally relocate the origin to the top to
yield event spaces.  Each stage preserves the operations of direct
product, tensor product, internal hom, and dual while introducing an
improvement: first removal of the finite-dimension limitation on
duality, then removal of group-induced rigidity to create a logic, and
finally separation of all dual pairs of operations into usefully
different operations.

Category theory was used to find event spaces but is not needed for
their exposition, for which the language of elementary lattice theory
suffices.

Subject:     email list
Date: Sun, 27 Jan 91 11:27:44 EST
From: barr@triples.Math.McGill.CA (Michael Barr)

Dear Bob:

I have a list of email addresses more than 300 lines long and I thought it
might be of interest to your mailing list.  A few comments.  In my
experience the half life of an email address is not over a year.  Some of
these addresses are several years old and some are of people I don't know that I
got by exchanging my list with Fred Linton.  So there are no guarantees on
the correctness of my list.  Then I have heard that bitnet is officially
dead, although most mailers seem to handle the bitnet addresses still, it is
probably better to use an internet address, if known.  Most of the people at
McGill have two addresses, one of which they use and the other is set to
forward mail to the other.  As they get frustrated with the mainframe
address, I imagine they will move to the unix machine (triples).  Lambek
actually has an account, but he never uses it; his mail is forwarded to the
department and is printed out and given to him.  The office is not too happy
with this arrangement, so don't add him to the mailing list.  On the other
hand, don't let the unhappiness of the office staff stop you from sending
him real messages.  I realize that we are there to serve the office staff,
but you can carry that principle too far.

Mike
===========================================

Seems like good idea to me. I've updated the list from Mike's in a few cases
where I know what he had to be out of date. This list includes much
of the categories list, and much else which I'm sure neither Mike nor I
take any responsibility for. The list follows. Bob Rosebrugh
============================================
sieber%fb10vax.informatik.uni-saarland.dbp.de@relay.cs.net  Kurt Sieber
dhemm%odin.wright.edu%relay.cs.net@mitvma.mit.edu   Hemmendinger David
sa@doc.ic.ac.uk                                  Abramsky      Samson
useradms@ubcmtsg                                 Adams         Bob
rick@seismo.css.gov                              Adams         Rick
rick@uunet.uu.net                                Adams         Rick
ara@lom1.math.yale.edu                           Adler         Alan
amadio@dmi.ens.fr                                Amadio        Roberto
anderson@bright.math.uoregon.edu  (Harrison)     Anderson      Frank
cld@arbortxt.com                                 Arbortext Inc
astes@igecuniv                                   Astesiano     Egidio
atkinson@math.toronto.edu                        Atkinson      Derek
microsoft!adamba@beaver.cs.washington.edu        Barr          Adam
inhb@musicb.mcgill.ca                            Barr          Michael
barr@triples.math.mcgill.ca                      Barr          Michael
rgb@math.ams.com                                 Bartle        Bob
barwise@csli.stanford.edu                        Barwise       Jon
bemus@theory.lcs.mit.edu                         Bemus         Sally C.
dbenson@cs2.cs.wsu.edu                           Benson        David  B.
gbergman@cartan.berkeley.edu                     Bergman       George
pbhaduri@cs2.cs.wsu.edu                          Bhadhuri      Purandar
ziggy@hx.lcs.mit.edu                             Blair         Michael
blass@ub.cc.umich.edu  or  usergc4c@umichub      Blass         Andreas
bard@cs.cornell.edu                              Bloom         Bard
fborceux@buclln11.bitnet                         Borceux       Francis
jborwein@cs.dal.ca                               Borwein       Jon
pborwein@cs.dal.ca                               Borwein       Peter
eomsg@acadvm1.uottawa.ca (613) 564-2223 CMS      Bouchard      Monique
kim@cs.williams.edu                              Bruce         Kim
hbrunner@mun.bitnet                              Brunner       Herman
ecomail@vms2.uni-c.dk                         de Bukh          Per Nikolai
inbe@musicb.mcgill.ca                            Bunge         Marta
bunge@triples.math.mcgill.ca                     Bunge         Marta
burroni@frmap711.bitnet                          Burroni       Albert
rb@cheops.ed.ac.uk                               Burstall      Rod
exsmc@acadvm1.uottawa.ca    (613) 564-2223       CMS executive office
cjm@carleton.ca                                  Canad. J. Math.
cmb@nexus.yorku.ca                               Canad. Math. Bull.
carboni@imiucca.unimi.it                         Carboni       Aurelio
carrdm@snyplaba.bitnet                           Carr          Donna
nicola@mcgill1                                   Carter        Nicola
casley@cs.stanford.edu                           Casley        Ross
d.cerra@wiley.compuserve.com                     Cerra         D.
choi@grad1.cis.upenn.edu                         Choi          Jin-Young
cscphc@depaul.bitnet                             Chu           Po-Hsiang
jhc%mtune.att.com@rutgers.edu                    Clark         Jonathan
mtune.att.com!jhc@rutgers.edu                    Clark         Jonathan
rcockett@mqccsuna.mqcc.mq.oz.au                  Cockett       Robin
coquande@margaux.inria.fr                        Cocquand      Thierry
comers@citadel.bitnet                            Comer         Stephen
mthmjc@ubvms.bitnet       (Buffalo)              Cowen         Mike
munnari!moncsbruce.oz!jnc@uunet.uu.net           Crossley      John
crow@csl.sri.com                                 Crow          J.
curien@dmi.ens.fr                                Curien        Pierre-Louis
pavel.pa@xerox.com                               Curtis        Pavel
rdawson@husky1.stmarys.ca                        Dawson        Robert
delfour@cc.umontreal.ca                          Delfour       Michel
nachum@m.cs.uiuc.edu                             Dershowitz    Nachum
nachum@uiucvmd.bitnet                            Dershowitz    Nachum
rdcbb@cunyvm.bitnet                              Diaconescu    Radu
doh@ksuvax1.cis.ksu.edu                          Doh           Kyung-Goo
mdoob@ccu.umanitoba.ca                           Doob          Michael
den@cs.umd.edu                                   Duggan        Dominic
mthduskn@ubvms                                   Duskin        Jack
dybkjaer@diku.dk                                 Dybkjaer      Hans
ehrlich%inria.inria.fr@mcvax.bitnet              Ehrlich       Bobby
mcvax.cwi.nl!inria.inria.fr!ehrlich@uunet.uu.net Ehrlich       Bobby
theory@faui77.informatik.uni-erlangen.de         Erlangen
mernst@theory.lcs.mit.edu                        Ernst         Michael
v068p76v@ubvmsa                                  Faro          Emilio
jhf%woodsy@lanl.gov                              Fasel         Joe
d_feldman@unhh.bitnet                            Feldman       David
mike@tel.inrs.cdn                                Ferguson      Michael J.
mikef@lfcs.edinburgh.ac.uk                       Fourman       Michael
mt16@musica.mcgill.ca                            Fox
fox@triples.math.mcgill.ca                       Fox
ralph@kahuna.math.hawaii.edu                     Freese        Ralph
ralph@uhccux.bitnet                              Freese        Ralph
ralph@uhccux.uhcc.hawaii.edu                     Freese        Ralph
pam@linc.cis.upenn.edu                           Freyd         Pam
pjf@saul.cis.upenn.edu                           Freyd         Peter
rudolf.fritsch@mathematik.uni-muenchen.dbp.de    Fritsch       Rudolph
ganong@yorkvm1                                   Ganong        Richard
anthony.v.geramita@queensu.ca                    Geramita      Anthony V.
gersten@penndrls                                 Gerstenhaber  Murray
goguen%prg.oxford.ac.uk@nsfnet-relay.ac.uk       Goguen        Joseph
joseph.goguen@prg.oxford.ac.uk                   Goguen        Joseph
goldberg@cs.nyu.edu                              Goldberg      Ben
phr00jg@technion                                 Goldberg      Jacques
edgar@munucs.mun.ca                              Goodaire      Edgar
v5200e@templevm                                  Gordon        Bob
symcom!gray@uxc.cso.uiuc.edu                     Gray          John
guitart@frmap711.bitnet                          Guitart       Rene
gunter@linc.cis.upenn.edu                        Gunter        Carl
elsa@linc.cis.upenn.edu                          Gunter        Elsa L.
fkh@ukc.ac.uk                                    Hanna         Keith
munnari!cs.mu.oz.au!jah@uunet.uu.net             Harland       James
rwh@proof.ergo.cs.cmu.edu                        Harper        Robert
wiawkph@hdetud1.bitnet                           Hart          Klaas Pieter
magne@eik.ii.uib.no                              Haveraaen     Magne
mhebert@lavalvm1.bitnet                          Hebert        Michel
henriksen@ymir.bitnet                            Henrickson    Mel
in3u@mcgillb                                     Herz          Carl
whill@hplwlh.hpl.hp.com                          Hill          Walt
majrh%pyramid.swansea.ac.uk@mitvma.mit.edu       Hindley       Roger
schuko@is.s.u-tokyo.ac.jp                        Hiroyuki      SATO
julie@prg.oxford.ac.uk     (Julie Shepard for)   Hoare         Tony
raymond@cs.ruu.nl                                Hoofman       Raymond
hook@cse.ogi.edu                                 Hook          James
dhosek@hmcvax                                    Hosek         Don
hudak-paul@yale.arpa                             Hudak         Paul
hudak@cs.yale.edu                                Hudak         Paul
huet@inria.inria.fr                              Huet          Gerard
nhu@dione.hut.fi                                 Husberg       Nisse
ramu%tcipro.uucp@unix.sri.com                    Iyer          Ramu
bart@cs.kun.nl                                   Jacobs        Bart
radha@cs.cornell.edu                             Jagadeesan    Radha
jardine@uwovax.bitnet                            Jardine       John F.
cbj@lfcs.edinburgh.ac.uk                         Jay           Barry
alan.jeffrey@prg.oxford.ac.uk                    Jeffrey       Alan
munnari!summer.su.oz.au!johnson_m@uunet.uu.net   Johnson       Michael
munnari!mqcomp.mqcs.mq.oz.au!mike@uunet.uu.net   Johnson       Mike
pjohnson@wesleyan                                Johnson       Paul
jouvelot@ensmp.fr                                Jouvelot      Pierre
joyal@math.uqam.ca                               Joyal         Andre
djoyce@clarku.bitnet                             Joyce         David
xmatdb5r@ddathd21.bitnet                         Jung          Achim
kane@uwovax.uwo.ca                               Kane          Richard
kao@iuvax.cs.indiana.edu                         Kao           Ming
kasan@imiucca.unimi.it                           Kasangian     Stefano
jrk@sys.uea.ac.uk                                Kennaway      Richard
jkennison@clarku                                 Kennison      John
kleisli@cfruni52.bitnet                          Kleisli       Heinrich
peterk@cs.ruu.nl                                 Knijnenburg   P.
kochman@nexus.yorku.ca  (416) 736-5250           Kochman       Stanley
koslowj@math.ksu.edu                             Koslowski     J\"urgen
labute@gauss.math.mcgill.ca                      Labute        John P.
lamarche@cs.dal.ca                               Lamarche      Francois
lambek@triples.math.mcgill.ca                    Lambek        Joachim
william@kahuna.math.hawaii.edu                   Lampe         Bill
william@uhccux.bitnet                            Lampe         Bill
william@uhccux.uhcc.hawaii.edu                   Lampe         Bill
lamport@decwrl.dec.com                           Lamport       Leslie
dml@bklyncis.bitnet                              Latch         Dana May
jl@cs.glasgow.ac.uk                              Launchbury    John
mthmjc@ubvmsa.bitnet   mthmjc@ubvms.bitnet       Lawvere Bill via Mike Cowen
daniel.leivant@b.gp.cs.cmu.edu                   Leivant       Daniel
aflent@theory.lcs.mit.edu                        Lent          Arthur
aliao@eagle.wesleyan.edu                         Liao          Andrew
jli@dione.hut.fi                                 Lilius        Johan
flinton@eagle.wesleyan.edu                       Linton        FEJ
flinton@wesleyan                                 Linton        FEJ
longo@frulm63                                    Longo         Giuseppe
mcvax!dipisa!longo@uunet.uu.net                  Longo         Giuseppe
hlord@csupomona.edu                              Lord          Harriet
lowry@kestrel.edu                                Lowry
r_lubarsky@faudm.bitnet                          Lubarsky      Robert
coby@ucbcevax.bitnet                             Lubliner      Coby
qingming.ma%cs.cmu.edu@vma.cc.cmu.edu            Ma            Qingming
main@boulder.colorado.edu                        Main          Michael
mt78@mcgilla                                     Makkai        Michael
makkai@triples.math.mcgill.ca                    Makkai        Michael
narciso@csl.sri.com                              Marti-Oliet   Narciso
martini@csli.stanford.edu                        Martini       Simone
mathrev@seed.ams.com                             Math Reviews
mauri@imiucca.bitnet                             Mauri
dept@gauss.math.mcgill.ca                        McGill Math Dept
mckay@conu1                                      McKay         John
wendy@cc.umontreal.ca                            McKay         Wendy
n410102@univscvm.bitnet                          McNulty       George
meseguer@csl.sri.com                             Meseguer      Jose
meyer@theory.lcs.mit.edu                         Meyer         Al
mcvax.cwi.nl!vu.nl!vanmill@uunet.uu.net      van Mill          Jan
vu.nl.uucp!vanmill@mcvax.bitnet              van Mill          Jan
jcm@cs.stanford.edu                              Mitchell      John C.
em@cl.cam.ac.uk                                  Moggi         Eugenio
rkm@macalstr                                     Molnar        Richard K.
Oege.de.Moor@prg.oxford.ac.uk                 de Moor          Oege
muller@harvard.edu                               Muller        R.
phil@colgate.edu                                 Mulry         Phil
dvjm@cs.glasgow.ac.uk                            Murphy        David
murthy@cs.cornell.edu                            Murthy        Chet
mt88@mcgilla                                     Murty         Ram
jbnation@kahuna.math.hawaii.edu                  Nation        J.B.
jbnation@uhccux.uhcc.hawaii.edu                  Nation        J.B.
naumann@cs.utexas.edu                            Naumann
nickau@hrz.uni-siegen.dbp.de                     Nickau
niefiels@union.bitnet                            Niefield      Susan
rjn@cs.dal.ca                                    Nowakowski    Richard J.
ohearn@top.cis.syr.edu                           O'Hearn       Peter
okada@concour.cs.concordia.ca                    Okada         Mitsu
mcvax!doc.ic.ac.uk!chlo@uunet.uu.net             Ong           Luke
orzechm@qucdn                                    Orzech        Morris
james_jim_otto@cup.portal.com                    Otto          Jim
vcvp1@phx.cam.ac.uk                           de Paiva         Valeria
vcvp@cl.cam.ac.uk                             de Paiva         Valeria
prakash@opus.cs.mcgill.ca                        Panangeden    Prakash
pare@cs.dal.ca                                   Pare          Bob
ti2tsg2h@icineca2.bitnet                         Pedicchio     Cristina
jwpell@yorkvm1                                   Pelletier     Joan
pti@well.sf.ca.us                                Personal TeX Inc.
phillips@uvvm.bitnet                             Phillips      John
benjamin.pierce@proof.ergo.cs.cmu.edu            Pierce        Benjamin
ap%cl.cam.ac.uk@nss.cs.ucl.ac.uk                 Pitts         Andy
ap@cl.cam.ac.uk                                  Pitts         Andy
plaisted@cs.unc.edu                              Plaisted      David A.
oravax!richard@cu-arpa.cs.cornell.edu            Platek        Richard
platt@uofmcc.bitnet                              Platt         Craig
gdp@ecsvax.ed.ac.uk                              Plotkin       Gordon
mas013@vaxc.bangor.ac.uk                         Porter        Tim
catfish@bklyn.bitnet                             PostMaster Brooklyn College
ajp@lfcs.edinburgh.ac.uk                         Power         John
pratt@cs.stanford.edu                            Pratt         Vaughn
press@vm.utcs.utoronto.ca                        Press         U of T
zarirach%bernoulli@hub.ucsb.edu                  Rachev        Zari
zarirach@bernoulli.ucsb.edu                      Rachev        Zari
randall@elbereth.rutgers.edu                     Randall       John
raphael@vax2.concordia.ca                        Raphael       Robert
241@umtlvr.bitnet                                Reyes         Gonzalo
riecke@theory.lcs.mit.edu                        Riecke        Jon
sriemens@ualtavm                                 Riemenschneider Sherman
er@cl.cam.ac.uk                                  Ritter        Eike
userodin@ubcmtsg                                 Rolfsen       Dale
imate@unamvm1.bitnet                             Roman         Leopoldo
rrosebrugh@mta.bitnet                            Rosebrugh     Robert
rosenthk@union.bitnet                            Rosenthal     Kimmo
matema2@ipruniv.bitnet                           Rosolini      Pino
symcom!rotman@uxc.cso.uiuc.edu                   Rotman        Joseph
arie@theory.lcs.mit.edu                          Rudich        Arie
david@r3.cs.man.ac.uk                            Rydeheard     David
a87480@tansei.cc.u-tokyo.ac.jp                   Sakurai       Takafumi
salt@yorkvm1.bitnet   (416) 736-5250             Salisbury     Tom
andre@saul.cis.upenn.edu                         Scedrov       Andre
jschmidt@daimi.dk                                Schmidt       Jorn
schu@acadia                                      Schumacher    Dietmar
scpsg@acadvm1.uottawa.ca                         Scott         Phil
mt79@musica.mcgill.ca                            Seely         Robert
seely@triples.math.mcgill.ca                     Seely         Robert
seldin@antares.concordia.ca                      Seldin        Jonathon
sichler@ccm.umanitoba.ca                         Sichler       Jiri
slifker@svax.cs.cornell.edu                      Slifker       M.
data-io.com!nwnexus!cjsa!jeff@rutgers.edu        Small         Jeffery
nwnexus!cjsa!jeff@uunet.uu.net                   Small         Jeffery
dalcs!gretchen@uunet.uu.net                      Smith         Gretchen
scott@spot.cs.jhu.edu                            Smith         Scott
dwight@cse.ogi.edu                               Spencer       Dwight
srinivas@madeleine.ics.uci.edu                   Srinivas      Y. V.
cstewart@watserv1.uwaterloo.ca                   Stewart       Cameron
strecker@galois.math.ksu.edu                     Strecker      George
munnari!mqcomp.mqcs.mq.oz.au!street@uunet.uu.net Street        Ross
street@mqcomp.mq.oz                              Street        Ross
streiche@unipas.fmi.uni-passau.de                Streicher     Thomas
ramesh@linc.cis.upenn.edu                        Subrahmanyam  Ramesh
theory@cogs.sussex.ac.uk                         Sussex
swami@cs.dal.ca          (902) 424-3864          Swaminathan   S.
szabof@conu1.bitnet                              Szabo         Fred
takayama@okilab.oki.co.jp                        Takayama      Y.
clt@sail.stanford.edu                            Talcott       Carolyn
tatsuta@sato.riec.tohoku.ac.jp                   Tatsuta       Makoto
M.Taylor@Wiley.compuserve.com                    Taylor        Maria
pt@doc.ic.ac.uk                                  Taylor        Paul
p.taylor@vax.rhbnc.ac.uk                         Taylor        Philip
wtaylor@colorado.bitnet                          Taylor        Walter
wtaylor@euclid.colorado.edu                      Taylor        Walter
tug@math.ams.com                                 TeX User's group
archive-managment@sun.soe.clarkson.edu           TeX server at Clarkson
archive-server@sun.soe.clarkson.edu              TeX server at Clarkson
texhax@cs.washington.edu                         TeXhax
texmag-l@utoronto                                TeXmag
rdt@qucis.queensu.ca                             Tennent       Bob
tholen@yorkvm1.bitnet                            Tholen        Walter
tom@nw.stl.stc.co.uk                             Thomson       Tom
tsuiki@kurims.kyoto-u.ac.jp                      Tsuiki        Hideki
tugboat@math.ams.com                             Tugboat
lyn@zurich.ai.mit.edu                            Turbak        Franklyn
valeriot@mcmaster                                Valeriote     Matt
d_vanosdol@unhh.unh.edu                          Van Osdol     Don
nico@cs.ruu.nl                                   Verwer        Nico
sjv@doc.ic.ac.uk                                 Vickers       Steven J.
ferjan@cwi.nl                                 de Vries         Fer-Jan
mcvax!ruufil!ferjan@uunet.uu.net              de Vries         Fer-Jan
wadler@cs.glasgow.ac.uk                          Wadler        Philip
lincoln.wallen@prg.oxford.ac.uk                  Wallen        Lincoln
munnari!summer.su.oz.au!walters_b@uunet.uu.net   Walters       Bob
summer.su.oz!walters_b@australia.csnet.cs.net    Walters       Bob
wand%corwin.ccs.northeastern.edu@relay.cs.net    Wand          Mitchell
wand@corwin.ccs.northeastern.edu                 Wand          Mitchell
anita@sbcs.sunysb.edu                            Wasilewska    Anita
anita@suny-sb.csnet                              Wasilewska    Anita
mcvax!cs.vu.nl!evert@uunet.uu.net                Wattel        Evert
mcvax.cwi.nl!vu.nl!evert@uunet.uu.net            Wattel        Evert
vu.nl.uucp!evert@mcvax.bitnet                    Wattel        Evert
cfw2@po.cwru.edu                                 Wells         Charles
bwhite@inmet.inmet.com                           White         Bill
wilf@cis.upenn.edu                               Wilf          Herb
williams@colorado.bitnet                         Williams
ewilliam@kean.ucs.mun.ca                         Williams      Ed
winkler@csl.sri.com                              Winkler       Timothy
rjwood@cs.dal.ca                                 Wood          Richard
gavin@cvaxa.sussex.ac.uk                         Wraith        Gavin
gavinw@sussex.ac.uk                              Wraith        Gavin
gavinw@syma.sussex.ac.uk                         Wraith        Gavin
gpwsg@acadvm1.uottawa.ca   (613) 564-5480        Wright        Graham
wyler@cs.cmu.edu                                 Wyler         Oswald
piggy@gargoyle.uchicago.edu                      Yarroll       La Monte H.
ts5742@ohstvma                                   Yetter        David
yoshiki@etl.go.jp                                Yoshiki       KINOSHITA
young@xx.lcs.mit.edu                             Young         Jonathan
dean.zocco@klb                                   Zocco         Meg

Subject:     additions/corrections
Date: Tue, 29 Jan 91 22:14:15 EST
From: barr@triples.Math.McGill.CA (Michael Barr)

Dear Bob:

Here are some additions/corrections.  Most of them are addresses Fox has
collected from people coming this summer.  A few (from Seely, Street and
Robinson) are from the people themselves.  In all cases they are more
recent than the ones I had, so likelier to be correct.

betti@unimat.to.cnr.it                           Betti         Renato
bonacina@sbcs.sunysb.edu                         Bonacina      M.Paola
udos001@frors12.bitnet                           Breen         Larry
mabrink@dknkurz1.bitnet                          Brinkman      Hans-Berndt
r.brown@vaxa.bangor.ac.uk                        Brown         Ronnie
mbullejos@ugr.es                                 Bullejos      Manuel
casley@neon.stanford.edu                         Casley        Ross
diers@frcitl81.bitnet                            Diers         Yves
alzzs002@seins.santiago.usc.es                   Gago          Felipe
grandis@igecuniv                                 Grandis       Marco
hardieka.uctvax@f4.n494.z5.fidonet.org           Hardie        Kieth
gabi%opal.cs.tu-berlin.de@tab.bitnet  (for)      Hoehnke       H-J
hsiang@sbcs.sunysb.edu                           Hsiang        Jieh
jardine@uwovax.uwo.ca                            Jardine       John
matak@mi.aau.dk                                  Kock          Anders
lglewis@sunrise.bitnet                           Lewis         Gaunce
macstone@bdc.ubc.ca                              MacDonald     John
pm1kchm@primea.sheffield.ac.uk                   Mackenzie     K.C.H.
shm10@phx.cam.ac.uk                              Majid         Shahn
em@lfcs.ed.ac.uk                                 Moggi         Eugenio
mmfc6@cluster.sussex.ac.uk                       Mulvey        Chris
pavlovic@math.ruu.nl                             Pavlovic      Dusko
cr@cs.stir.ac.uk                                 Rattray       Charles
edmundr@cogs.susx.ac.uk                          Robinson      Edmund
wimr@math.mscs.mu.edu                            Ruitenburg    Wim
rumbos@unamvm1.bitnet                            Rumbos        Beatriz
rags@triples.math.mcgill.ca                      Seely         Robert
rags@bruce.cs.monash.oz.au                       Seely         Robert
smaill@aipna.edinburgh.ac.uk                     Smaill        Alan
scott@cs.jhu.edu                                 Smith         Scott
sobral@ciuc2.uc.rccn.pt                          Sobral        Manuela
maths@vme.gla.ac.uk                              Steiner       Richard
john@cs.kl.ac.uk                                 Stell         John
macstone@bdc.ubc.ca                              Stone         Art
lnstout@uiucvmd                                  Stout         Lawrence N.
street@mqcomp.mqcs.mq.oz.au                      Street        Ross
jjcvmath.uctvax@f4.n494.z5.fidonet.org           Vermeulen     Japie
piggy@chinet.chi.il.us                           Yarroll       LaMonte H.
warsaw@ccb.uib.es                                Zawadowski    Marek

Subject:     yet another list
Date: Wed, 30 Jan 91 18:44:51 PST
From: Vaughan Pratt <pratt@cs.stanford.edu>

Bob, here's a mailing list of 430 or so logicians, algebraists, and
programming language theorists in mathematics and computer science.  It
is derived from Mike Barr's list and a list I've been using.  It is in
a format suitable for directly appending to a sendmail aliases file
(/usr/lib/aliases or /etc/aliases).  Note that if there are aliases
already in that file that conflict with the aliases below, the
resulting ambiguity may be disambiguated either way depending on how
the aliases file is preprocessed.

I've checked many though not all of the entries; I'd appreciate hearing
about problems and additions.  I was able to determine the first names
of everyone except Nickau, Swaminathan, and Takayama, all from Mike's
list.  Since I don't know everyone on his list there may be a few
people who don't fall under the logician-algebraist-linguist rubric.
On the computer science side the names are drawn primarily from the
LICS (Logic in CS) and POPL (Principles of Programming Language)
communities, with relatively little representation of the STOC/FOCS
community.  I've included some who have previously been active in this
general area but who have since turned their attention to turtles,
complexity, computational geometry, etc, in case anyone wants to renew
old acquaintances.

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 is
restricted to the 26 characters a-z (no capitals, digits, or
punctuation), and includes any preceding "de" or "van".  Column 2 is
the email address in lower case with no %'s, and is either a regular
internet domain address (351), a .bitnet address (79), or a uucp
address in ! format (5).  Column 3 is "(Forename" and column 4 the
matching "Surname)".  The list is sorted by surname using `sort +3`
(sort ignoring the first three columns).  The "de" or "van" if any is
placed in column 3 so as not to participate in the sorting.  There are
no tabs in the file.

        Regards
        Vaughan Pratt



abadi:          ma@src.dec.com                          (Martin Abadi)
abramsky:       sa@doc.ic.ac.uk                         (Samson Abramsky)
aceto:          luca@cogs.sussex.ac.uk                  (Luca Aceto)
adams:          useradms@mtsg.ubc.ca                    (Bob Adams)
adler:          ara@lom1.math.yale.edu                  (Alan Adler)
amadio:         amadio@dmi.ens.fr                       (Roberto Amadio)
anderson:       anderson@bright.math.uoregon.edu        (Frank Anderson)
apt:            apt@cs.utexas.edu                       (Krzystof Apt)
artemov:        art@log.mian.su                         (Sergei Artemov)
astesiano:      astes@igecuniv.bitnet                   (Egidio Astesiano)
atkinson:       atkinson@math.toronto.edu               (Derek Atkinson)
avron:          aa@gauss.stanford.edu                   (Arnon Avron)
bach:           rene@tech.ascom.ch                      (Rene Bach)
baker:          kab@math.ucla.edu                       (Kirby Baker)
baranoff:       sergei@hm.iias.spb.su                   (Sergei Baranoff)
barr:           barr@triples.math.mcgill.ca             (Michael Barr)
bartle:         rgb@math.ams.com                        (Bob Bartle)
barwise:        barwise@iuvax.cs.indiana.edu            (Jon Barwise)
beeson:         beeson@ucscc.ucsc.edu                   (Michael Beeson)
beigel:         beigel-richard@cs.yale.edu              (Richard Beigel)
bellin:         glb@sail.stanford.edu                   (Gian-Luigi Bellin)
benson:         dbenson@eecs.wsu.edu                    (David Benson)
vanbenthem:     johan@fwi.uva.nl                        (Johan.van Benthem)
bergman:        gbergman@cartan.berkeley.edu            (George Bergman)
bergstra:       madelon@fwi.uva.nl                      (Jan Bergstra)
berry:          mirsa.inria.fr                          (Gerard Berry)
betti:          betti@unimat.to.cnr.it                  (Renato Betti)
bhadhuri:       pbhaduri@cs2.cs.wsu.edu                 (Purandar Bhadhuri)
bier:           eric_bier.parc@xerox.com                (Eric Bier)
blair:          ziggy@hx.lcs.mit.edu                    (Michael Blair)
blass:          blass@ub.cc.umich.edu                   (Andreas Blass)
bbloom:         bard@cs.cornell.edu                     (Bard Bloom)
sbloom:         sbloom@sitvxa.bitnet                    (Steve Bloom)
lblum:          lblum@ernie.berkeley.edu                (Lenore Blum)
mblum:          blum@ernie.berkeley.edu                 (Manuel Blum)
vanemdeboas:    pveb@cwi.nl                             (Peter.van.Emde Boas)
boehm:          boehm.pa@xerox.com                      (Hans Boehm)
bonacina:       bonacina@sbcs.sunysb.edu                (M.Paola Bonacina)
boolos:         boolos@athena.mit.edu                   (George Boolos)
borceux:        fborceux@buclln11.bitnet                (Francis Borceux)
jborwein:       jborwein@cs.dal.ca                      (Jon Borwein)
pborwein:       pborwein@cs.dal.ca                      (Peter Borwein)
bouchard:       eomsg@acadvm1.uottawa.ca                (Monique Bouchard)
boyer:          boyer@cli.com                           (Bob Boyer)
breazu:         val@linc.cis.upenn.edu                  (Val Breazu-Tannen)
breen:          udos001@frors12.bitnet                  (Larry Breen)
brink:          chrikey1.ucthpx@f4.n494.z5.fidonet.org  (Chris Brink)
brinkman:       mabrink@dknkurz1.bitnet                 (Hans-Berndt Brinkman)
brookes:        brookes@b.gp.cs.cmu.edu                 (Steve Brookes)
brown:          r.brown@vaxa.bangor.ac.uk               (Ronnie Brown)
broy:           broy@lan.informatik.tu-muenchen.dbp.de  (Manfred Broy)
bruce:          kim@cs.williams.edu                     (Kim Bruce)
brunner:        hbrunner@mun.bitnet                     (Herman Brunner)
debukh:         ecomail@vms2.uni-c.dk                   (Per.de Bukh)
bullejos:       mbullejos@ugr.es                        (Manuel Bullejos)
bunge:          bunge@triples.math.mcgill.ca            (Marta Bunge)
burroni:        burroni@frmap711.bitnet                 (Albert Burroni)
burstall:       rb@lfcs.ed.ac.uk                        (Rod Burstall)
buss:           sbuss@cs.ucsd.edu                       (Sam Buss)
cannon:         cannon_j@maths.su.oz.au                 (John Cannon)
carboni:        carboni@imiucca.unimi.it                (Aurelio Carboni)
cardelli:       luca@src.dec.com                        (Luca Cardelli)
carr:           carrdm@snyplaba.bitnet                  (Donna Carr)
carter:         nicola@mcgill1.bitnet                   (Nicola Carter)
cartwright:     cork@rice.edu                           (Corky Cartwright)
casley:         casley@cs.stanford.edu                  (Ross Casley)
chandra:        ashok@ibm.com                           (Ashok Chandra)
choi:           choi@grad1.cis.upenn.edu                (Jin-Young Choi)
chou:           chou@rascal.ics.utexas.edu              (Shang-Ching Chou)
chu:            cscphc@depaul.bitnet                    (Po-Hsiang Chu)
clarke:         clarke@a.cs.cmu.edu                     (Ed Clarke)
cockett:        rcockett@mqccsuna.mqcc.mq.oz.au         (Robin Cockett)
cocquand:       coquande@margaux.inria.fr               (Thierry Cocquand)
cohen:          avrac@computer-lab.cambridge.ac.uk      (Avra Cohen)
comer:          comers@citadel.bitnet                   (Stephen Comer)
cowen:          mthmjc@ubvms.bitnet                     (Mike Cowen)
crew:           crew@cs.stanford.edu                    (Roger Crew)
crossley:       jnc@bruce.cs.monash.oz.au               (John Crossley)
crow:           crow@csl.sri.com                        (Judy Crow)
curien:         curien@dmi.ens.fr                       (Pierre-Louis Curien)
davey:          davey@latcs1.lat.oz.au                  (Brian Davey)
davis:          davism@acf4.nyu.edu                     (Martin Davis)
dawson:         rdawson@husky1.stmarys.ca               (Robert Dawson)
degano:         degano@di.unipi.it                      (Pier-Paolo Degano)
delfour:        delfour@cc.umontreal.ca                 (Michel Delfour)
diaconescu:     rdcbb@cunyvm.bitnet                     (Radu Diaconescu)
diekert:        diekert@informatik.tu-muenchen.dbp.de   (Volker Diekert)
diers:          diers@frcitl81.bitnet                   (Yves Diers)
doh:            doh@ksuvax1.cis.ksu.edu                 (Kyung-Goo Doh)
doob:           mdoob@ccu.umanitoba.ca                  (Michael Doob)
duggan:         den@cs.umd.edu                          (Dominic Duggan)
dunn:           dunn@iuvax.cs.indiana.edu               (Mike Dunn)
duskin:         mthduskn@ubvms.bitnet                   (Jack Duskin)
dybkjaer:       dybkjaer@diku.dk                        (Hans Dybkjaer)
ehresmann:      ehres@frmap711.bitnet                   (Andree Ehresmann)
ehrhard:        ehrhard@ens.fr                          (Thomas Ehrhard)
ehrlich:        ehrlich@inria.inria.fr                  (Bobby Ehrlich)
vaneijck:       jve@cwi.nl                              (Jan.van Eijck)
emerson:        a.emerson@cs.utexas.edu                 (Alan Emerson)
enderton:       hbe@math.ucla.edu                       (Herb Enderton)
zenith:         zenith@ensmp.fr                        (Steven Ericsson-Zenith)
ernst:          mernst@theory.lcs.mit.edu               (Michael Ernst)
fagin:          fagin@ibm.com                           (Ron Fagin)
faro:           v068p76v@ubvmsa.bitnet                  (Emilio Faro)
fasel:          jhf@woodsy.lanl.gov                     (Joe Fasel)
feferman:       sf@csli.stanford.edu                    (Sol Feferman)
feigenbaum:     jf@research.att.com                     (Joan Feigenbaum)
feldman:        d_feldman@unhh.bitnet                   (David Feldman)
ferguson:       mike@tel.inrs.cdn                       (Michael Ferguson)
fischer:        fischer-michael@yale.edu                (Mike Fischer)
floyd:          floyd@cs.stanford.edu                   (Bob Floyd)
foo:            norman@cs.su.oz.au                      (Norman Foo)
fourman:        mikef@lfcs.edinburgh.ac.uk              (Michael Fourman)
fox:            fox@triples.math.mcgill.ca              (Thomas Fox)
freese:         ralph@kahuna.math.hawaii.edu            (Ralph Freese)
freyd:          pjf@linc.cis.upenn.edu                  (Peter Freyd)
pamfreyd:       pam@linc.cis.upenn.edu                  (Pam Freyd)
fritsch:        rudolf.fritsch@mathematik.uni-muenchen.dbp.de (Rudolph Fritsch)
gago:           alzzs002@seins.santiago.usc.es          (Felipe Gago)
gaifman:        gaifman@humus.huji.ac.il                (Haim Gaifman)
ganong:         ganong@yorkvm1.bitnet                   (Richard Ganong)
vangelder:      avg@cs.ucsc.edu                         (Allen.Van Gelder)
genrich:        gsfp03@dbngmd21.bitnet                  (Hartmann Genrich)
geramita:       anthony.v.geramita@queensu.ca           (Anthony Geramita)
gerstenhaber:   gersten@penndrls.bitnet                 (Murray Gerstenhaber)
gerth:          wsinrobg@eutrc3.urc.tue.nl              (Rob Gerth)
gischer:        gischer@cs.wm.edu                       (Jay Gischer)
givant:         givant@mills.berkeley.edu               (Steve Givant)
vanglabbeek:    rvg@cs.stanford.edu                     (Rob.van Glabbeek)
goguen:         joseph.goguen@prg.oxford.ac.uk          (Joseph Goguen)
bgoldberg:      goldberg@cs.nyu.edu                     (Ben Goldberg)
jgoldberg:      phr00jg@technion.bitnet                 (Jacques Goldberg)
goltz:          gf1018@dbngmd21.bitnet                  (Ulla Goltz)
goodaire:       edgar@munucs.mun.ca                     (Edgar Goodaire)
gordon:         v5200e@templevm.bitnet                  (Bob Gordon)
gratzer:        gratzer@uofmcc.bitnet                   (George Graetzer)
grandis:        grandis@igecuniv.bitnet                 (Marco Grandis)
gray:           gray@symcom.math.uiuc.edu               (John Gray)
grove:          grove@cs.stanford.edu                   (Adam Grove)
gruska:         gruska@rosun1.informatik.uni-hamburg.de (Jozef Gruska)
guessarian:     ig@litp.ibp.fr                          (Irene Guessarian)
guitart:        guitart@frmap711.bitnet                 (Rene Guitart)
cgunter:        gunter@central.cis.upenn.edu            (Carl Gunter)
egunter:        elsa@research.att.com                   (Elsa Gunter)
gupta:          vgupta@cs.stanford.edu                  (Vineet Gupta)
gurevich:       gurevich@dip.eecs.umich.edu             (Yuri Gurevich)
dhalpern:       jdan@sun.com                            (Dan Halpern)
jhalpern:       halpern@ibm.com                         (Joe Halpern)
hanna:          fkh@ukc.ac.uk                           (Keith Hanna)
hardie:         hardieka.uctvax@f4.n494.z5.fidonet.org  (Kieth Hardie)
harel:          harel@wisdom.weizmann.ac.il             (David Harel)
harland:        jah@mullauna.cs.mu.oz.au                (James Harland)
harper:         rwh@proof.ergo.cs.cmu.edu               (Robert Harper)
hart:           wiawkph@hdetud1.bitnet                  (Klaas Hart)
haveraaen:      magne@eik.ii.uib.no                     (Magne Haveraaen)
hebert:         mhebert@lavalvm1.bitnet                 (Michel Hebert)
hennessy:       matthewh@cogs.sussex.ac.uk              (Matthew Hennessy)
henrickson:     henriksen@ymir.bitnet                   (Mel Henrickson)
henzinger:      tah@cs.stanford.edu                     (Tom Henzinger)
herz:           in3u@mcgillb.bitnet                     (Carl Herz)
hill:           whill@hplwlh.hpl.hp.com                 (Walt Hill)
hindley:        majrh@pyr.swan.ac.uk                    (Roger Hindley)
hiroyuki:       kitagawa@is.s.u-tokyo.ac.jp             (Kitagawa Hiroyuki)
hoare:          julie@prg.oxford.ac.uk                  (Tony Hoare)
hoehnke:        gabi@opal.cs.tu-berlin.de               (Hans-Jurgen Hoehnke)
hoofman:        raymond@cs.ruu.nl                       (Raymond Hoofman)
hook:           hook@cse.ogi.edu                        (James Hook)
hopcroft:       jeh@cs.cornell.edu                      (John Hopcroft)
hosek:          dhosek@hmcvax.bitnet                    (Don Hosek)
hsiang:         hsiang@sbcs.sunysb.edu                  (Jieh Hsiang)
hudak:          hudak@cs.yale.edu                       (Paul Hudak)
huet:           huet@inria.inria.fr                     (Gerard Huet)
husberg:        nhu@dione.hut.fi                        (Nisse Husberg)
istrail:        sistrail@eagle.wesleyan.edu             (Soren Istrail)
ito:            ito@ito.ecei.tohoku.junet               (Takayasu Ito)
jacobs:         bart@cs.kun.nl                          (Bart Jacobs)
jaffar:         joxan@ibm.com                           (Joxan Jaffar)
jagadeesan:     radha@cs.cornell.edu                    (Radha Jagadeesan)
janssen:        theo@fwi.uva.nl                         (Theo Janssen)
jardine:        jardine@uwovax.uwo.ca                   (John Jardine)
jay:            cbj@lfcs.edinburgh.ac.uk                (Barry Jay)
jeffrey:        alan.jeffrey@prg.oxford.ac.uk           (Alan Jeffrey)
jenkins:        maj@qucis.bitnet                        (Mike Jenkins)
mjohnson:       johnson_m@maths.su.oz.au                (Mike Johnson)
pjohnson:       pjohnson@eagle.wesleyan.edu             (Paul Johnson)
jonsson:        jonssob@vuctrvax.bitnet                 (Bjarni Jonsson)
jouvelot:       jouvelot@ensmp.fr                       (Pierre Jouvelot)
joyal:          joyal@math.uqam.ca                      (Andre Joyal)
joyce:          djoyce@clarku.bitnet                    (David Joyce)
jung:           xmatdb5r@ddathd21.bitnet                (Achim Jung)
kahn:           kahn@mirsa.inria.fr                     (Gilles Kahn)
kane:           kane@uwovax.uwo.ca                      (Richard Kane)
kao:            kao@iuvax.cs.indiana.edu                (Ming Kao)
karp:           karp@ernie.berkeley.edu                 (Dick Karp)
kasangian:      kasan@imiucca.unimu.it                  (Stefano Kasangian)
kennaway:       jrk@sys.uea.ac.uk                       (Richard Kennaway)
kennison:       jkennison@clarku                        (John Kennison)
kfoury:         kfoury@bu-cs.bu.edu                     (Dennis Kfoury)
kiehn:          kiehn@lan.informatik.tu-muenchen.dbp.de (Astrid Kiehn)
kleisli:        kleisli@cfruni52.bitnet                 (Heinrich Kleisli)
klop:           jwk@cwi.nl                              (Jan Klop)
knijnenburg:    peterk@cs.ruu.nl                        (Peter Knijnenburg)
kochman:        kochman@nexus.yorku.ca                  (Stanley Kochman)
kock:           matak@mi.aau.dk                         (Anders Kock)
kolaitis:       kolaitis@cs.ucsc.edu                    (Phokion Kolaitis)
koslowski:      koslowj@math.ksu.edu                    (Juergen Koslowski)
kozen:          kozen@cs.cornell.edu                    (Dexter Kozen)
kwiatkowska:    mzk@leicester.ac.uk                     (Marta Kwiatkowska)
labute:         labute@gauss.math.mcgill.ca             (John Labute)
ladkin:         ladkin@icsib8.berkeley.edu              (Peter Ladkin)
ladner:         ladner@cs.washington.edu                (Richard Ladner)
lafont:         lafont@frulm63.bitnet                   (Yves Lafont)
lamarche:       lamarche@cs.dal.ca                      (Francois Lamarche)
lambek:         lambek@triples.math.mcgill.ca           (Joachim Lambek)
lampe:          lampe@kahuna.math.hawaii.edu            (Bill Lampe)
lamport:        lamport@src.dec.com                     (Leslie Lamport)
latch:          dml@bklyncis.bitnet                     (Dana Latch)
launchbury:     jl@cs.glasgow.ac.uk                     (John Launchbury)
lawvere:        mthmjc@ubvm.cc.buffalo.edu              (Bill Lawvere)
leivant:        daniel.leivant@b.gp.cs.cmu.edu          (Daniel Leivant)
lent:           aflent@theory.lcs.mit.edu               (Arthur Lent)
levin:          lnd@cs.bu.edu                           (Leonid Levin)
lewis:          lglewis@sunrise.bitnet                  (Gaunce Lewis)
liao:           aliao@eagle.wesleyan.edu                (Andrew Liao)
lilius:         jli@dione.hut.fi                        (Johan Lilius)
lincoln:        lincoln@cs.stanford.edu                 (Pat Lincoln)
linton:         flinton@eagle.wesleyan.edu              (Fred Linton)
longo:          longo@dmi.ens.fr                        (Giuseppe Longo)
lord:           hlord@csupomona.edu                     (Harriet Lord)
loui:           mloui@note.nsf.gov                      (Michael Loui)
lowry:          lowry@kestrel.edu                       (Mike Lowry)
lubarsky:       r_lubarsky@faudm.bitnet                 (Robert Lubarsky)
lubliner:       coby@ucbcevax.bitnet                    (Coby Lubliner)
luckham:        dcl@anna.stanford.edu                   (David Luckham)
lynch:          lynch@holmes.lcs.mit.edu                (Nancy Lynch)
ma:             qingming.ma@cs.cmu.edu                  (Qingming Ma)
macdonald:      macstone@bdc.ubc.ca                     (John MacDonald)
mackenzie:      pm1kchm@primea.sheffield.ac.uk         (K.Charles.H. Mackenzie)
macon:          nmacon@nsf.gov                          (Nat Macon)
macqueen:       macqueen@research.att.com               (David Macqueen)
maddux:         s1.rdm@isumvs.bitnet                    (Roger Maddux)
madhav:         madhav@neon.stanford.edu                (Neel Madhav)
main:           main@boulder.colorado.edu               (Michael Main)
majid:          shm10@phx.cam.ac.uk                     (Shahn Majid)
makkai:         makkai@triples.math.mcgill.ca           (Michael Makkai)
manna:          manna@cs.stanford.edu                   (Zohar Manna)
marden:         marden@iassns.bitnet                    (Al Marden)
marti-oliet:    narciso@csl.sri.com                     (Narciso Marti-Oliet)
martini:        martini@di.unipi.it                     (Simone Martini)
mauri:          mauri@imiucca.unimi.it                  (? Mauri)
mccoll:         wfm@prg.oxford.ac.uk                    (Bill McColl)
mckay:          mckay@conu1.bitnet                      (John McKay)
mckay:          wendy@cc.umontreal.ca                   (Wendy McKay)
mcnulty:        n410102@univscvm.bitnet                 (George McNulty)
mcrobbie:       mam@arp.anu.oz.au                       (Michael McRobbie)
meseguer:       meseguer@csl.sri.com                    (Jose Meseguer)
meyer:          meyer@theory.lcs.mit.edu                (Albert Meyer)
milner:         rm@lfcs.ed.ac.uk                        (Robin Milner)
mislove:        mwm@tulmath.math.tulane.edu             (Michael Mislove)
misra:          misra@cs.utexas.edu                     (Jay Misra)
mitchell:       jcm@cs.stanford.edu                     (John Mitchell)
mochnacki:      stefan@centaur.astro.utoronto.ca        (Stefan Mochnacki)
moggi:          em@lfcs.ed.ac.uk                        (Eugenio Moggi)
molnar:         rkm@macalstr.bitnet                     (Richard Molnar)
montanari:      ugo@di.unipi.it                         (Ugo Montanari)
demoor:         Oege.de.Moor@prg.oxford.ac.uk           (Oege.de Moor)
moschovakis:    ynm@math.ucla.edu                       (Yiannis Moschovakis)
muller:         muller@harvard.edu                      (Robert Muller)
mulry:          phil@colgate.edu                        (Phil Mulry)
mulvey:         mmfc6@cluster.sussex.ac.uk              (Chris Mulvey)
mumford:        mumford@zariski.harvard.edu             (David Mumford)
murphy:         dvjm@cs.glasgow.ac.uk                   (David Murphy)
murthy:         murthy@cs.cornell.edu                   (Chet Murthy)
murty:          mt88@mcgilla.bitnet                     (Ram Murty)
nation:         nation@kahuna.math.hawaii.edu           (James.B. Nation)
nickau:         nickau@hrz.uni-siegen.dbp.de            (? Nickau)
denicola:       denicola@icnucevm.bitnet                (Rocco.De Nicola)
niefield:       niefiels@union.bitnet                   (Susan Niefield)
nowakowski:     rjn@cs.dal.ca                           (Richard Nowakowski)
ohearn:         ohearn@top.cis.syr.edu                  (Peter Ohearn)
okada:          okada@concour.cs.concordia.ca           (Mitsu Okada)
oles:           oles@ibm.com                            (Frank Oles)
ong:            chlo@doc.ic.ac.uk                       (Luke Ong)
orzech:         orzechm@qucdn.bitnet                    (Morris Orzech)
otto:           james_jim_otto@cup.portal.com           (Jim Otto)
overbeek:       overbeek@anl-mcs.arpa                   (Russ Overbeek)
depaiva:        valeria.paiva@cl.cam.ac.uk              (Valeria.de Paiva)
panangaden:     prakash@opus.cs.mcgill.ca               (Prakash Panangaden)
papert:         seymour@media-lab.media.mit.edu         (Seymour Papert)
pare:           pare@cs.dal.ca                          (Bob Pare)
parikh:         ripbc@cunyvm.bitnet                     (Rohit Parikh)
parker:         stott@cs.ucla.edu                       (Stott Parker)
paterson:       msp@cs.warwick.ac.uk                    (Mike Paterson)
paulson:        lcp@cl.cam.ac.uk                        (Larry Paulson)
pavlovic:       pavlovic@math.ruu.nl                    (Dusko Pavlovic)
pedicchio:      ti2tsg2h@icineca2.bitnet                (Cristina Pedicchio)
pelletier:      jwpell@yorkvm1.bitnet                   (Joan Pelletier)
phillips:       phillips@uvvm.bitnet                    (John Phillips)
pierce:         benjamin.pierce@proof.ergo.cs.cmu.edu   (Benjamin Pierce)
pigozzi:        s2.dlp@isumvs.bitnet                    (Don Pigozzi)
pinter:         pinter-shlomit@yale.edu                 (Shlomit Pinter)
pitts:          ap@cl.cam.ac.uk                         (Andy Pitts)
plaisted:       plaisted@cs.unc.edu                     (David Plaisted)
platek:         oravax!richard@cu-arpa.cs.cornell.edu   (Richard Platek)
platt:          platt@uofmcc.bitnet                     (Craig Platt)
plotkin:        gdp@lfcs.edinburgh.ac.uk                (Gordon Plotkin)
pnueli:         amir@wisdom.weizmann.ac.il              (Amir Pnueli)
poigne:         ap@gmdzi.gmd.de                         (Axel Poigne)
porter:         mas013@vaxc.bangor.ac.uk                (Tim Porter)
power:          ajp@lfcs.edinburgh.ac.uk                (John Power)
pratt:          pratt@cs.stanford.edu                   (Vaughan Pratt)
priestley:      hap@vax.oxford.ac.uk                    (Hilary Priestley)
probst:         probst@bond.crim.ca                     (Richard Probst)
rabin:          rabin@humus.huji.ac.il                  (Michael Rabin)
rachev:         zarirach@bernoulli.ucsb.edu             (Zari Rachev)
ramshaw:        ramshaw@src.dec.com                     (Lyle Ramshaw)
randall:        randall@elbereth.rutgers.edu            (John Randall)
raphael:        raphael@vax2.concordia.ca               (Robert Raphael)
rattray:        cr@cs.stir.ac.uk                        (Charles Rattray)
repin:          repin@log.mian.su                       (Nikolai Repin)
reyes:          241@umtlvr.bitnet                       (Gonzalo Reyes)
reynolds:       john.reynolds@c.cs.cmu.edu              (John Reynolds)
riecke:         riecke@theory.lcs.mit.edu               (Jon Riecke)
riemens:        sriemens@ualtavm.bitnet               (Sherman Riemenschneider)
ritter:         er@cl.cam.ac.uk                         (Eike Ritter)
erobinson:      edmundr@cogs.susx.ac.uk                 (Edmund Robinson)
krobinson:      kenr@elecvac.oz.au                      (Ken Robinson)
deroever:       wsinwpr@eutrc3.urc.tue.nl               (Willem.de Roever)
rolfsen:        userodin@ubcmtsg.bitnet                 (Dale Rolfsen)
roman:          imate@unamvm1.bitnet                    (Leopoldo Roman)
rosebrugh:      rrosebrugh@mta.bitnet                   (Bob Rosebrugh)
rosenthal:      rosenthk@union.bitnet                   (Kimmo Rosenthal)
rosolini:       matema2@ipruniv.bitnet                  (Pino Rosolini)
rota:           rota@math.mit.edu                       (Gian-Carlo Rota)
rotman:         symcom!rotman@uxc.cso.uiuc.edu          (Joseph Rotman)
rounds:         bill_rounds@um.cc.umich.edu             (Bill Rounds)
rovan:          uniba!rovan@relay.eu.net                (Branislav Rovan)
rozenberg:      rozenber@hlerul5.bitnet                 (Grzegor Rozenberg)
rozenfeld:      ar@alv.umd.edu                          (Azriel Rozenfeld)
rudich:         arie@theory.lcs.mit.edu                 (Arie Rudich)
rudie:          rudie@ecfb.toronto.edu                  (Karen Rudie)
ruitenburg:     wimr@math.mscs.mu.edu                   (Wim Ruitenburg)
rumbos:         rumbos@unamvm1.bitnet                   (Beatriz Rumbos)
rus:            rus@herky.cs.uiowa.edu                  (Theodor Rus)
rydeheard:      david@r3.cs.man.ac.uk                   (David Rydeheard)
sakurai:        a87480@tansei.cc.u-tokyo.ac.jp          (Takafumi Sakurai)
salisbury:      salt@yorkvm1.bitnet                     (Tom Salisbury)
sankappanevar:  sankah@snynewba.bitnet        (Hanamantagouda.P. Sankappanevar)
scedrov:        andre@cis.upenn.edu                     (Andre Scedrov)
schelter:       wfs@cli.com                             (Bill Schelter)
schmidt:        jschmidt@daimi.dk                       (Jorn Schmidt)
schroeppel:     rcs@la.tis.com                          (Rich Schroeppel)
schumacher:     schu@acadia.bitnet                      (Dietmar Schumacher)
dscott:         dana.scott@c.cs.cmu.edu                 (Dana Scott)
pscott:         scpsg@acadvm1.uottawa.ca                (Phil Scott)
seely:          rags@bruce.cs.monash.oz.au              (Robert Seely)
seldin:         seldin@antares.concordia.ca             (Jonathan Seldin)
shankar:        shankar@csl.sri.com                     (Natarajan Shankar)
shapiro:        udi@wisdom.bitnet                       (Udi Shapiro)
shields:        m.shields@cs.surrey.ac.uk               (Mike Shields)
sichler:        sichler@ccm.umanitoba.ca                (Jiri Sichler)
kurt:           sieber@fb10vax.informatik.uni-saarland.dbp.de (Kurt Sieber)
isimon:         isimon@brusp.bitnet                     (Imre Simon)
slifker:        slifker@svax.cs.cornell.edu             (Michael Slifker)
smaill:         smaill@aipna.edinburgh.ac.uk            (Alan Smaill)
small:          nwnexus!cjsa!jeff@uunet.uu.net          (Jeffery Small)
gsmith:         dalcs!gretchen@uunet.uu.net             (Gretchen Smith)
ssmith:         scott@cs.jhu.edu                        (Scott Smith)
sobral:         sobral@ciuc2.uc.rccn.pt                 (Manuela Sobral)
spencer:        dwight@cse.ogi.edu                      (Dwight Spencer)
srinivas:       srinivas@madeleine.ics.uci.edu          (Yellamraju Srinivas)
staples:        staples@uqcspe.cs.uq.oz.au              (John Staples)
steele:         steele@think.com                        (Guy Steele)
steiner:        maths@vme.gla.ac.uk                     (Richard Steiner)
stell:          john@cs.kl.ac.uk                        (John Stell)
stewart:        cstewart@watserv1.uwaterloo.ca          (Cameron Stewart)
astone:         macstone@bdc.ubc.ca                     (Art Stone)
stout:          lnstout@uiucvmd.bitnet                  (Lawrence Stout)
strecker:       strecker@galois.math.ksu.edu            (George Strecker)
street:         street@mqcomp.mqcs.mq.oz.au             (Ross Street)
streicher:      streiche@unipas.fmi.uni-passau.de       (Thomas Streicher)
subrahmanyam:   ramesh@linc.cis.upenn.edu               (Ramesh Subrahmanyam)
suppes:         suppes@csli.stanford.edu                (Pat Suppes)
swaminathan:    swami@cs.dal.ca                         (S. Swaminathan)
szabo:          szabof@conu1.bitnet                     (Fred Szabo)
takayama:       takayama@okilab.oki.co.jp               (Y. Takayama)
talcott:        clt@sail.stanford.edu                   (Carolyn Talcott)
tatsuta:        tatsuta@sato.riec.tohoku.ac.jp          (Makoto Tatsuta)
taubner:        taubner@lan.informatik.tu-muenchen.dbp.de (Dirk Taubner)
paultaylor:     pt@doc.ic.ac.uk                         (Paul Taylor)
philiptaylor:   p.taylor@vax.rhbnc.ac.uk                (Philip Taylor)
wtaylor:        wtaylor@boulder.colorado.edu            (Walt Taylor)
tennent:        rdt@qucis.queensu.ca                    (Bob Tennent)
tholen:         tholen@yorkvm1.bitnet                   (Walter Tholen)
thomson:        tom@nw.stl.stc.co.uk                    (Tom Thomson)
thurston:       wpt@math.princeton.edu                  (Bill Thurston)
tiuryn:         tiuryn@cs.bu.edu                        (Jerzy Tiuryn)
trakhtenbrot:   trakhte@taurus.bitnet                   (Boris Trakhtenbrot)
tschantz:       tschanst@vuctrvax.bitnet                (Steve Tschantz)
tsuiki:         tsuiki@kurims.kyoto-u.ac.jp             (Hideki Tsuiki)
turbak:         lyn@zurich.ai.mit.edu                   (Franklyn Turbak)
urquhart:       urquhart@ai.toronto.edu                 (Alasdair Urquhart)
valeriote:      valeriot@mcmaster.bitnet                (Matt Valeriote)
van:            d_vanosdol@unhh.unh.edu                 (Osdol Van)
vardi:          vardi@almaden.bitnet                    (Moishe Vardi)
vermeulen:      jjcvmath.uctvax@f4.n494.z5.fidonet.org  (Japie Vermeulen)
verwer:         nico@cs.ruu.nl                          (Nico Verwer)
vickers:        sjv@doc.ic.ac.uk                        (Steven Vickers)
vitanyi:        paulv@cwi.nl                            (Paul Vitanyi)
devries:        ferjan@cwi.nl                           (Fer-jan.de Vries)
waarts:         orli@cs.stanford.edu                    (Orli Waarts)
wachter:        wachter@itd.nrl.navy.mil                (Ralph Wachter)
wadler:         wadler@cs.glasgow.ac.uk                 (Philip Wadler)
wagner:         wagner@ibm.com                          (Eric Wagner)
wallen:         lincoln.wallen@prg.oxford.ac.uk         (Lincoln Wallen)
walters:        walters_b@maths.su.oz.au                (Bob Walters)
wand:           wand@corwin.ccs.northeastern.edu        (Mitchell Wand)
wasilewska:     anita@sbcs.sunysb.edu                   (Anita Wasilewska)
wells:          cfw2@po.cwru.edu                        (Charles Wells)
white:          bwhite@inmet.inmet.com                  (Bill White)
williams:       ewilliam@kean.ucs.mun.ca                (Ed Williams)
winkler:        winkler@csl.sri.com                     (Timothy Winkler)
wood:           rjwood@cs.dal.ca                        (Richard Wood)
wraith:         gavinw@sussex.ac.uk                     (Gavin Wraith)
wright:         gpwsg@acadvm1.uottawa.ca                (Graham Wright)
wyler:          wyler@cs.cmu.edu                        (Oswald Wyler)
yardini:        eyal@wisdom.weizmann.ac.il              (Eyal Yardini)
yarroll:        piggy@chinet.chi.il.us                  (LaMonte Yarroll)
yetter:         dyetter@msri.org                        (David Yetter)
yoshida:        yoshida@icot.jp                         (Kaoru Yoshida)
yoshiki:        yoshiki@etl.go.jp                       (Kinoshita Yoshiki)
young:          young@xx.lcs.mit.edu                    (Jonathan Young)
zawadowski:     warsaw@ccb.uib.es                       (Marek Zawadowski)
zhang:          gqz@pollux.cs.uga.edu                   (Qiang Zhang)
zocco:          dean.zocco@klb                          (Meg Zocco)
