March 1991 - Categories - categories.org.au

Research position available
by gdp＠lfcs.edinburgh.ac.uk 29 Mar '91

29 Mar '91

RESEARCH FELLOWSHIP available in the LABORATORY for FOUNDATIONS of COMPUTER SCIENCE (LFCS) Department of Computer Science UNIVERSITY of EDINBURGH on the project LOGICAL and SEMANTICAL FRAMEWORKS (UK SERC rolling grant) Main investigators: G. PLOTKIN and E. MOGGI starting date: BEFORE JANUARY 1992 duration: 2 YEARS salary: an appropriate point on the RA1A scale: 11,399 - 18,165 Pounds Sterling p.a. to carry out research on PROGRAM LOGIC AND SEMANTICS with particular emphasis on such topics as: - partiality, recursive definitions and inductive principles; - the monadic approach to denotational semantics and its extension to program logics; - a modular approach to programming language semantics and logics. LFCS provides a very stimulating research environment. It is active, not only in the area of logic and semantics, but also in most areas of Theoretical Computer Science. It also has a strong interest in the application of basic theory through the development of computer based tools and systems and by conducting studies in the formal analysis of and reasoning about computer systems. EC funding should be available for collaboration with Cambridge (A. Pitts) and Genova (E. Moggi) on the above research topics. --------------------------------------------------------------------------- The ideal candidate should have: - a Ph.D. in (Theoretical) Computer Science, - expertise in Denotational Semantics and Program Logics, - some knowledge of Category Theory and its applications to Logic and Programming Language Semantics. Applicants should send (by e-mail to George Cleland at glc(a)lfcs.edinburgh.ac.uk) - a cv, incuding publications and a statement of research interests - a list of referees (prefereably with e-mail addresses) FOR FURTHER INFORMATION CONTACT: gdp(a)lfcs.edinburgh.ac.uk or em(a)lfcs.edinburgh.ac.uk

1 0

Applications of Grothendieck topologies in computer science
by Y V Srinivas 20 Mar '91

20 Mar '91

I am currently completing a dissertation in which I derive a general pattern matching algorithm using Grothendieck topologies. For the related work section, I am looking for other applications in computer science of Grothendieck topologies or sheaf theory. I already have the following references: Michel Eytan's PhD thesis (which applies Grothendieck topologies to grammars), and Monteiro and Pereira's paper on modeling concurrency using sheaves. If you know of any other applications, could you please send me a message? The abstract of my dissertation is enclosed. The dissertation will be ready for distribution in early April. If you would like a copy, please let me know. - srinivas PATTERN MATCHING: A SHEAF-THEORETIC APPROACH Yellamraju V. Srinivas PhD Dissertation (forthcoming March 1991) University of California, Irvine SUMMARY: A general theory of pattern matching is presented by adopting an extensional, geometric view of patterns. The extension of the matching relation consists of the occurrences of all possible patterns in a particular target. The geometry of the pattern describes the structure of the pattern and the spatial relationships among parts of the pattern. The extension and the geometry, when combined, produce a structure called a sheaf. Sheaf theory is a well developed branch of mathematics which studies the global consequences of locally defined properties. For pattern matching, an occurrence of a pattern, a global property of the pattern, is obtained by gluing together occurrences of parts of the pattern, which are locally defined properties. A sheaf-theoretic view of pattern matching provides a uniform treatment of pattern matching on any kind of data structure---strings, trees, graphs, hypergraphs, and so on. Such a parametric description is achieved by using the language of category theory, a highly abstract description of commonly occurring structures and relationships in mathematics. A generalized version of the Knuth-Morris-Pratt pattern matching algorithm is derived by gradually converting the extensional description of pattern matching as a sheaf into an intensional description. The algorithm results from a synergy of four very general program synthesis/transformation techniques: (1) Divide and conquer: exploit the sheaf condition; assemble a full match by gluing together partial matches; (2) Finite differencing: collect and update partial matches incrementally while traversing the target; (3) Backtracking: instead of saving all partial matches, save just one; when this partial match cannot be extended, fail back to another; (4) Partial evaluation: precompute pattern-based (and therefore constant) computations into an automaton. The derivation is carried out in a general framework using Grothendieck topologies. By appropriately instantiating the underlying data structures and topologies, the same scheme results in matching algorithms for patterns with variables and with multiple patterns. Slight variations of the derivation result in Earley's algorithm for context-free parsing, LR parsing, and Waltz filtering, a relaxation algorithm for providing 3-D interpretations to 2-D images. Other applications of a geometric view of patterns are briefly considered: rewrites, parallel algorithms, induction and computability. ======== Y. V. Srinivas E-mail: srinivas(a)ics.uci.edu Information and Computer Science University of California Irvine, CA 92717, USA

