======================================== 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@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@cs.stanford.edu 415-723-2943 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) aitchison: iain@mundoe.munnari.oz (Iain Aitchison) amadio: amadio@dmi.ens.fr (Roberto Amadio) ambler: sja@cs.qmw.ac.uk (Simon Ambler) 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@taurus.bitnet (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@lfcs.edinburgh.ac.uk (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) birtwistle: graham@cpsc.ucalgary.ca (Graham Birtwistle) 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 also.works.for.Marta Bunge) bunge: inbe@musicb.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) chen: chen@pchu.depaul.edu (Andy Chen) choi: choi@grad1.cis.upenn.edu (Jin-Young Choi) chou: chou@rascal.ics.utexas.edu (Shang-Ching Chou) chu: chu@ace.bsd.uchicago.edu (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) duba: duba@rice.edu (Bruce Duba) dubey: rdubey@yoda.eecs.wsu.edu (Rakesh Dubey) dubuc: dcfden!edubuc@mate.edu.ar (Eduardo Dubuc) 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@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) finkelstein: stacy@saul.cis.upenn.edu (Stacy Finkelstein) 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) frei: bitnet.arfr@ubcmtsg (Armin Frei) freire: freire@euscvx.decnet.cern (J.L. Freire.Nistal) 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@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) heckmann: heckmann@cs.uni-sb.de (Reinhold Heckmann) 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) 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) huth: mrh@tulmath.math.tulane.edu (Michael Huth) hyland: jmeh@phoenix.cambridge.ac.uk (J.M.E. Hyland) 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) kelly: kelly_m@maths.su.oz.au (Max Kelly) 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) klarlund: klarlund@cs.cornell.edu (Nils Klarlund) 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) leavens: leavens@bambam.cs.iastate.edu (Gary Leavens) 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) libkin: libkin@saul.cis.upenn.edu (Leonid Libkin) 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) mercouroff: nm@cs.brandeis.edu (Nicolas Mercouroff) 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 (Giancarlo 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) melton: austin@cis.ksu.edu (Austin Melton) 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) monro: monro_g@maths.su.oz.au (Gordon Monro) 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) nelson: nealn@cse.ogi.edu (Neal Nelson) 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: ti2tsg24@icineca2.bitnet (Cristina Pedicchio) pelletier: jwpell@yorkvm1.bitnet (Joan Pelletier) penon: penon@frmap711.bitnet (Jean Penon) 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) pitt: dhp@cs.surrey.ac.uk (David Pitt) pitts: ap@cl.cam.ac.uk (Andy Pitts) plaisted: plaisted@cs.unc.edu (David Plaisted) platek: richard@oracorp.com (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) poirot: poirot@boole.stanford.edu (Hercule Poirot) porst: porst@ubrinf.uucp (H.-E. Porst) 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) proute: ap@frmap711.bitnet (Alain Proute) quackenbush: bquack@ccm.umanitoba.ca (Bob Quackenbush) 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) rutten: janr@piring.cwi.nl (Jan Rutten) 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) sannella: dsannella@lfcs.ed.ac.uk (Don Sannella) sato: schuko@sun4.cc.kyushu-u.ac.jp (Hiroyuki Sato) 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: dwights@cse.ogi.edu (Dwight Spencer) srinivas: srinivas@madeleine.ics.uci.edu (Yellamraju Srinivas) staples: staples@uqcspe.cs.uq.oz.au (John Staples) stark: stark@cs.sunysb.edu (Eugene Stark) 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) stoughton: allen@cogs.sussex.ac.uk (Allen Stoughton) 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) sun: yong@minster.york.ac.uk (Yong Sun) 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 (Yukihide 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) vanosdol: d_vanosdol@unhh.unh.edu (Donovan Van.Osdol) 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) wendt: wendt@cs.dal.ca (Michael Wendt) 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@gargoyle.uchicago.edu (La.Monte 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)