Here is the current version of Structdir, which is now up to 710 names. Please send changes and additions to me. -- Vaughan Pratt pratt@cs.stanford.edu. # Structures Directory -- Email addresses of structure theorists # Release 6.0, December 4, 1994 # Master copy: Boole.Stanford.EDU:^ftp/pub/structdir # Maintainer: Vaughan Pratt, pratt@cs.stanford.edu # # # This is an email directory of logicians, algebraists, and programming # linguists working primarily on structural problems in mathematics and # computer science. It is organized as a Unix aliases file and # may be appended directly to the aliases file that normally resides in # /usr/lib or /etc. The most recent release of this directory may be # obtained at any time by anonymous ftp from Boole.Stanford.EDU as the # file /pub/structdir # # The purpose of this directory is to permit those listed in it to be # easily contacted individually by email. # # NOTICE: Please do not use any email address obtained from this # directory for other than the purpose stated above without first # obtaining the consent of the owner of that address. Such proscribed # uses include adding an address obtained from this directory to a # mailing list used for broadcast mailings, and noting the fact of # inclusion in this directory in a profile of the included individual. # # The list observes the following conventions. Column 1 is the alias, # which usually consists of the surname prefixed when necessary for # disambiguation with an initial or the whole first name. It starts in # character column 1 and is restricted to the 26 characters a-z (no # capitals, digits, or punctuation), and usually includes any preceding # "de" or "van". Column 2, which starts in character column 17, is the # email address in lower case with no %'s, and is either a regular # internet domain address, a .bitnet address, or a uucp address in ! # format. Column 3 is "(Forename" and column 4 the matching "Surname)". # The list is sorted by surname using the Unix sort command in the form # `sort +3` (sort ignoring the first three columns). The "de" or "van" # if any is placed in whichever of columnn 3 or 4 achieves its owner's # preferred alphabetization. Column 3 starts as close to column 57 as # possible subject to the other constraints and column 4 is separated # from column 3 by one space. There are no tabs in the file, and no line # is longer than 79 characters. # # Although the directory contains no repeated aliases (column 1 entries), # the aliases file to which you append it may already contain aliases # that also appear here. You should be aware that the resulting # conflicts will not be reported as such, but rather that the mailing # programs will select either the last or first repeated alias as the one # to use depending respectively on whether or not your mail system # preprocesses the aliases file for faster retrieval. # # Vaughan Pratt # Computer Science Department # Stanford University # Stanford, CA 94305 # pratt@cs.stanford.edu # 415-723-2943 # # People # abadi: ma@src.dec.com (Martin Abadi) abiteboul: abitebou@inria.inria.fr (Serge Abiteboul) abramsky: sa@doc.ic.ac.uk (Samson Abramsky) aceto: luca@cogs.sussex.ac.uk (Luca Aceto) aczel: petera@cs.man.ac.uk (Peter Aczel) adamek: adamek@math1.cvut.cs (Jiri Adamek) adams: useradms@mtsg.ubc.ca (Bob Adams) adelman: murray@macadam.mpce.mq.edu.au (Murray Adelman) adler: ara@lom1.math.yale.edu (Alan Adler) ageron: gremlin@math.unicaen.fr (Pierre Ageron) ait-kaci: hak@decprl.dec.com (Hassan Ait-Kaci) aitchison: iain@mundoe.munnari.oz.au (Iain Aitchison) alager: alagar@cs.concordia.ca (V.S. Alagar) albert: michael.albert@cmu.edu (Michael Albert) alimohamed: moez@saul.cis.upenn.edu (Moez Alimohamed) almada: matjoao%ptearn.bitnet@frmop11.cnusc.fr (Teresa Almada) altenkirch: alti@dcs.ed.ac.uk (Thorsten Altenkirch) amadio: amadio@loria.fr (Roberto Amadio) ambler: sja4@mcs.le.ac.uk (Simon Ambler) amnell: amnell@klaava.helsinki.fi (Marko Amnell) andersen: nils@diku.dk (Nils Andersen) anderson: anderson@bright.math.uoregon.edu (Frank Anderson) andreka: h2644and@ella.hu (Hajnal Andreka) apt: apt@cs.utexas.edu (Krzystof Apt) arbib: arbib@cs.usc.edu (Michael Arbib) arnold: arnold@geocub.greco-prog.fr (Andre Arnold) artemov: sergei@artemov.mian.su (Sergei Artemov) asperti: andrea.asperti@inria.fr (Andrea Asperti) astesiano: astes@disi.unige.it (Egidio Astesiano) atkinson: atkinson@math.toronto.edu (Derek Atkinson) avron: aa@math.tau.ac.il (Arnon Avron) bach: rene@tech.ascom.ch (Rene Bach) baez: baez@ucrmath.ucr.edu (John Baez) baker: kab@math.ucla.edu (Kirby Baker) baker-finch: clem@ise.canberra.edu.au (Clem Baker-Finch) 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@phil.indiana.edu (Jon Barwise) beck: beck@math.cornell.edu (Jon Beck) bednarczyk: panmb@halina.univ.gda.pl (Marek Bednarczyk) beeson: beeson@ucscc.ucsc.edu (Michael Beeson) beigel: beigel-richard@cs.yale.edu (Richard Beigel) bellin: glb@dcs.edinburgh.ac.uk (Gian-Luigi Bellin) benson: dbenson@eecs.wsu.edu (David Benson) vanbenthem: johan@fwi.uva.nl (Johan.van Benthem) bergman: gbergman@math.berkeley.edu (George Bergman) bergstra: madelon@fwi.uva.nl (Jan Bergstra) berman: u10391@uicvm.bitnet (Joel Berman) berry: berry@cma.cma.fr (Gerard Berry) betti: renbet@ipmma1.polimi.it (Renato Betti) bhadhuri: pbhaduri@cs2.cs.wsu.edu (Purandar Bhadhuri) bier: eric_bier.parc@xerox.com (Eric Bier) bigelow: bigelow@mala.bc.ca (David Bigelow) birtwistle: graham@cpsc.ucalgary.ca (Graham Birtwistle) blair: ziggy@hx.lcs.mit.edu (Michael Blair) blass: ablass@umich.edu (Andreas Blass) bbloom: bard@cs.cornell.edu (Bard Bloom) sbloom: bloom@sparc1.stevens-tech.edu (Steve Bloom) lblum: lblum@ernie.berkeley.edu (Lenore Blum) mblum: blum@ernie.berkeley.edu (Manuel Blum) blute: blute@triples.math.mcgill.ca (Richard Blute) vanemdeboas: pveb@cwi.nl (Peter.van.Emde Boas) boehm: boehm.pa@xerox.com (Hans Boehm) boerger: reinhard.boerger@fernuni-hagen.de (Reinhard Boerger) bonacina: bonacina@sbcs.sunysb.edu (M.Paola Bonacina) boolos: boolos@athena.mit.edu (George Boolos) borceux: borceux@agel.ucl.ac.be (Francis Borceux) jborwein: jborwein@cs.dal.ca (Jon Borwein) pborwein: pborwein@cs.dal.ca (Peter Borwein) borzyszkowski: panab@halina.univ.gda.pl (Andrzej Borzyszkowski) bouchard: eomsg@acadvm1.uottawa.ca (Monique Bouchard) boyer: boyer@cli.com (Bob Boyer) bracho: bracho@unamvm1.bitnet (Felipe Bracho) brauner: tor@daimi.aau.dk (Torben Brauner) breazu: val@cis.upenn.edu (Val Breazu-Tannen) breen: breen@math.univ-paris13.fr (Larry Breen) brink: cbrink@maths.uct.ac.za (Chris Brink) brinkman: mabrink@nyx.uni-konstanz.de (Hans-Berndt Brinkman) britz: brtkat01@ucthpx.uct.ac.za (Katarina Britz) brock: shb@sys.uea.ac.uk (Simon Brock) brookes: brookes@b.gp.cs.cmu.edu (Steve Brookes) cbrown: carolynb@cogs.susx.ac.uk (Carolyn Brown) rbrown: r.brown@vaxa.bangor.ac.uk (Ronnie Brown) broy: broy@informatik.tu-muenchen.de (Manfred Broy) bruce: kim@cs.williams.edu (Kim Bruce) brunner: hbrunner@mun.bitnet (Herman Brunner) buckland: richardb@macadam.mpce.mq.edu.au (Richard Buckland) debukh: ecomail@vms2.uni-c.dk (Per.de Bukh) bullejos: mbullejos@ugr.es (Manuel Bullejos) buneman: peter@cis.upenn.edu (Peter Buneman) bunge: bunge@triples.math.mcgill.ca (Marta Bunge) burroni: burroni@mathp7.jussieu.fr (Albert Burroni) burstall: rb@dcs.edinburgh.ac.uk (Rod Burstall) buss: sbuss@cs.ucsd.edu (Sam Buss) cannon: cannon_j@maths.su.oz.au (John Cannon) carboni: carboni@vmimat.mat.unimi.it (Aurelio Carboni) cardelli: luca@src.dec.com (Luca Cardelli) carpenter: carp@lcl.cmu.edu (Bob Carpenter) carr: carrdm@snyplaba.bitnet (Donna Carr) carrasco: mcarrasco@ugr.es (Pilar Carrasco) carter: nicola@mcgill1.bitnet (Nicola Carter) cartwright: cork@rice.edu (Corky Cartwright) casley: casley@cs.stanford.edu (Ross Casley) castellini: g-castellini@upr1.upr.cun.edu (G. Castellini) cerioli: cerioli@disi.unige.it (Maura Cerioli) chandra: ashok@watson.ibm.com (Ashok Chandra) chase: chase@math.cornell.edu (Stephen Chase) chen: uhchen@uxa.ecn.bgu.edu (Andy Chen) chinnici: chinnici@hp2.sm.dsi.unimi.it (Roberto Chinnici) chisala: chisala@mango.apc.org (B.P. Chisala) 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) clark: clarkd%snynewvm.bitnet@cunyvm.cuny.edu (David Clark) clarke: clarke@a.cs.cmu.edu (Ed Clarke) clote: clote@bcuxs2.bc.edu (Peter Clote) cockett: robin@cpsc.ucalgary.ca (Robin Cockett) cocquand: coquande@margaux.inria.fr (Thierry Cocquand) cohen: avrac@computer-lab.cambridge.ac.uk (Avra Cohen) cohn: cohnl@citadel.edu (Leslie Cohn) comer: comers@citadel.bitnet (Stephen Comer) rcooper: cooper@cogsci.edinburgh.ac.uk (Robin Cooper) scooper: cooper@top.cis.syr.edu (Steve Cooper) coppey: coppey@mathp7.jussieu.fr (Luc Coppey) cosmadakis: stavros@saul.cis.upenn.edu (Stavros Cosmadakis) cowen: mthmjc@ubvms.bitnet (Mike Cowen) crans: crans@math.ruu.nl (Sjoerd Crans) crew: crew@cs.stanford.edu (Roger Crew) crole: rlc@doc.imperial.ac.uk (Roy Crole) crossley: jnc@bruce.cs.monash.edu.au (John Crossley) crow: crow@csl.sri.com (Judy Crow) cruciani: cruciani@vaxrma.infn.it (Rosanna Cruciani) cubric: cubric@triples.math.mcgill.ca (Djordje Cubric) curien: curien@dmi.ens.fr (Pierre-Louis Curien) darondeau: philippe.darondeau@irisa.fr (Philippe Darondeau) 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) dershowitz: nachum@cs.uiuc.edu (Nachum Dershowitz) desharnis: desharn@ift.ulaval.ca (Jules Desharnais) diaconescu: rdcbb@cunyvm.bitnet (Radu Diaconescu) diekert: diekert@informatik.tu-muenchen.de (Volker Diekert) diers: diers@frcitl81.bitnet (Yves Diers) doh: doh@ksuvax1.cis.ksu.edu (Kyung-Goo Doh) dolan: v088kj6a@ubvms.cc.buffalo.edu (James Dolan) dong: xdong@clid.yorku.ca (Xiaomin Dong) doob: mdoob@ccu.umanitoba.ca (Michael Doob) dragalin: h2848dra@ella.hu (? Dragalin) 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@ruc.dk (Hans Dybkjaer) edalat: ae@doc.ic.ac.uk (Abbas Edalat) ehlers: map010@bangor.ac.uk (Philip Ehlers) ehresmann: ehres@mathp7.jussieu.fr (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) engeler: engeler@math.ethz.ch (Erwin Engeler) erne: aberne@dhvrrzn1.uni-hannover.dbp.de (Marcel Erne) ernst: mernst@theory.lcs.mit.edu (Michael Ernst) fagin: fagin@almaden.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) feit: p_feit@utpb.pb.utexas.edu (Paul Feit) feldman: d_feldman@unhh.bitnet (David Feldman) ferguson: mike@tel.inrs.cdn (Michael Ferguson) ferreirim: mimafer@ptearn.bitnet (Isabel Ferreirim) fiedorowicz: zigf@mps.ohio-state.edu (Zbigniew Fiedorowicz) finkelstein: stacy@saul.cis.upenn.edu (Stacy Finkelstein) fischer: fischer-michael@cs.yale.edu (Mike Fischer) fitting: mlflc@cunyvm.bitnet (Melvin Fitting) floyd: floyd@cs.stanford.edu (Bob Floyd) font: font@cerber.ub.es (Josep Font) foo: norman@cs.su.oz.au (Norman Foo) fourman: mikef@dcs.edinburgh.ac.uk (Michael Fourman) fox: fox@triples.math.mcgill.ca (Thomas Fox) freese: ralph@math.hawaii.edu (Ralph Freese) frei: bitnet.arfr@ubcmtsg (Armin Frei) freire: freire@seins.santiago.usc.es (J.L. Freire) freyd: pjf@saul.cis.upenn.edu (Peter Freyd) pamfreyd: pam@linc.cis.upenn.edu (Pam Freyd) fried: efried@ludens.elte.hu (Ervin Fried) fritsch: ug143cb@sunmail.lrz-muenchen.de (Rudolph Fritsch) fukushima: fukushim@cpsc.ucalgary.ca (Tom Fukushima) funk: jfunk@morgan.ucs.mun.ca (Jonathan Funk) fusco: sfusco@clid.yorku.ca (Sandro Fusco) gago: alzzs002@seins.santiago.usc.es (Felipe Gago) gaifman: gaifman@humus.huji.ac.il (Haim Gaifman) gaitan: gaitan@sun.com (Hernando Gaitan) gallier: jean@saul.cis.upenn.edu (Jean Gallier) ganong: ganong@vm1.yorku.ca (Richard Ganong) gehlot: gehlot@cis.udel.edu (Vijay Gehlot) gehrke: wgehrke@risc.uni-linz.ac.at (Wolfgang Gehrke) vangelder: avg@cs.ucsc.edu (Allen.Van Gelder) genrich: genrich@gmdzi.gmd.de (Hartmann Genrich) geramita: anthony.v.geramita@queensu.ca (Anthony Geramita) gerstenhaber: gersten@penndrls.bitnet (Murray Gerstenhaber) gerth: wsinrobg@eutrc3.urc.tue.nl (Rob Gerth) ghelli: ghelli@di.unipi.it (Giorgio Ghelli) ghilardi: ghilardi@imiucca.csi.unimi.it (Silvio Ghilardi) girard: girard@margaux.inria.fr (Jean-Yves Girard) givant: gluscha@mills.edu (Steve Givant) vanglabbeek: rvg@cs.stanford.edu (Rob.van Glabbeek) glenn: glenn@cua.edu (Paul Glenn) goetz: abe@cartan.math.nd.edu (Abraham Goetz) goguen: joseph.goguen@prg.oxford.ac.uk (Joseph Goguen) golasinski: mg001@pltumk11.bitnet (Marek Golasinski) bgoldberg: goldberg@cs.nyu.edu (Ben Goldberg) goldblatt: rob@math.vuw.ac.nz (Rob Goldblatt) goltz: gf1018@dbngmd21.bitnet (Ulla Goltz) goodaire: edgar@munucs.mun.ca (Edgar Goodaire) goodloe: agoodloe@gmuvax2.gmu.edu (Al Goodloe) gordon: gordon@euclid.math.temple.edu (Robert Gordon) grandis: grandis@cisi.unige.it (Marco Grandis) gratzer: gratzer@ccm.umanitoba.ca (George Gratzer) gray: gray@math.uiuc.edu (John Gray) grove: grove@cs.stanford.edu (Adam Grove) grunenfelder: luzius@cs.dal.ca (Luzius Grunenfelder) gruska: gruska@informatik.uni-hamburg.de (Jozef Gruska) guessarian: ig@litp.ibp.fr (Irene Guessarian) guitart: guitart@mathp7.jussieu.fr (Rene Guitart) gunawardena: jhcg@hplb.hpl.hp.com (Jeremy Gunawardena) 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) haeberer: armando@inf.puc-rio.br (Armando Haeberer) halmos: phalmos@scuacc.scu.edu (Paul Halmos) dhalpern: jdan@sun.com (Dan Halpern) jhalpern: halpern@almaden.ibm.com (Joe Halpern) hanna: fkh@ukc.ac.uk (Keith Hanna) hardie: hardieka@uctvax.uct.ac.za (Kieth Hardie) harel: harel@wisdom.weizmann.ac.il (David Harel) harland: jah@mullauna.cs.mu.oz.au (James Harland) harper: rwh@cs.cmu.edu (Robert Harper) hart: wiawkph@dutrun2.tudelft.nl (Klaas Hart) haveraaen: magne.haveraaen@ii.uib.no (Magne Haveraaen) hebert: mhebert@mat.ulaval.ca (Michel Hebert) heckmann: heckmann@cs.uni-sb.de (Reinhold Heckmann) heggie: heggie@cad.uccb.ns.ca (Murray Heggie) hennessy: matthewh@cogs.sussex.ac.uk (Matthew Hennessy) henriksen: henriksen@hmcvax.claremont.edu (Mel Henriksen) henzinger: tah@cs.stanford.edu (Tom Henzinger) herrmann: herrmann@mathematik.th-darmstadt.de (Christian Herrmann) herz: herz@gauss.math.mcgill.ca (Carl Herz) hill: whill@netcom.com (Walt Hill) hillebrand: ggh@cs.brown.edu (Gerd Hillebrand) hindley: j.r.hindley@swansea.ac.uk (Roger Hindley) hoare: julie@prg.oxford.ac.uk (Tony Hoare) hodgson: bhodgson@vm1.ulaval.ca (Bernard Hodgson) hoehnke: gabi@opal.cs.tu-berlin.de (Hans-Jurgen Hoehnke) hofmann: mxh@dcs.ed.ac.uk (Martin Hofmann) honsell: honsell@uduniv.cineca.it (Furio Honsell) hoofman: raymond@cs.ruu.nl (Raymond Hoofman) hook: hook@cse.ogi.edu (James Hook) hopcroft: jeh@cs.cornell.edu (John Hopcroft) howlett: 72740.2237@compuserve.com (Chris Howlett) hsiang: hsiang@sbcs.sunysb.edu (Jieh Hsiang) hu: hhu@mathstat.yorku.ca (Hong.de Hu) hudak: hudak@cs.yale.edu (Paul Hudak) huet: huet@inria.inria.fr (Gerard Huet) hunsaker: ga3600@siucvmb.bitnet (W. Hunsaker) husberg: nisse.husberg@hut.fi (Nisse Husberg) huth: mrh@tulmath.math.tulane.edu (Michael Huth) hyland: jmeh1@phoenix.cambridge.ac.uk (Martin Hyland) hyndman: jhyndman@cs.sfu.ca (Jennifer Hyndman) idziak: idziak@math.berkeley.edu (Pawel Idziak) isbell: mthisbel@ubvms.cc.buffalo.edu (John Isbell) iskander: awadisk@usl.edu (Awad Iskander) israel: israel@ai.sri.com (David Israel) istrail: sistrail@eagle.wesleyan.edu (Soren Istrail) ito: ito@ito.ecei.tohoku.junet (Takayasu Ito) iyer: ramu@cadsun.corp.mot.com (Ramu Iyer) jacobs: bjacobs@math.ruu.nl (Bart Jacobs) jaffar: joxan@watson.ibm.com (Joxan Jaffar) jagadeesan: rj2@doc.imperial.ac.uk (Radha Jagadeesan) james: wjames@adam.adelaide.edu.au (William James) janelidze: gjnel@imath.kheta.georgia.su (George Janelidze) janssen: theo@fwi.uva.nl (Theo Janssen) jardine: jardine@uwovax.uwo.ca (John Jardine) jay: cbj@socs.uts.edu.au (Barry Jay) jeffrey: alan.jeffrey@prg.oxford.ac.uk (Alan Jeffrey) jenkins: maj@qucis.bitnet (Mike Jenkins) jezek: jarda@math.hawaii.edu (Jaroslav Jezek) jibladze: jib@imath.kheta.georgia.su (Mamuka Jibladze) mjohnson: mike@macadam.mpce.mq.edu.au (Mike Johnson) pjohnson: pjohnson@eagle.wesleyan.edu (Paul Johnson) jonsson: jonsson@athena.cas.vanderbilt.edu (Bjarni Jonsson) jouvelot: jouvelot@ensmp.fr (Pierre Jouvelot) joyal: joyal@math.uqam.ca (Andre Joyal) joyce: djoyce@ollie.clarku.edu (David Joyce) jung: jung@mathematik.th-darmstadt.de (Achim Jung) kahn: kahn@mirsa.inria.fr (Gilles Kahn) kane: kane@uwovax.uwo.ca (Richard Kane) kanellakis: pck@cs.brown.edu (Paris Kanellakis) kao: kao@iuvax.cs.indiana.edu (Ming Kao) kapranov: kapranov@mssun7.msi.cornell.edu (Mikhail Kapranov) karp: karp@ernie.berkeley.edu (Dick Karp) kasangian: kasan@vmimat.mat.unimi.it (Stefano Kasangian) katsov: katsov@hanover.edu (Yefim Katsov) kearnes: kearnes@fenris.claremont.edu (Keith Kearnes) kelly: kelly_m@maths.su.oz.au (Max Kelly) kennaway: jrk@sys.uea.ac.uk (Richard Kennaway) kennison: jkennison@clarku (John Kennison) kent: rekent@ualr.edu (Robert Kent) kfoury: kfoury@bu-cs.bu.edu (Dennis Kfoury) kieboom: rkieboom@tena2.vub.ac.be (Rudger Kieboom) kiehn: kiehn@informatik.tu-muenchen.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) knobel: andreas@etl.go.jp (Andreas Knobel) knutson: allenk@ugcs.caltech.edu (Allan Knutson) kochman: kochman@nexus.yorku.ca (Stanley Kochman) kock: matak@mi.aau.dk (Anders Kock) kolaitis: kolaitis@cs.ucsc.edu (Phokion Kolaitis) kondoh: kondoh@harl.hitachi.co.jp (Hidetaka Kondoh) koslowski: aberne@dhvrrzn1.uni-hannover.d400.de (Juergen Koslowski) kotov: kotov@hplkotov.hpl.hp.com (Vadim Kotov) kozen: kozen@cs.cornell.edu (Dexter Kozen) kwiatkowska: mzk@leicester.ac.uk (Marta Kwiatkowska) labella: labella@sci.uniroma1.it (Anna Labella) labute: labute@gauss.math.mcgill.ca (John Labute) ladkin: ladkin@icsib8.berkeley.edu (Peter Ladkin) ladner: ladner@cs.washington.edu (Richard Ladner) lafont: lafont@dmi.ens.fr (Yves Lafont) lair: lair@mathp7.jussieu.fr (Christian Lair) lamarche: gfl@doc.ic.ac.uk (Francois Lamarche) lambe: lambe@math.ethz.ch (Larry Lambe) lambek: lambek@triples.math.mcgill.ca (Joachim Lambek) lampe: lampe@kahuna.math.hawaii.edu (Bill Lampe) lamport: lamport@src.dec.com (Leslie Lamport) lassez: jll@watson.ibm.com (Jean-Louis Lassez) latch: dml@bklyncis.bitnet (Dana Latch) latting: latting@math.berkeley.edu (Chuck Latting) launchbury: jl@dcs.glasgow.ac.uk (John Launchbury) lawvere: mthfwl@ubvms.cc.buffalo.edu (Bill Lawvere) leavens: leavens@iastate.edu (Gary Leavens) leech: leech@westmont.edu (Jonathan Leech) leeney: stmt8015@iruccvax.ucc.ie (Mark Leeney) leivant: leivant@cs.indiana.edu (Daniel Leivant) lent: aflent@theory.lcs.mit.edu (Arthur Lent) levin: lnd@cs.bu.edu (Leonid Levin) levy: jean-jacques.levy@inria.fr (Jean-Jacques Levy) lewin: rlewin@mat.puc.cl (Renato Lewin) liao: aliao@eagle.wesleyan.edu (Andrew Liao) libkin: libkin@saul.cis.upenn.edu (Leonid Libkin) lifschitz: lifschitz@cs.stanford.edu (Vladimir Lifschitz) lilius: jli@dione.hut.fi (Johan Lilius) lincoln: lincoln@cs.stanford.edu (Pat Lincoln) lindemann: lindemann@spint.compuserve.com (Ina Lindemann) linton: flinton@eagle.wesleyan.edu (Fred Linton) lippincott: lippin@math.berkeley.edu (Tom Lippincott) lipton: lipton@saul.cis.upenn.edu (Jim Lipton) loader: loader@maths.oxford.ac.uk (Ralph Loader) 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) macallester: dam@ai.mit.edu (David Macallester) maccaull: maccaull@essex.stfx.ca (Wendy MacCaull) macdonald: johnm@math.ubc.ca (John MacDonald) macleod: richardm@kean.ucs.mun.ca (Richard MacLeod) maclane: saunders@math.uchicago.edu (Saunders Mac_Lane) mackie: im@doc.ic.ac.uk (Ian Mackie) macon: nmacon@nsf.gov (Nat Macon) macqueen: macqueen@research.att.com (David Macqueen) maddux: maddux@iastate.edu (Roger Maddux) madhav: madhav@neon.stanford.edu (Neel Madhav) mahmood: arshad@dcs.edinburgh.ac.uk (H. Mahmood) main: main@boulder.colorado.edu (Michael Main) majid: shm10@phx.cam.ac.uk (Shahn Majid) makkai: makkai@triples.math.mcgill.ca (Michael Makkai) manes: manes@math.umass.edu (Ernie Manes) manna: manna@cs.stanford.edu (Zohar Manna) margolis: stu@lovelace.unl.edu (Stu Margolis) marki: h1133mar@huella.bitnet (Laszlo Marki) marmolejo: marmol@cs.dal.ca (Francisco Marmolejo) marshall: marshacd@snypotva.potsdam.edu (Charlie Marshall) marti-oliet: narciso@csl.sri.com (Narciso Marti-Oliet) martini: martini@di.unipi.it (Simone Martini) mathieu: momathie@mathp7.jussieu.fr (Monique Mathieu) mauri: mauri@hermes.dsi.unimi.it (Giancarlo Mauri) mawanda: mawanda@mango.apc.org (M.W. Mawanda) mccoll: wfm@prg.oxford.ac.uk (Bill McColl) jmckay: mckay@conu1.bitnet (John McKay) wmckay: wendy@cc.umontreal.ca (Wendy McKay) mclarty: cxm7@po.cwru.edu (Colin McLarty) mcnulty: mcnulty@math.scarolina.edu (George McNulty) mcrobbie: mam@arp.anu.edu.au (Michael McRobbie) meakin: meakin@hoss.unl.edu (John Meakin) measor: ndm@mcs.le.ac.uk (Nick Measor) meloni: meloni@imiucca.unimi.it (Gian.Carlo Meloni) melton: austin@cis.ksu.edu (Austin Melton) mercouroff: nm@cs.brandeis.edu (Nicolas Mercouroff) meseguer: meseguer@csl.sri.com (Jose Meseguer) meyer: meyer@theory.lcs.mit.edu (Albert Meyer) milner: rm@dcs.edinburgh.ac.uk (Robin Milner) mints: mints@csli.stanford.edu (Grigori Mints) mislove: mwm@tulmath.math.tulane.edu (Michael Mislove) misra: misra@cs.utexas.edu (Jay Misra) mitchell: jcm@cs.stanford.edu (John Mitchell) miyoshi: miyoshi@slab.sfc.keio.ac.jp (Hiroyuki Miyoshi) mochnacki: stefan@centaur.astro.utoronto.ca (Stefan Mochnacki) moerdijk: moerdijk@math.ruu.nl (Ieke Moerdijk) moggi: moggi@disi.unige.it (Eugenio Moggi) moller: fm@dcs.edinburgh.ac.uk (Faron Moller) molnar: molnar@math.macalstr.edu (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) moshier: mam@pic.ucla.edu (Drew Moshier) moss: lmoss@ucs.indiana.edu (Larry Moss) mosses: pdmosses@daimi.aau.dk (Peter Mosses) muller: muller@harvard.edu (Robert Muller) mulry: psm@dcs.edinburgh.ac.uk (Phil Mulry) mulvey: c.j.mulvey@cluster.sussex.ac.uk (Chris Mulvey) mumford: mumford@zariski.harvard.edu (David Mumford) murphy: david@gmdzi.gmd.de (David Murphy) murthy: murthy@cs.cornell.edu (Chet Murthy) murty: murty@gauss.math.mcgill.ca (Ram Murty) narendran: dran@cs.albany.edu (Paliath Narendran) nation: nation@kahuna.math.hawaii.edu (James.B. Nation) nelson: nealn@cse.ogi.edu (Neal Nelson) nerode: nerode@mssun6.msi.cornell.edu (Anil Nerode) nickau: nickau@hrz.uni-siegen.de (Hanno Nickau) nico: nico@csuhayward.edu (William Nico) denicola: denicola@icnucevm.cnuce.cnr.it (Rocco.De Nicola) niefield: niefiels@gar.union.edu (Susan Niefield) nongxa: nongxa@math.harvard.edu (Loyiso Nongxa) nowakowski: rjn@cs.dal.ca (Richard Nowakowski) oates-williams: sw@maths.uq.oz.au (Sheila Oates-Williams) ohearn: ohearn@top.cis.syr.edu (Peter Ohearn) ohori: ohori@okilab.oki.co.jp (Atsushi Ohori) okada: okada@concour.cs.concordia.ca (Mitsu Okada) oles: oles@watson.ibm.com (Frank Oles) ong: chlo1@cl.cam.ac.uk (Luke Ong) oosten: oosten@math.ruu.nl (J.van Oosten) orlowska: orlowska@maths.uct.ac.za (Ewa Orlowska) orzech: orzechm@qucdn.bitnet (Morris Orzech) otto: otto@triples.math.mcgill.ca (Jim Otto) overbeek: overbeek@anl-mcs.arpa (Russ Overbeek) depaiva: valeria.paiva@cl.cam.ac.uk (Valeria.de Paiva) palfy: h1134pal@huella.bitnet (P. Palfy) palmquist: 90066900660.1050@compuserve.com (Paul Palmquist) 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.cuny.edu (Rohit Parikh) parker: stott@cs.ucla.edu (Stott Parker) paseman: paseman@math.berkeley.edu (Gerhard Paseman) mpaterson: msp@dcs.warwick.ac.uk (Mike Paterson) rpaterson: rap@doc.ic.ac.uk (Ross Paterson) paulson: lcp@cl.cam.ac.uk (Larry Paulson) pavlovic: pavlovic@triples.math.mcgill.ca (Dusko Pavlovic) pearson: jkp@ukc.ac.uk (Justin Pearson) peckhaus: volker.v.peckhaus@pc.philosophie.uni-erlangen.de (Volker Peckhaus) pedicchio: pedicchi@univ.trieste.it (Cristina Pedicchio) pelletier: jwpell@vm2.yorku.ca (Joan Pelletier) penon: penon@mathp7.jussieu.fr (Jean Penon) peters: stanley.peters@prg.ox.ac.uk (Stanley Peters) pettorossi: adp@irmiasi.rm.cnr.it (Alberto Pettorossi) pfenniger: mas034@vaxa.bangor.ac.uk (Markus Pfenniger) pfenning: frank.pfenning@cs.cmu.edu (Frank Pfenning) phillips: phillips@uvvm.bitnet (John Phillips) pierce: benjamin.pierce@cs.cmu.edu (Benli Pierce) pigozzi: pigozzi@iastate.edu (Don Pigozzi) pinter: pinter-shlomit@cs.yale.edu (Shlomit Pinter) pitt: dhp@mcs.surrey.ac.uk (David Pitt) pitts: ap@cl.cam.ac.uk (Andy Pitts) pixley: apixley@sif.claremont.edu (Alden Pixley) plaice: plaice@ift.ulaval.ca (John Plaice) plaisted: plaisted@cs.unc.edu (David Plaisted) platek: richard@oracorp.com (Richard Platek) platt: ccm.umanitoba.ca (Craig Platt) plotkin: gdp@dcs.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) pollara: pollara@csearn.bitnet (Victor Pollara) porst: porst@informatik.uni-bremen.de (Hans-E. Porst) porter: mas013@vaxc.bangor.ac.uk (Tim Porter) power: ajp@dcs.ed.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@mathp7.jussieu.fr (Alain Proute) pym: dpym@dcs.edinburgh.ac.uk (David Pym) quackenbush: qbush@ccu.umanitoba.ca (Bob Quackenbush) rabin: rabin@humus.huji.ac.il (Michael Rabin) rabinovich: alik@watson.ibm.com (Alexander Rabinovich) rachev: zarirach@bernoulli.ucsb.edu (Zari Rachev) raja: raja@tifrvax.bitnet (N. Raja) 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) remmel: remmel@kleene.ucsd.edu (Jeff Remmel) repin: repin@log.mian.su (Nikolai Repin) rewitzky: ingrid@oryx.mth.uct.ac.za (Ingrid Rewitzky) reyes: reyes@mathcn.umontreal.ca (Gonzalo Reyes) reynolds: john.reynolds@c.cs.cmu.edu (John Reynolds) riecke: riecke@theory.lcs.mit.edu (Jon Riecke) riemens: sriemens@vega.math.ualberta.ca (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: dale_rolfsen@mtsg.ubc.ca (Dale Rolfsen) roman: lr@doc.ic.ac.uk (Leopoldo Roman) romanowska: aroman@plwatu21.bitnet (Anna Romanowska) rosebrugh: rrosebrugh@macc2.mta.ca (Bob Rosebrugh) rosenthal: rosenthk@gar.union.edu (Kimmo Rosenthal) rosicky: rosicky@math.muni.cz (Jiri Rosicky) rosolini: rosolini@dima.unige.it (Pino Rosolini) rossello: dmifrl0@ps.uib.es (Cesc Rossello) rota: rota@math.mit.edu (Gian-Carlo Rota) rotman: rotman@symcom.math.uiuc.edu (Joseph Rotman) rounds: rounds@engin.umich.edu (Bill Rounds) rousseau: geo@leicester.ac.uk (George Rousseau) rovan: uniba!rovan@relay.eu.net (Branislav Rovan) rowan: rowan@garnet.berkeley.edu (W.H. Rowan) rozenberg: rozenber@rulcri.leidenuniv.nl (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.dgsca.unam.mx (Beatriz Rumbos) rus: rus@herky.cs.uiowa.edu (Theodor Rus) rutten: jan.rutten@cwi.nl (Jan Rutten) rydeheard: david@r3.cs.man.ac.uk (David Rydeheard) sain: h1468sai@ella.hu (Ildiko Sain) sakurai: a87480@tansei.cc.u-tokyo.ac.jp (Takafumi Sakurai) sankappanevar: sankah@snynewba.bitnet (Hanamantagouda.P. Sankappanevar) sannella: dts@dcs.edinburgh.ac.uk (Don Sannella) santas: santas@inf.ethz.ch (Philip Santas) sapir: msapir@hoss.unl.edu (Mark Sapir) saramago: matjoao%ptearn.bitnet@frmop11.cnusc.fr (Maria Saramago) saraswat: saraswat@parc.xerox.com (Vijay Saraswat) sassone: vladi@di.unipi.it (Vladimir Sassone) sato: schuko@sun4.cc.kyushu-u.ac.jp (Hiroyuki Sato) scedrov: andre@cis.upenn.edu (Andre Scedrov) schack: mthsds@ubvms.bitnet (Samuel Schack) schelter: wfs@cli.com (Bill Schelter) schmid: schmid@math-stat.unibe.ch (Jurg Schmid) gschmidt: schmidt@informatik.unibw-muenchen.de (Gunther Schmidt) jschmidt: jschmidt@daimi.dk (Jorn Schmidt) schroeppel: rcs@la.tis.com (Rich Schroeppel) heister: psh@hume.informatik.uni-tuebingen.de (Peter Schroeder-Heister) schumacher: dietmar@ace.acadiau.ca (Dietmar Schumacher) schwarze: rlewin@mat.puc.cl (Maria Schwarze) scollo: scollo@cs.utwente.nl (Giuseppe Scollo) scot: gyro-cs@zeta-soft.com (Burson Scot) dscott: dana.scott@proof.ergo.cs.cmu.edu (Dana Scott) pscott: scpsg@acadvm1.uottawa.ca (Phil Scott) seely: rags@triples.math.mcgill.ca (Robert Seely) seif: swseif01@ulkyvx.louisville.edu (Steven Seif) seldin: seldin@alcor.concordia.ca (Jonathan Seldin) seligman: jerry@phil.indiana.edu (Jerry Seligman) shankar: shankar@csl.sri.com (Natarajan Shankar) shapiro: udi@wisdom.weizmann.ac.il (Udi Shapiro) shieber: shieber@das.harvard.edu (Stuart Shieber) shields: m.shields@mcs.surrey.ac.uk (Mike Shields) sichler: sichler@ccm.umanitoba.ca (Jiri Sichler) sieber: sieber@cs.uni-sb.de (Kurt Sieber) isimon: is@ime.usp.br (Imre Simon) simons: simons@karlsruhe.gmd.de (Martin Simons) 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) gsmolka: smolka@dfki.uni-sb.de (Gert Smolka) ssmolka: sas@cs.sunysb.edu (Scott Smolka) soare: soare@gargoyle.uchicago.edu (Bob Soare) sobral: sobral@ciuc2.uc.rccn.pt (Manuela Sobral) sokolowski: panss@halina.univ.gda.pl (Stefan Sokolowski) spencer: dwights@cse.ogi.edu (Dwight Spencer) spooner: spoonerd@cpsc.ucalgary.ca (Dave Spooner) spreen: spreen@informatik.uni-siegen.de (Dieter Spreen) srinivas: srinivas@kestrel.edu (Yellamraju Srinivas) staples: staples@uqcspe.cs.uq.oz.au (John Staples) starchenko: starchen@cs.sfu.ca (Sergei Starchenko) stark: stark@cs.sunysb.edu (Eugene Stark) stasheff: jds@charlie.math.unc.edu (James Stasheff) steele: steele@think.com (Guy Steele) steiner: maths@vme.gla.ac.uk (Richard Steiner) stell: john@cs.kl.ac.uk (John Stell) stengel: i51bbvs@rz.unibw-muenchen.de (Bernhard.von Stengel) stewart: cstewart@watserv1.uwaterloo.ca (Cameron Stewart) stirling: cps@dcs.ed.ac.uk (Colin Stirling) stolboushkin: aps1@node.ias.msk.su (Alex Stolboushkin) mstone: mgstone@acs.ucalgary.ca (Mike Stone) astone: stone@math.ubc.ca (Art Stone) stoughton: allen@cis.ksu.edu (Allen Stoughton) stout: lnstout@uxh.cso.uiuc.edu (Lawrence Stout) strecker: strecker@math.ksu.edu (George Strecker) street: street@macadam.mpce.mq.edu.au (Ross Street) streicher: streiche@informatik.uni-muenchen.de (Thomas Streicher) stroup: rts@dcs.ed.ac.uk (Terry Stroup) subrahmanyam: ramesh@linc.cis.upenn.edu (Ramesh Subrahmanyam) subramanian: cayley@tifrvax.bitnet (P.S. Subramanian) suenderhauf: sunderhauf@mathematik.th-darmstadt.de (Philipp Suenderhauf) sun: ys4@mcs.le.ac.uk (Yong Sun) suppes: suppes@csli.stanford.edu (Pat Suppes) suzuki: dai@is.s.u-tokyo.ac.jp (Daisuke Suzuki) svensson: svensson@unixg.ubc.ca (Anders Svensson) swaminathan: swami@cs.dal.ca (S. Swaminathan) szabo: szabo@vax2.concordia.ca (Fred Szabo) szendrei: h1029sze@huella.bitnet (Agnes Szendrei) takayama: takayama@cs.ritsumei.ac.jp (Yukihide Takayama) talcott: clt@sail.stanford.edu (Carolyn Talcott) tatsuta: tatsuta@sato.riec.tohoku.ac.jp (Makoto Tatsuta) taubner: taubner@sdm.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) thiagarajan: pst@ssf.ernet.in (P.S. Thiagarajan) tholen: tholen@mathstat.yorku.ca (Walter Tholen) thompson: tierney@mipsmath.math.uqam.ca (Richard Thompson) thomson: tom@nw.stl.stc.co.uk (Tom Thomson) thurston: wpt@math.princeton.edu (Bill Thurston) tierney: tierney@math.uqam.ca (Myles Tierney) tischendorf: dc9m@mathematik.th-darmstadt.de (Michael Tischendorf) tiuryn: tiuryn@cs.bu.edu (Jerzy Tiuryn) tonks: map003@vaxa.bangor.ac.uk (Andy Tonks) trakhtenbrot: trakhte@math.tau.ac.il (Boris Trakhtenbrot) tranah: dt105@phoenix.cambridge.ac.uk (David Tranah) trnkova: trnkova@cspguk11.bitnet (Vera Trnkova) tschantz: tschantz@athena.cas.vanderbilt.edu (Steven Tschantz) tsuiki: tsuiki@kurims.kyoto-u.ac.jp (Hideki Tsuiki) turbak: lyn@zurich.ai.mit.edu (Franklyn Turbak) turi: turi@cwi.nl (Daniele Turi) urquhart: urquhart@ai.toronto.edu (Alasdair Urquhart) valeriote: matt@johnny.math.mcmaster.ca (Matthew Valeriote) valiente: dmigva0@ps.uib.es (Gabriel Valiente) vanosdol: d_vanosdol@unhh.unh.edu (Donovan Van.Osdol) vardi: vardi@almaden.ibm.com (Moshe Vardi) velinov: velinov@p39.f1.n721.z5.fidonet.org (Yuri Velinov) verity: dom@macadam.mpce.mq.edu.au (Dominic Verity) verwer: nico@cs.ruu.nl (Nico Verwer) vianu: vdvianu@ucsd.edu (Victor Vianu) vickers: sjv@doc.ic.ac.uk (Steve Vickers) vigna: vigna@pippo.sm.dsi.unimi.it (Sebastiano Vigna) vilcius: vilcius@clid.yorku.ca (Al Vilcius) vitanyi: paulv@cwi.nl (Paul Vitanyi) voevodsky: vladimir@math.harvard.edu (Vladimir Voevodsky) vogler: vogler@uni-augsburg.de (Walter Vogler) volkov: volkovm@math.urgu.e-burg.su (Michail Volkov) vovsi: vovsi@math.rutgers.edu (Samuel Vovsi) 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@dcs.glasgow.ac.uk (Philip Wadler) ewagner: wagner@watson.ibm.com (Eric Wagner) kwagner: kwagner@risc.uni-linz.ac.at (Kim Wagner) lwald: linda@math.ucla.edu (Linda Wald) dwald: wald@theory.lcs.mit.edu (David Wald) walicki: michal@eik.ii.uib.no (Michal Walicki) wallen: lw@prg.ox.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) weaver: weaver@math.berkeley.edu (Nick Weaver) cwells: cfw2@pop.cwru.edu (Charles Wells) bwells: wells@lynx.cs.usfca.edu (Benjamin Wells) wendt: wendt@cs.dal.ca (Michael Wendt) white: bwhite@inmet.inmet.com (Bill White) willard: puremath@math.waterloo.edu (Ross Willard) williams: ewilliam@kean.ucs.mun.ca (Ed Williams) winkler: winkler@csl.sri.com (Timothy Winkler) winskel: gwinskel@daimi.dk (Glynn Winskel) wirsing: wirsing@unipas.fmi.uni-passau.de (Martin Wirsing) wismath: wismaths@hg.uleth.ca (Shelly Wismath) rwood: rjwood@cs.dal.ca (Richard Wood) jwood: wood@math.berkeley.edu (Japheth 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@baqaqi.chi.il.us (La.Monte Yarroll) yetter: dyetter@math.ksu.edu (David Yetter) yoshida: yoshida@icot.or.jp (Kaoru Yoshida) yoshiki: yoshiki@etl.go.jp (Kinoshita Yoshiki) young: young@xx.lcs.mit.edu (Jonathan Young) zadori: h2865zad@huella.bitnet (Laszlo Zadori) zawadowski: zawado@mimuw.edu.pl (Marek Zawadowski) zenith: zenith@ensmp.fr (Steven Zenith) zhang: gqz@caen.engin.umich.edu (G.Q. Zhang) zimmerman: zimmerman@snlndro.cerf.fred.org (Ian Zimmerman) zocco: dean.zocco@klb (Meg Zocco) # # Groups # categories: categories@mta.bitnet (Category Theory) clics: clics@doc.ic.ac.uk (ESPRIT CLiCS project) ic-seminars: ic-theory-seminars@doc.ic.ac.uk (Imperial College) pssl: pssl@doc.ic.ac.uk (Peripatetic Seminar on Sheaves and Logic) synthetic: sdt-list@doc.ic.ac.uk (Synthetic Domain Theory) types: types@dcs.gla.ac.uk (Type Theory)