4 3

More references on sheaves in concurrency
by Vaughan Pratt 19 Mar '91

19 Mar '91

The earliest application of sheaf theory to concurrency I am aware of is the LICS'86 paper of Monteiro and Pereira: @InProceedings( MP, Author="Monteiro, L.F. and Pereira, F.C.N.", Title="Outline of a Sheaf-theoretic Approach to Concurrency", Booktitle="Proc. IEEE Symp. on Logic in Computer Science", Address="Boston", Month=Jul, Year=1986) My IJPP paper in the same year, @Article( Pr86, Author="Pratt, V.R.", Title="Modeling Concurrency with Partial Orders", Journal="Int. J. of Parallel Programming", Volume=15, Number=1, Pages="33-71", Month=Feb, Year=1986) (retrievable from boole.stanford.edu by anonymous ftp as /pub/ijpp.tex, see also the README in the same directory.) discusses the relationship of my semantics of networks (section 4 of my paper) with Monteiro and Pereira's semantics. Ignore the February 1986 date on that issue of IJPP, I did not send the manuscript to IJPP until after LICS'86. This permitted me to read Monteiro and Pereira's paper and address the question of what differences if any there were between my treatment and their sheaf-theoretic one. I covered this in two paragraphs (appended here) giving respectively the similarities and the differences, the latter in terms of changes sufficient to bring my treatment into juxtaposition with theirs. It may well be however that these differences are artifacts of too narrow a notion of sheaf. If the definition in my paper can be viewed as sheaf-theoretic without making those changes I would appreciate hearing the details from anyone with the requisite sheaf theory and a willingess to sort out the definitions in the respective papers. I have not worked enough with sheaves myself to trust my judgement on this. Vaughan Pratt ==========2 paragraphs on sheaves from "Modelling Concurrency with PO's"=== This approach has some important points in common with our approach, as well as some important differences. The points of correspondence are as follows. In place of a category of open sets of a topological space $X$ and their inclusions we use the category {\bf Set} whose objects (sets) provide our alphabets and whose morphisms (functions) our translations. By using arbitrary functions rather than inclusions we provide for action renaming (via non-inclusions) and ``short-circuiting'' (via non-injections). The concept of restriction has the same significance for both approaches, and is a contravariant functor in both cases. The explicit concept of section agreement on intersections, which is the essence of a sheaf, appears only implicitly in our approach, by virtue of the possibility of overlap between the $t_i(\Sigma_i)$'s. We do not require the $t_i(\Sigma_i)$'s to cover $\Sigma$, but then neither do we require that the system behavior consistent with a family of component behaviors be unique. In place of monoids we use processes made up of pomsets, which come with a built-in solution to the problem of non-injective translations and which also have the several advantages cited for them in the introduction, not achievable with monoids. Our approach may be massaged into closer correspondence with the sheaf approach by replacing the $\Sigma_i$'s with their images $t_i(\Sigma_i)$ as subsets of $\Sigma$, and the $t_i$'s with the corresponding inclusions from $t_i(\Sigma_i)$ into $\Sigma$, provided the $t_i$'s are injective and the $t_i(\Sigma_i)$'s cover $\Sigma$ (easily arranged by adding a dummy process to complete the cover). There is no loss of generality in requiring these subsets to be open since in the absence of other requirements $\Sigma$ can be equipped with the discrete topology (all subsets open). The information in the $P_i$'s is now not accessible since the $t_i$'s are gone, so, taking our sheaves to be sheaves of processes rather than of monoids, we move the $P_i$'s into the restriction functor by having $\rho$ map $t_i(\Sigma_i)$ to $t_i?+(P_i)$ where $t_i?+$ is the extension of $t_i$ to a pomset homomorphism. The remaining step is to have $\rho$ map the other subsets of $\Sigma$, or at least the arbitrary unions and finite intersections of the $t_i(\Sigma_i)$'s, to appropriate subsets of $\Sigma\ddagger$, in order to make $\rho$ into a sheaf, though we have not yet worked out the appropriate assignment.

