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)