1 0

Material available from Sydney by anonymous ftp
by walters_b＠maths.su.oz.au 19 Mar '91

19 Mar '91

SYDNEY CATEGORY THEORY SEMINAR Category theory material Available by Anonymous FTP from maths.su.oz.au This file is README in the sydcat directory of maths.su.oz.au, 129.78.68.2, accessible by anonymous ftp. The sydcat directory is for FTP distribution of recent publications and other material of the Sydney Category Theory Group. The Sydney Category Theory Group consists of mathematicians and students at the University of Sydney and Macquarie University, Sydney, Australia including the following: Murray Adelman Sean Carmody carmody_s(a)maths.su.oz.au Brian Day Robin Cockett rcockett(a)mqccsuna.mqcc.mq.oz.au Robbie Gates gates_r(a)maths.su.oz.au Mike Johnson johnson_m(a)maths.su.oz.au Giulio Katis katis_p(a)maths.su.oz.au Max Kelly kelly_m(a)maths.su.oz.au Stephen Lack lack(a)maths.su.oz.au Stephen Ma ma_s(a)maths.su.oz.au Wafaa Moynham moynham_w(a)maths.su.oz.au Wesley Phoa phoa_w(a)maths.su.oz.au Ross Street street(a)mqcomp.mqcs.mq.oz.au Sun Shu-Hao sun_s(a)maths.su.oz.au Bob Walters walters_b(a)maths.su.oz.au ==========================Instructions====================================== FTP LOGIN. Give the following commands. ftp maths.su.oz.au Login: anonymous (if you don't have an account on maths) Paswd: yoursurname (though any string will work) bin (if you are retrieving a .dvi file) prompt off (if you want no ? prompts from mget) cd sydcat (change directory to _public/sydcat ls -lt (see what's there, most recent first) mget filename-1 ... filename-n (e.g. mget catcurrent.Z) quit (exit from FTP) DVI. If you wish to print paper, calg say, retrieve calg.dvi and associated .eps and .sty files from the subdirectory calg (cd calg first). You must first give the bin command to ftp since .dvi files are not text files. You will then need a dvi to postscript converter which will include the .eps files. Print the resulting postscript file on your host. PROBLEMS. If you have problems in either retrieving or compiling papers, please contact Bob Walters. NOTE. Please note that the IP satellite link between Australia and the rest of the world is saturated most of the time. Large file transfers to non-Australian sites should be spaced out, and should preferably take place between the hours 2300 and 0800 local Eastern Australian time (the local time appears in the ftpd banner at connection). ===========================Available papers================================= The following files and directories are available: catcurrent The Category Theory address list maintained by Max Kelly and Michael Johnson Updated 2 Jan 1991 catcurrent.Z Compressed version of catcurrent email Vaughan Pratt's latest email address list Updated 10 March 1991 como A directory containing como.dvi and some associated postscript files for the paper: S. Carmody, R.F.C. Walters, Computing quotients of actions of a free category. calg A directory containing calg.dvi and some associated postscript files for the paper: S. Carmody, R.F.C. Walters, The Todd-Coxeter Procedure and Left Kan Extensions. sydcat A directory containing sydcat.tex and macros. sydcat.tex is a listing of seminars given at the Sydney Category Seminar Updated 18 March 1991 cics A directory containing cics.tex and macros. cics.tex is a listing of seminars given at the Sydney Categories in Computer Science Seminar. Updated 18 March 1991 -- Bob Walters Department of Pure Mathematics, University of Sydney, NSW 2006, Australia Internet: walters_b(a)maths.su.oz.au Phone: +61 2 692 2966 FAX: +61 2 692 4534 ============================================================================

1 0

Scott topologies
by P. B. Johnson 15 Mar '91

15 Mar '91

Given a locale A, one may endow the set of points Loc(1,A) with the relative topology enherited from A, (and thereby produce the "spatial part of A"). Or, viewing Loc(1,A) as a poset with directed sups (in the "specialization" ordering), one may equip Loc(1,A) with the Scott topology. I have convinced myself that for arbitrary A, the Scott topology is at least as fine as the relative topology. Are there conditions on the locale A which characterize the coincidence of these two ways one might topologize its set of points? Paul

2 1

Comments on Release 2.0
by Vaughan Pratt 14 Mar '91

14 Mar '91

You should have just received a copy of release 2.0 of the Structures Directory, email addresses of "structure theorists". In order to get it past his mailer Bob has edited out the # (sharp) sign found at the beginning of each of the first 55 lines. If you are following the directions to append this file to your aliases file (found in /usr/lib or /etc) then you will need to either delete or comment out those 55 lines. To comment them out to match the source code insert a sharp sign at the start of each of the 55 lines. An alternative that I have not tried but that I would expect to work is to put a left parenthesis at the start of line 1 and a right parenthesis at the end of line 55 or on line 56 (blank). This is an alternative method of "commenting out" text in aliases files. The only problems I can imagine this causing are excessive length of commented-out region (unlikely provided the commented-out text is being scanned by a finite-state automaton), and failure to handle nested parentheses correctly (the commented-out text includes several parenthetical remarks). If you encounter these or any other problems please contact me, pratt(a)cs.stanford.edu. Note also that the character on line 3 immediately before the ftp is a tilde, not a caret as it may have appeared on your machine. To retrieve the latest release of this list at any time use anonymous ftp to fetch the file /pub/structdir from Boole.Stanford.EDU (at internet address 36.8.0.65 if your name server claims ignorance of 19th century logicians.) Vaughan Pratt

1 0

Jobs at Macquarie
by street＠mqcomp.mqcs.mq.oz.au 12 Mar '91

12 Mar '91

Jobs at Macquarie I just obtained the ad for 3 positions in our department; they're hot off the press. You at least need a PhD in math & a strong & continuing research record. Also experience & interest in teaching. As you know, we are fairly strong in category theory (joined by our nearby colleagues at Sydney); number theory (van der Poorten, Loxton), and functional analysis & pde's (Alan Mc Intosh) make up our three strong groups. TECHNICAL DETAILS: Reference 650323: fixed-term for an analyst in preference (still worth trying). Reference 910090: fixed-term for either mathematical computing person or one experienced in teaching large classes. Reference 890464: tenurable, in one of our existing research fields (the competition will be strong). All available 1 July 1991 and fixed-terms are for 5 years (although it is possible to reapply for tenurable jobs later). Senior Lecturer $43584-$51015 ($Australian is around 76c US at present) Lecturer $33163-$34584 Send your application(s) to Academic Staff Office Macquarie University N S W 2109 AUSTRALIA. Deadline 30 April 1991. They will probably send you a summary application for to fill out once you make first contact which you could do on their FAX 61-2-8057398. Best of luck. ................ Perhaps I should remind people of the category theorists at Macquarie other than myself: Murray Adelman, Brian Day (part-time), Michael Johnson, Robin Cockett (unfortunately leaving for Calgary in June), and frequent visitors. Also there is active interest amongst the computer scientists in category theory (Mike has at least one paper with some of them). Best regards, Ross

1 0

Release 2.0
by Vaughan Pratt 11 Mar '91

11 Mar '91

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

1 0