# Structures Directory -- Addresses of structure theorists, new format # Release 19.3, June 21, 2009 # Master copy: http://boole.stanford.edu/pub/structdir # Maintainer: Vaughan Pratt, pratt at cs.stanford.edu # # This is a directory of logicians, algebraists, and programming # linguists working primarily on structural problems in mathematics and # computer science. Updates to the list are by request only, I do not # actively solicit changes and new entries myself. # # It is organized as a Unix aliases file and may be appended directly to any # existing aliases file after substition of the ASCII symbol for at in place of # the second whitespace string. (Omission of that symbol should reduce # by at least epsilon the likelihood of the list's being harvested for spam. # The most recent release of this directory may be obtained at # any time by browsing to http://boole.stanford.edu/pub/structdir abadi: abadi soe.ucsc.edu (Martin Abadi) abiteboul: abitebou inria.inria.fr (Serge Abiteboul) abramsky: Samson.Abramsky comlab.ox.ac.uk (Samson Abramsky) aceto: luca cogs.sussex.ac.uk (Luca Aceto) aczel: petera cs.man.ac.uk (Peter Aczel) adamek: adamek tu-bs.de (Jiri Adamek) adams: useradms mtsg.ubc.ca (Bob Adams) adamsm: adamsm matrix.newpaltz.edu (Mick Adams) adaricheva: kira math.nsk.su (Kira Adaricheva) adelman: murray mpce.mq.edu.au (Murray Adelman) adler: ara lom1.math.yale.edu (Alan Adler) ageron: ageron univ-caen.fr (Pierre Ageron) agliano: agliano unisi.it (Paulo Agliano) agoston: agoston cs.elte.hu (Istvan Agoston) aiken: aiken cs.berkeley.edu (Alex Aiken) ait-kaci: hak hak@acm.org (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) altenkirch: alti cs.chalmers.se (Thorsten Altenkirch) amadio: amadio loria.fr (Roberto Amadio) ambler: sja4 mcs.le.ac.uk (Simon Ambler) ambos: ambos math.uni-heidelberg.de (Klaus Ambos-Spies) amnell: amnell klaava.helsinki.fi (Marko Amnell) andersen: nils diku.dk (Nils Andersen) arvasi: zarvasi ogu.edu.tr (Zekeriya Arvasi) fanderson: anderson bright.math.uoregon.edu (Frank Anderson) janderson: ma15 sdsumus.sdstate.edu (J.M. Anderson) andras: andras math-inst.hu (Adam Andras) andreka: andreka math-inst.hu (Hajnal Andreka) apt: apt cwi.nl (Krzystof Apt) arbib: arbib cs.usc.edu (Michael Arbib) ardeshir: ardeshir math.sharif.ac.ir (Mohammad Ardeshir) arnold: arnold geocub.greco-prog.fr (Andre Arnold) artemov: sergei artemov.mian.su (Sergei Artemov) arvind: arvind imsc.ernet.in ( Arvind) aschbacher: asch romeo.caltech.edu (Michael Aschbacher) asperti: andrea.asperti inria.fr (Andrea Asperti) astesiano: astes disi.unige.it (Egidio Astesiano) atkinson: atkinson math.toronto.edu (Derek Atkinson) avigad: avigad andrew.cmu.edu (Jeremy Avigad) avron: aa math.tau.ac.il (Arnon Avron) awodey: awodey cmu.edu (Steve Awodey) baaz: baaz logic.at (Matthias Baaz) bach: rene tech.ascom.ch (Rene Bach) backhouse: rolandb win.tue.nl (Roland Backhouse) baez: baez math.ucr.edu (John Baez) baier: baier informatik.uni-mannheim.de (Christel Baier) baker: kab math.ucla.edu (Kirby Baker) baker-finch: clem ise.canberra.edu.au (Clem Baker-Finch) balbiani: balbiani lipn.univ-paris13.fr (Philippe Balbiani) balcazar: balqui lsi.upc.es (Jose Balcazar) baranoff: sergei hm.iias.spb.su (Sergei Baranoff) baratella: baratell science.unitn.it (Stefano Baratella) barendregt: henk cs.kun.nl (Henk Barendregt) barr: barr math.mcgill.ca (Michael Barr) bartle: rgb math.ams.com (Bob Bartle) barwise: barwise phil.indiana.edu (Jon Barwise) basin: basin informatik.uni-freiburg.de (David Basin) bauldry: wmcb math.appstate.edu (Bill Bauldry) beck: beck math.cornell.edu (Jon Beck) beckmann: arnold.beckmann math.uni-muenster.de (Arnold Beckmann) bednarczyk: m.bednarczyk ipipan.gda.pl (Marek Bednarczyk) beeson: beeson ucscc.ucsc.edu (Michael Beeson) bellin: bellin dcs.qmul.ac.uk (Gian-Luigi Bellin) belyavskaya: 14bel mathem.moldova.su (G.B. Belyavskaya) benini: beninim dsi.unimi.it (Marco Benini) benkart: benkart math.wisc.edu (Georgia Benkart) 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: jberman uic.edu (Joel Berman) berry: berry cma.cma.fr (Gerard Berry) betti: renbet ipmma1.polimi.it (Renato Betti) beylin: ilya cs.chalmers.se (Ilya Beylin) 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 ai.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: rblute mathstat.uottawa.ca (Richard Blute) vanemdeboas: pveb cwi.nl (Peter_van_Emde Boas) bodi: bodibela tigris.klte.hu (Bela Bodi) boehm: boehm.pa xerox.com (Hans Boehm) boerger: reinhard.boerger fernuni-hagen.de (Reinhard Boerger) bojados: antoni lsi.upc.es (Antoni Bojados) bonacina: bonacina sbcs.sunysb.edu (M.Paola Bonacina) borceux: borceux agel.ucl.ac.be (Francis Borceux) borovik: borovik lanczos.ma.umist.ac.uk (Alexandre Borovik) jborwein: jborwein cs.dal.ca (Jon Borwein) pborwein: pborwein cs.dal.ca (Peter Borwein) borzyszkowski: a.borzyszkowski ipipan.gda.pl (Andrzej Borzyszkowski) bouchard: eomsg acadvm1.uottawa.ca (Monique Bouchard) boyer: boyer cli.com (Bob Boyer) brandt: rolf.brandt gasunie.de (Rolf Brandt) rbrandt: rdb algrotopoi.de (Rolf Brandt) brauner: tor daimi.aau.dk (Torben Brauner) breazu: val cis.upenn.edu (Val Breazu-Tannen) bredikhin: vapr scnit.saratov.su ( Bredikhin) breen: breen math.univ-paris13.fr (Larry Breen) brendle: brendle pascal.seg.kobe-u.ac.jp (Jorg Brendle) brink: cbrink maths.uct.ac.za (Chris Brink) britz: britzk unisa.ac.za (Katarina Britz) brock: shb sys.uea.ac.uk (Simon Brock) brookes: brookes b.gp.cs.cmu.edu (Steve Brookes) brooks: rbrooks abacus.bates.edu (Robin Brooks) cbrown: carolynb cogs.susx.ac.uk (Carolyn Brown) rbrown: ronnie.profbrown btinternet.com (Ronnie Brown) broy: broy informatik.tu-muenchen.de (Manfred Broy) bruce: kim cs.williams.edu (Kim Bruce) brunner: hbrunner kean.ucs.mun.ca (Herman Brunner) bruns: bruns mcmail.cis.mcmaster.ca (Guenter Bruns) bucalo: bucalo disi.unige.it (Anna Bucalo) buckland: richardb mpce.mq.edu.au (Richard Buckland) bukatin: bukatin cs.brandeis.edu (Michael Bukatin) debukh: ecomail vms2.uni-c.dk (Per_de Bukh) bullejos: bullejos goliat.ugr.es (Manuel Bullejos) bulmanfleming: sbulman mach1.wlu.ca (Sydney Bulman-Fleming) buneman: peter cis.upenn.edu (Peter Buneman) bunge: bunge math.mcgill.ca (Marta Bunge) burdick: bburdick rwu.edu (Bruce Burdick) burmeister: burmeister mathematik.tu-darmstadt.de (Peter Burmeister) burroni: burroni mathp7.jussieu.fr (Albert Burroni) buss: sbuss cs.ucsd.edu (Sam Buss) calugareanu: calu math.ubbcluj.ro (Bobby Calugareanu) cannon: cannon_j maths.usyd.edu.au (John Cannon) carboni: aurelio.carboni uninsubria.it (Aurelio Carboni) cardelli: luca luca.demon.co.uk (Luca Cardelli) carpenter: carp lcl.cmu.edu (Bob Carpenter) carrasco: mcarrasco ugr.es (Pilar Carrasco) cartwright: cork rice.edu (Corky Cartwright) casley: casley cs.stanford.edu (Ross Casley) castellani: ic light.cma.fr (Illaria Castellani) castellini: g-castellini upr1.upr.cun.edu (G. Castellini) cerioli: cerioli disi.unige.it (Maura Cerioli) ceterchi: rc funinf.math.unibuc.ro (Rodica Ceterchi) 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) cholak: peter.cholak.1 nd.edu (Peter Cholak) chou: chou rascal.ics.utexas.edu (Shang-Ching Chou) chu: chu ace.bsd.uchicago.edu (Peter Chu) cirulis: jc lanet.lv (Janis Cirulis) clarke: emc cs.cmu.edu (Ed Clarke) clote: clote bcuxs2.bc.edu (Peter Clote) cockett: robin cpsc.ucalgary.ca (Robin Cockett) cohen: avrac computer-lab.cambridge.ac.uk (Avra Cohen) cohn: cohnl citadel.edu (Leslie Cohn) cojocaru: tyby roipb.cs.ipb.ro (Alina Cojocaru) comer: comers citadel.edu (Stephen Comer) bcooper: s.b.cooper leeds.ac.uk (Barry Cooper) rcooper: cooper cogsci.edinburgh.ac.uk (Robin Cooper) scooper: cooper top.cis.syr.edu (Steve Cooper) coppey: coppey mathp7.jussieu.fr (Laurent Coppey) coquand: coquand cs.chalmers.se (Thierry Coquand) cosmadakis: stavros saul.cis.upenn.edu (Stavros Cosmadakis) costantini: costanti dm.unito.it (Camillo Costantini) crans: sjoerd crans.fol.nl (Sjoerd Crans) crew: crew cs.stanford.edu (Roger Crew) crole: rlc3 mcs.le.ac.uk (Roy Crole) crossley: jnc bruce.cs.monash.edu.au (John Crossley) crow: crow csl.sri.com (Judy Crow) cruciani: cruciani sci.uniroma1.it (Rosanna Cruciani) cubric: cubric math.mcgill.ca (Djordje Cubric) curien: curien dmi.ens.fr (Pierre-Louis Curien) curtis: r.t.curtis bham.ac.uk (R.T. Curtis) czedli: czedli math.u-szeged.hu (Gabor Czedli) vandalen: dirk.vandalen phil.uu.nl (Dirk_van Dalen) damphousse: pdmphss cauchy.math.univ-tours.fr (Pierre Damphousse) darondeau: philippe.darondeau irisa.fr (Philippe Darondeau) davey: b.davey latrobe.edu.au (Brian Davey) davis: martind cs.berkeley.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: raduxin ibm.com (Radu Diaconescu) diekert: diekert informatik.tu-muenchen.de (Volker Diekert) diers: diers univ-valenciennes.fr (Yves Diers) diskin: diskin frame.riga.lv (Zinovy Diskin) 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) dorfer: g.dorfer tuwien.ac.at (Gerhard Dorfer) dorninger: d.dorninger tuwien.ac.at (Dietmar Dorninger) downey: rod.downey vuw.ac.nz (Rod Downey) dragalin: h2848dra ella.hu (? Dragalin) draskovicova: hilda.draskovicova fmph.uniba.sk (Hilda Draskovicova) duba: duba rice.edu (Bruce Duba) dubey: rdubey yoda.eecs.wsu.edu (Rakesh Dubey) dubuc: edubuc dm.uba.ar (Eduardo Dubuc) duggan: dduggan uwaterloo.ca (Dominic Duggan) dunn: dunn cs.indiana.edu (Mike Dunn) duran: juan inf.puc-rio.br (Juan Duran) duskin: duskin math.buffalo.edu (John Duskin) dybkjaer: dybkjaer ruc.dk (Hans Dybkjaer) edalat: ae doc.ic.ac.uk (Abbas Edalat) ehlers: map010 bangor.ac.uk (Philip Ehlers) ehresmann: ehres u-picardie.fr (Andree Ehresmann) ehrhard: ehrhard ens.fr (Thomas Ehrhard) ehrlich: ehrlich inria.inria.fr (Bobby Ehrlich) eigenthaler: gthaler email.tuwien.ac.at (Guenther Eigenthaler) vaneijck: jve cwi.nl (Jan_van Eijck) ellerman: david ellerman.org (David Ellerman) emerson: a.emerson cs.utexas.edu (Alan Emerson) enderton: hbe math.ucla.edu (Herb Enderton) engeler: engeler math.ethz.ch (Erwin Engeler) ermolaev: marat ksu.ras.ru (Jurij Ermolaev) erne: aberne dhvrrzn1.uni-hannover.dbp.de (Marcel Erne) ernst: mernst theory.lcs.mit.edu (Michael Ernst) fagin: fagin almaden.ibm.com (Ron Fagin) fasel: jhf lanl.gov (Joe Fasel) feferman: sf csli.stanford.edu (Sol Feferman) feit: p_feit utpb.pb.utexas.edu (Paul Feit) ferguson: mike tel.inrs.cdn (Michael Ferguson) 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: fitting alpha.lehman.cuny.edu (Melvin Fitting) flagg: flagg usm.maine.edu (Bob Flagg) fletcher: fletcher calvin.math.vt.edu (Peter Fletcher) floyd: floyd cs.stanford.edu (Bob Floyd) font: jmfont ub.edu (Josep Font) foo: norman cs.usyd.edu.au (Norman Foo) fortnow: fortnow cs.uchicago.edu (Lance Fortnow) fourman: mikef inf.ed.ac.uk (Michael Fourman) fox: fox math.mcgill.ca (Thomas Fox) freese: ralph math.hawaii.edu (Ralph Freese) 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: fritsch math.lmu.de (Rudolf Fritsch) fukushima: fukushim cpsc.ucalgary.ca (Tom Fukushima) funk: jfunk morgan.ucs.mun.ca (Jonathan Funk) furusawa: furusawa rifis.kyushu-u.ac.jp (Hitoshi Furusawa) fusco: sfusco clid.yorku.ca (Sandro Fusco) gabbay: dg doc.ic.ac.uk (Dov Gabbay) gago: felipe.gago 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) ganter: ganter math.tu-dresden.de (Bernhard Ganter) garcia: isabel inf.puc-rio.br (Isabel Garcia) gasarch: gasarch cs.umd.edu (Bill Gasarch) gates: gates_r maths.usyd.edu.au (Robbie Gates) gehlot: gehlot cis.udel.edu (Vijay Gehlot) mgehrke: gehrke maths.ox.ac.uk (Mai Gehrke) wgehrke: wgehrke risc.uni-linz.ac.at (Wolfgang Gehrke) genrich: genrich gmdzi.gmd.de (Hartmann Genrich) geramita: anthony.v.geramita queensu.ca (Anthony Geramita) gerstenhaber: mgersten mail.sas.upenn.edu (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) gil: angel.gil econ.upf.es (Angel Gil) girard: girard margaux.inria.fr (Jean-Yves Girard) givant: givant mills.edu (Steve Givant) vanglabbeek: rvg cs.stanford.edu (Rob_van Glabbeek) glass: amwg dpmms.cam.ac.uk (A.M.W. Glass) glenn: glenn cua.edu (Paul Glenn) goetz: abe cartan.math.nd.edu (Abraham Goetz) goguen: joseph.goguen prg.oxford.ac.uk (Joseph Goguen) golan: golan math.haifa.ac.il (Jonathan Golan) golasinski: marek mat.uni.torun.pl (Marek Golasinski) bgoldberg: goldberg cs.nyu.edu (Ben Goldberg) goldblatt: rob mcs.vuw.ac.nz (Rob Goldblatt) goltz: goltz informatik.uni-hildesheim.de (Ulla Goltz) goodaire: edgar munucs.mun.ca (Edgar Goodaire) goodloe: agoodloe delphi.com (Al Goodloe) gordon: gordon euclid.math.temple.edu (Robert Gordon) gore: rpg arp.anu.edu.au (Rajeev Gore) gormley: m.k.gormley qub.ac.uk (Michael Gormley) grandis: grandis dima.unige.it (Marco Grandis) gratzer: gratzer ms.umanitoba.ca (George Gratzer) gray: gray math.uiuc.edu (John Gray) gray: sgray calstatela.edu (Shirley Gray) greechie: greechie engr.latech.edu (Richard Greechie) griess: bob.griess math.lsa.umich.edu (Bob Griess) gritzner: gritzner informatik.tu.muenchen.de (Thomas Gritzner) grohe: martin.grohe mathematik.uni-freiburg.de (Martin Grohe) grove: grove cs.stanford.edu (Adam Grove) grunenfelder: luzius cs.dal.ca (Luzius Grunenfelder) gruska: gruska informatik.uni-hamburg.de (Jozef Gruska) grygiel: j.grygiel wsp.czest.pl (Joanna Grygiel) 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) hajime: machida math2.mori.hit-u.ac.jp (Machida Hajime) halmos: phalmos scuacc.scu.edu (Paul Halmos) dhalpern: jdan sun.com (Dan Halpern) jhalpern: halpern cs.cornell.edu (Joe Halpern) hanna: fkh ukc.ac.uk (Keith Hanna) hansoul: g.hansoul ulg.ac.be (Georges Hansoul) hardie: hardieka uctvax.uct.ac.za (Kieth Hardie) harel: harel wisdom.weizmann.ac.il (David Harel) harland: jah cs.rmit.edu.au (James Harland) harper: rwh cs.cmu.edu (Robert Harper) harrington: leo math.berkeley.edu (Leo Harrington) bhart: bradd billy.math.mcmaster.ca (Bradd Hart) khart: wiawkph dutrun2.tudelft.nl (Klaas Hart) hattensperger: claudia informatik.unibw-muenchen.de (Claudia Hattensperger) haveraaen: magne.haveraaen ii.uib.no (Magne Haveraaen) healy: mjhealy u.washington.edu (Michael Healy) hebert: mhebert acs.auc.eun.eg (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.cornell.edu (Tom Henzinger) herczog: ivo sun1.mathematik.uni-freiburg.de (I. Herczog) herrmann: herrmann mathematik.th-darmstadt.de (Christian Herrmann) hill: whill netcom.com (Walt Hill) hillebrand: ggh csi.forth.gr (Gerd Hillebrand) hindley: j.r.hindley swansea.ac.uk (Roger Hindley) hoare: julie prg.oxford.ac.uk (Tony Hoare) hodas: hodas cs.hmc.edu (Josh Hodas) hodges: w.hodges qmw.ac.uk (William Hodges) hodgson: bhodgson vm1.ulaval.ca (Bernard Hodgson) hoehnke: h.j.hoehnke t-online.de (Hans-Juergen Hoehnke) hofmann: mhofmann informatik.uni-muenchen.de (Martin Hofmann) honsell: honsell uduniv.cineca.it (Furio Honsell) hoofman: raymond cs.ruu.nl (Raymond Hoofman) hoogendijk: paulh win.tue.nl (Paul Hoogendijk) hoogewijs: albert.hoogewijs rug.ac.be (Albert Hoogewijs) hook: hook cse.ogi.edu (James Hook) hotzel: hotzel gmd.de (Eckehart Hotzel) howard: wahow uic.edu (William Howard) howlett: chowlett webpearls.com (Chris Howlett) hsiang: hsiang sbcs.sunysb.edu (Jieh Hsiang) hu: hongde math.upenn.edu (Hongde Hu) hu: hu math.uqam.ca (Hongde Hu) hudak: hudak cs.yale.edu (Paul Hudak) huet: huet inria.inria.fr (Gerard Huet) hughes: dominic cs.stanford.edu (Dominic Hughes) husberg: nisse.husberg hut.fi (Nisse Husberg) huth: huth cis.ksu.edu (Michael Huth) hyland: m.hyland dpmms.cam.ac.uk (Martin Hyland) hyndman: jhyndman cs.sfu.ca (Jennifer Hyndman) idziak: idziak math.berkeley.edu (Pawel Idziak) ihringer: 100774.1557 compuserve.com (Thomas Ihringer) isbell: ji2 eng.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) iturrioz: luisa lan1.univ-lyon1.fr (Luisa Iturrioz) iyer: iyerrm cig.mot.com (Ramu Iyer) jacobs: bjacobs cwi.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.queensu.ca (Mike Jenkins) jervell: herman.jervell ilf.uio.no (Herman Jervell) jezek: jarda math.hawaii.edu (Jaroslav Jezek) jibladze: jib imath.kheta.georgia.su (Mamuka Jibladze) johnson: jjohnson uh.edu (Johnny Johnson) mjohnson: mike mpce.mq.edu.au (Mike Johnson) pjohnson: johnson math.muni.cz (Paul Johnson) johnstone: ptj dpmms.cam.ac.uk (Peter Johnstone) jonsson: jonsson math.vanderbilt.edu (Bjarni Jonsson) jouvelot: jouvelot ensmp.fr (Pierre Jouvelot) joyal: joyal.andre uqam.ca (Andre Joyal) joyce: djoyce ollie.clarku.edu (David Joyce) jung: a.jung cs.bham.ac.uk (Achim Jung) kane: kane uwovax.uwo.ca (Richard Kane) kao: kao iuvax.cs.indiana.edu (Ming Kao) kapranov: kapranov mssun7.msi.cornell.edu (Mikhail Kapranov) karp: karp ernie.berkeley.edu (Dick Karp) karpova: karpova applmat.msk.su (Natalia Karpova) kasangian: kasan vmimat.mat.unimi.it (Stefano Kasangian) katsov: katsov hanover.edu (Yefim Katsov) kaup: wilhelm.kaup uni-tuebingen.de (Wilhelm Kaup) kearnes: kearnes fenris.claremont.edu (Keith Kearnes) keimel: keimel mathematik.tu-darmstadt.de (Klaus Keimel) kelly: maxk maths.usyd.edu.au (Max Kelly) kennaway: jrk sys.uea.ac.uk (Richard Kennaway) kennison: jkennison clarku.edu (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) kilp: mati math.ut.ee (M. Kilp) yoshiki: yoshiki ni.aist.go.jp (Yoshiki Kinoshita) klarlund: klarlund cs.cornell.edu (Nils Klarlund) kleisli: heinrich.kleisli unifr.ch (Heinrich Kleisli) klop: jwk cwi.nl (Jan Klop) knight: knight.1 nd.edu (Julia Knight) 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: kock mi.aau.dk (Anders Kock) koenigsmann: jochen.koenigsmann uni-konstanz.de (Jochen Koenigsmann) kolaitis: kolaitis cs.ucsc.edu (Phokion Kolaitis) kondoh: kondoh member.ams.org (Hidetaka Kondoh) kopperman: rdkcc cunyvm.cuny.edu (Ralph Kopperman) koslowski: koslowj iti.cs.tu-bs.de (Juergen Koslowski) kotov: kotov hplkotov.hpl.hp.com (Vadim Kotov) kovar: kovar dmat.fee.vutbr.cz (Martin Kovar) kozen: kozen cs.cornell.edu (Dexter Kozen) krapez: sasa mi.sanu.ac.yu (Aleksandar Krapez) kunzi: kunzi math-stat.unibe.ch (Hans-Peter Kunzi) kwiatkowska: cs.bham.ac.uk (Marta Kwiatkowska) labella: labella sci.uniroma1.it (Anna Labella) labute: labute math.mcgill.ca (John Labute) ladkin: ladkin rvs.uni-bielefeld.de (Peter Ladkin) ladner: ladner cs.washington.edu (Richard Ladner) lafont: lafont lmd.univ-mrs.fr (Yves Lafont) lair: lair mathp7.jussieu.fr (Christian Lair) lamarche: francois.lamarche loria.fr (Francois Lamarche) lambe: llambe caip.rutgers.edu (Larry Lambe) lambek: lambek math.mcgill.ca (Joachim Lambek) lampe: bill math.hawaii.edu (Bill Lampe) lamport: lamport src.dec.com (Leslie Lamport) larson: jal math.ufl.edu (Jean Larson) latting: latting math.berkeley.edu (Chuck Latting) lau: dietlinde.lau mathematik.uni-rostock.de (Dietlinde Lau) launchbury: jl cse.ogi.edu (John Launchbury) lawvere: mthfwl acsu.buffalo.edu (Bill Lawvere) leavens: leavens iastate.edu (Gary Leavens) leech: leech westmont.edu (Jonathan Leech) leedhamgreen: c.r.leedham-green qmw.ac.uk (Charles Leedham-Green) leeney: stmt8015 iruccvax.ucc.ie (Mark Leeney) lehmann: fritz cyc.com (Fritz Lehmann) leitgeb: hannes.leitgeb sbg.ac.at (Hannes Leitgeb) 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 research.bell-labs.com (Leonid Libkin) lifschitz: lifschitz cs.utexas.edu (Vladimir Lifschitz) lilius: jli dione.hut.fi (Johan Lilius) lincoln: lincoln csl.sri.com (Pat Lincoln) lindemann: lindemann spint.compuserve.com (Ina Lindemann) linton: flinton wesleyan.edu (Fred Linton) lippincott: lippin math.berkeley.edu (Tom Lippincott) lipton: lipton wesleyan.edu (James Lipton) loader: loader maths.oxford.ac.uk (Ralph Loader) longo: longo dmi.ens.fr (Giuseppe Longo) lopez: fidel info.unlp.edu.ar (Pablo Lopez) lord: hlord csupomona.edu (Harriet Lord) loui: mloui note.nsf.gov (Michael Loui) lubarsky: r_lubarsky acad.fandm.edu (Robert Lubarsky) luckham: dcl anna.stanford.edu (David Luckham) luo: zhaohui.luo durham.ac.uk (Zhaohui Luo) lynch: lynch holmes.lcs.mit.edu (Nancy Lynch) ma: qingming.ma cs.cmu.edu (Qingming Ma) maccaull: maccaull essex.stfx.ca (Wendy MacCaull) macdonald: johnm math.ubc.ca (John MacDonald) macleod: richardm kean.ucs.mun.ca (Richard MacLeod) macallester: dam ai.mit.edu (David Macallester) mack: mack ms.uky.edu (John Mack) mackie: mackie lix.polytechnique.fr (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) main: main boulder.colorado.edu (Michael Main) majid: shm10 phx.cam.ac.uk (Shahn Majid) makkai: makkai math.mcgill.ca (Michael Makkai) manes: manes math.umass.edu (Ernie Manes) manna: manna cs.stanford.edu (Zohar Manna) marchenkov: marchen applmat.msk.su (Sergey Marchenkov) margolis: stu lovelace.unl.edu (Stu Margolis) marki: marki math-inst.hu (Laszlo Marki) markowsky: markov maine.maine.edu (George Markowsky) marmolejo: quico matem.unam.mx (Francisco Marmolejo) marshall: marshacd snypotva.potsdam.edu (Charlie Marshall) marti-oliet: narciso dia.ucm.es (Narciso Marti-Oliet) martini: martini di.unipi.it (Simone Martini) marx: marx gaston.ccsom.uva.nl (Maarten Marx) masao: masa i.kyushu-u.ac.jp (Mori Masao) 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) mcintyre: angus maths.ed.ac.uk (Angus McIntyre) mckay: mckay cs.concordia.ca (John McKay) mckenzie: mckenzie math.vanderbilt.edu (Ralph McKenzie) mclarty: cxm7 po.cwru.edu (Colin McLarty) mcnulty: mcnulty math.sc.edu (George McNulty) mcrobbie: mcrobbie ovpit.ucs.indiana.edu (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) mikulas: szabolcs dcs.kcl.ac.uk (Szabolcs Mikulas) amili: amili cs.wvu.edu (Ali Mili) fmili: mili oakland.edu (Fatma Mili) miller: dale saul.cis.upenn.edu (Dale Miller) milne: milne cis.unisa.edu.au (George Milne) milner: rm135 cl.cam.ac.uk (Robin Milner) milnes: milnes uwo.ca (Paul Milnes) mints: mints csli.stanford.edu (Grigori Mints) mislove: mwm math.tulane.edu (Mike Mislove) mislove: mwm tulmath.math.tulane.edu (Michael Mislove) misra: misra cs.utexas.edu (Jay Misra) misra: misra postbox.csi.cuny.edu (Prabudh 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: F.G.Moller swansea.ac.uk (Faron Moller) molnar: molnar math.macalstr.edu (Richard Molnar) monro: monro_g maths.usyd.edu.au (Gordon Monro) montanari: ugo di.unipi.it (Ugo Montanari) demoor: oege.de.moor complab.ox.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 cs.bc.edu (Robert Muller) mulry: phil cs.colgate.edu (Phil Mulry) mulvey: c.j.mulvey 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 math.mcgill.ca (Ram Murty) mycielski: jmyciel euclid.colorado.edu (Jan Mycielski) narendran: dran cs.albany.edu (Paliath Narendran) nation: jb math.hawaii.edu (James_B. Nation) naumann: naumann cs.utexas.edu (David Naumann) nelson: nealn cse.ogi.edu (Neal Nelson) nemeti: nemeti math-inst.hu (Istvan Nemeti) nerode: anil polygon.math.cornell.edu (Anil Nerode) neumann: bhn102 phyvs0.anu.edu.au (B.H. Neumann) nickau: nickau hrz.uni-siegen.de (Hanno Nickau) nico: nico csuhayward.edu (William Nico) denicola: denicola icnucevm.cnuce.cnr.it (Rocco_De Nicola) niederkorn: p.niederkorn ulg.ac.be (Philippe Niederkorn) niefield: niefiels union.edu (Susan Niefield) nielson: fn daimi.aau.dk (Flemming Nielson) 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) ohlbach: ohlbach mpi-sb.mpg.de (Hans Ohlbach) ohori: ohori kurims.kyoto-u.ac.jp (Atsushi Ohori) okada: mitsu abelard.flet.mita.keio.ac.jp (Mitsu Okada) oles: oles watson.ibm.com (Frank Oles) ong: lo comlab.ox.ac.uk (Luke Ong) oosten: jvoosten daimi.aau.dk (Jap_van Oosten) orlowska: orlowska plearn.edu.pl (Ewa Orlowska) osterburg: james.osterburg uc.edu (James Osterburg) otto: quant mcs.com (Jim Otto) ovechkin: root mezon.altai.su (Boris Ovechkin) overbeek: overbeek anl-mcs.arpa (Russ Overbeek) depaiva: valeria.paiva cl.cam.ac.uk (Valeria_de Paiva) palfy: ppp math-inst.hu (Peter Palfy) palmquist: p.palmquist computer.org (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: dusko kestrel.edu (Dusko Pavlovic) pearson: justin docs.uu.se (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 (Jacques Penon) peters: stanley.peters prg.ox.ac.uk (Stanley Peters) peters: tpeters cse.uconn.edu (Thomas Peters) petersson: holger.petersson fernuni-hagen.de (Holger Petersson) pettorossi: adp irmiasi.rm.cnr.it (Alberto Pettorossi) pfenniger: mas034 vaxa.bangor.ac.uk (Markus Pfenniger) pfenning: frank.pfenning cs.cmu.edu (Frank Pfenning) pierce: benjamin.pierce cs.cmu.edu (Benli Pierce) pigozzi: dpigozzi iastate.edu (Don Pigozzi) pin: jean-eric.pin liafa.jussieu.fr (Jean-Eric Pin) pinchinat: sophie.pinchinat irisa.fr (Sophie Pinchinat) pinter: pinter-shlomit cs.yale.edu (Shlomit Pinter) pitt: dhp mcs.surrey.ac.uk (David Pitt) pitts: amp12 cl.cam.ac.uk (Andy Pitts) pixley: apixley hmc.edu (Alden Pixley) piziak: piziakr baylor.edu (Robert Piziak) plaice: plaice cse.unsw.edu.au (John Plaice) plaisted: plaisted cs.unc.edu (David Plaisted) platek: richard oracorp.com (Richard Platek) platt: platt cc.umanitoba.ca (Craig Platt) plotkin: gdp inf.ed.ac.uk (Gordon Plotkin) pnueli: amir wisdom.weizmann.ac.il (Amir Pnueli) pogel: apogel tiger.cc.oxy.edu (A. Pogel) poigne: poigne gmd.de (Axel Poigne) poirot: poirot boole.stanford.edu (Hercule Poirot) pollara: pollara iti.cs.tu-bs.de (Victor Pollara) ponizovskii: poni rgmi.spb.su (J.S. Ponizovskii) porst: porst informatik.uni-bremen.de (Hans-E. Porst) porter: t.porter bangor.ac.uk (Tim Porter) power: a.j.power bath.ac.uk (John Power) pratt: pratt cs.stanford.edu (Vaughan Pratt) prestel: alex.prestel uni-konstanz.de (Alex Prestel) priestley: hap vax.oxford.ac.uk (Hilary Priestley) prijatelj: andreja.prijatelj fmf.uni-lj.si (Andreja Prijately) probst: probst vax2.concordia.ca (David Probst) proute: ap mathp7.jussieu.fr (Alain Proute) pym: d.j.pym bath.ac.uk (David Pym) quackenbush: qbush cc.umanitoba.ca (Bob Quackenbush) queiroz: ruy di.ufpe.br (Ruy_de Queiroz) rabin: rabin humus.huji.ac.il (Michael Rabin) rachev: zarirach bernoulli.ucsb.edu (Zari Rachev) raja: raja tifr.res.in (N Raja) randall: randall elbereth.rutgers.edu (John Randall) raphael: raphael vax2.concordia.ca (Robert Raphael) ravelo: jnr comlab.ox.ac.uk (Jesus Ravelo) reibold: anatol.reibold gmx.de (Anatol Reibold) reisig: reisig informatik.hu-berlin.de (Wolfgang Reisig) 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) rice: mrice uts.cs.wesleyan.edu (Mike Rice) richmond: tom.richmond wku.edu (Tom Richmond) riecke: riecke research.att.com (Jon Riecke) riemens: sriemens vega.math.ualberta.ca (Sherman Riemenschneider) riguet: riguet noos.fr (Jacques Riguet) derijke: mdr wins.uva.nl (Maarten_De Rijke) ritter: er cl.cam.ac.uk (Eike Ritter) rival: rival csi.uottawa.ca (Ivan Rival) erobinson: edmundr dcs.qmw.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 alpha.im.pw.edu.pl (Anna Romanowska) rose: darose aol.com (David Rose) rosebrugh: rrosebrugh 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) roszkowskalech: barosz alpha.im.pw.edu.pl (Barbara Roszkowska-Lech) 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 crl.com (W.H. Rowan) rozenberg: rozenber rulcri.leidenuniv.nl (Grzegor Rozenberg) rozenfeld: ar alv.umd.edu (Azriel Rozenfeld) rudak: eler mimuw.edu.pl (Leszek Rudak) rudich: arie theory.lcs.mit.edu (Arie Rudich) rudie: rudie ee.queensu.ca (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) russling: russling informatik.uni-augsburg.de (Martin Russling) rutten: jan.rutten cwi.nl (Jan Rutten) rydeheard: david r3.cs.man.ac.uk (David Rydeheard) sain: sain math-inst.hu (Ildiko Sain) sakurai: sakurai math.s.chiba-u.ac.jp (Takafumi Sakurai) salas: ajrs goliat.ugr.es (Antonio Salas) salibra: salibra moo.dsi.unive.it (Antonino Salibra) salii: salii scnit.saratov.su (Viacheslav Salii) sampson: rsampson abacus.bates.edu (Richard Sampson) sandifer: sandifer wcsub.ctstateu.edu (Ed Sandifer) sandman: alison_sandman brown.edu (Alison Sandman) sannella: dts inf.ed.ac.uk (Don Sannella) santas: santas inf.ethz.ch (Philip Santas) sapir: msapir hoss.unl.edu (Mark Sapir) saraswat: saraswat parc.xerox.com (Vijay Saraswat) sassone: vladi di.unipi.it (Vladimir Sassone) sato: schuko sun4.cc.kyushu-u.ac.jp (Hiroyuki Sato) saxl: j.saxl pmms.cam.ac.uk (Jan Saxl) scedrov: andre cis.upenn.edu (Andre Scedrov) schein: bschein comp.uark.edu (Boris Schein) schelter: wfs cli.com (Bill Schelter) schlingloff: hs informatik.uni-bremen.de (Holger Schlingloff) schmid: schmid math-stat.unibe.ch (Jurg Schmid) gschmidt: schmidt informatik.unibw-muenchen.de (Gunther Schmidt) jschmidt: jschmidt daimi.dk (Jorn Schmidt) vschmitt: vs27 mcs.le.ac.uk (Vincent Schmitt) heister: psh hume.informatik.uni-tuebingen.de (Peter Schroeder-Heister) schroeppel: rcs la.tis.com (Rich Schroeppel) schumacher: dietmar ns.sympatico.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 cs.cmu.edu (Dana Scott) pscott: phil csi.uottawa.ca (Phil Scott) seda: aks bureau.ucc.ie (Anthony Seda) seely: rags math.mcgill.ca (Robert Seely) segerberg: krister.segerberg filosofi.uu.se (Krister Segerberg) seif: swseif01 ulkyvx.louisville.edu (Steven Seif) seldin: seldin alcor.concordia.ca (Jonathan Seldin) seligman: jerry phil.indiana.edu (Jerry Seligman) sequeira: mmargseq math.uminho.pt (Maria Sequeira) serembus: john.h.serembus widener.edu (John Serembus) serfati: serfati math.jussieu.fr (Michel Serfati) shankar: shankar csl.sri.com (Natarajan Shankar) shapiro: udi wisdom.weizmann.ac.il (Udi Shapiro) shelah: shelah math.huji.ac.il (Saharon Shelah) shieber: shieber das.harvard.edu (Stuart Shieber) shields: m.shields mcs.surrey.ac.uk (Mike Shields) shneerson: ecom info.asinet.ivanovo.su (L.M. Shneerson) shyamasundar: shyam tifrvax.tifr.res.in (R.K. Shyamasundar) 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) slapal: slapal kinf.fme.vutbr.cz (Josef Slapal) slifker: slifker svax.cs.cornell.edu (Michael Slifker) slobodova: anna centtech.com (Anna Slobodova) smaill: smaill aipna.edinburgh.ac.uk (Alan Smaill) small: nwnexus!cjsa!jeff uunet.uu.net (Jeffery Small) ssmith: scott cs.jhu.edu (Scott Smith) gsmolka: smolka dfki.uni-sb.de (Gert Smolka) ssmolka: sas cs.sunysb.edu (Scott Smolka) soare: soare cs.uchicago.edu (Bob Soare) sobral: sobral ciuc2.uc.rccn.pt (Manuela Sobral) sokolowski: sokolowski ipipan.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 cs.uq.oz.au (John Staples) starchenko: starchen cs.sfu.ca (Sergei Starchenko) stark: stark cs.sunysb.edu (Eugene Stark) stasheff: jds math.unc.edu (James Stasheff) steele: steele east.sun.com (Guy Steele) stefanescu: ghstef imar.ro (Gheorghe Stefanescu) 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 inf.ed.ac.uk (Colin Stirling) stohr: r.stohr umist.ac.uk (Ralph Stohr) stojmenovic: ivan csi.uottawa.ca (I. Stojmenovic) stolboushkin: aps1 node.ias.msk.su (Alex Stolboushkin) astone: stone math.ubc.ca (Art Stone) mstone: mgstone acs.ucalgary.ca (Mike Stone) stoughton: allen cis.ksu.edu (Allen Stoughton) stout: lstout titan.iwu.edu (Lawrence Stout) strecker: strecker math.ksu.edu (George Strecker) street: street mpce.mq.edu.au (Ross Street) streicher: streicher mathematik.th-darmstadt.de (Thomas Streicher) stroehlein: stroehle informatik.tu-muenchen.de (Thomas Stroehlein) stroup: rts inf.ed.ac.uk (Terry Stroup) subrahmanyam: ramesh linc.cis.upenn.edu (Ramesh Subrahmanyam) subramanian: cayley tifrvax.tifr.res.in (P.S. Subramanian) suenderhauf: sunderhauf mathematik.th-darmstadt.de (Philipp Suenderhauf) sullivan: bob maths.uwa.edu.au (R.P. Sullivan) sun: ys4 mcs.le.ac.uk (Yong Sun) suppes: suppes csli.stanford.edu (Pat Suppes) suschansky: vau trion.kiev.ua ( Suschansky) 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: a.szendrei math.u-szeged.hu (Agnes Szendrei) takayama: takayama cs.ritsumei.ac.jp (Yukihide Takayama) talcott: clt sail.stanford.edu (Carolyn Talcott) tarlecki: tarlecki mimuw.edu.pl (Andrzej Tarlecki) tatsuta: tatsuta sato.riec.tohoku.ac.jp (Makoto Tatsuta) taubner: taubner sdm.de (Dirk Taubner) paultaylor: pt cs.man.ac.uk (Paul Taylor) philiptaylor: p.taylor vax.rhbnc.ac.uk (Philip Taylor) wtaylor: wtaylor euclid.colorado.edu (Walt Taylor) tennent: rdt qucis.queensu.ca (Bob Tennent) tepavcevic: etepavce ubbg.etf.bg.ac.yu (Andreja Tepavcevic) 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.thomson bcs.org.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: tonks mpim-bonn.mpg.de (Andy Tonks) trakhtenbrot: trakhte math.tau.ac.il (Boris Trakhtenbrot) trnkova: trnkova karlin.mff.cuni.cz (Vera Trnkova) tsalenko: tsalenko ix.netcom.com (Mikhail Tsalenko) tschantz: tschantz math.vanderbilt.edu (Steven Tschantz) tsuiki: tsuiki kurims.kyoto-u.ac.jp (Hideki Tsuiki) tuncali: muratt unipissing.ca (Murat Tuncali) turbak: lyn zurich.ai.mit.edu (Franklyn Turbak) turi: turi cwi.nl (Daniele Turi) turunen: esko.turunen lut.fi (Esko Turunen) urquhart: urquhart theory.toronto.edu (Alasdair Urquhart) valeriote: matt johnny.math.mcmaster.ca (Matthew Valeriote) valiente: dmigva0 ps.uib.es (Gabriel Valiente) vangelder: avg cs.ucsc.edu (Allen Van_Gelder) vanosdol: d_vanosdol unhh.unh.edu (Donovan Van_Osdol) vanderwoude: japier win.tue.nl (Jaap Van_der_Woude) vardi: vardi cs.rice.edu (Moshe Vardi) velinov: velinov p39.f1.n721.z5.fidonet.org (Yuri Velinov) venema: yde wins.uva.nl (Yde Venema) verity: dom mpce.mq.edu.au (Dominic Verity) verwer: nico cs.ruu.nl (Nico Verwer) vianu: vdvianu ucsd.edu (Victor Vianu) vickers: s.j.vickers cs.bham.ac.uk (Steve Vickers) vigna: vigna pippo.sm.dsi.unimi.it (Sebastiano Vigna) vilcius: al.r vilcius.com (Al Vilcius) vitale: vitale agel.ucl.ac.be (Enrico Vitale) vitanyi: paulv cwi.nl (Paul Vitanyi) vitolo: vitolo unibas.it (Paolo Vitolo) voevodsky: vladimir math.harvard.edu (Vladimir Voevodsky) vogel: vogel rz.uni-potsdam.de (Hans_Juergen Vogel) vogler: vogler uni-augsburg.de (Walter Vogler) volkov: volkovm math.urgu.e-burg.su (Michail Volkov) voronkov: voronkov csd.uu.se (Alexei Voronkov) vovsi: vovsi math.rutgers.edu (Samuel Vovsi) devries: ferjan mcs.le.ac.uk (Fer-jan_de Vries) waarts: orli cs.stanford.edu (Orli Waarts) wadler: wadler inf.ed.ac.uk (Philip Wadler) ewagner: wagner watson.ibm.com (Eric Wagner) kwagner: kim.wagner cl.cam.ac.uk (Kim Wagner) dwald: wald theory.lcs.mit.edu (David Wald) lwald: linda math.ucla.edu (Linda Wald) walicki: michal eik.ii.uib.no (Michal Walicki) wallen: lw prg.ox.ac.uk (Lincoln Wallen) walters: robert.walters uninsubria.it (Bob Walters) wand: wand ccs.neu.edu (Mitchell Wand) wasilewska: anita sbcs.sunysb.edu (Anita Wasilewska) weaver: weaver math.berkeley.edu (Nick Weaver) weld: weldhe cba.com.au (Henry Weld) bwells: wells lynx.cs.usfca.edu (Benjamin Wells) cwells: cwells oberlin.net (Charles Wells) wendt: wendt cs.dal.ca (Michael Wendt) white: bwhite inmet.inmet.com (Bill White) willard: puremath math.waterloo.edu (Ross Willard) wille: wille mathematik.tu-darmstadt.de (Rudolf Wille) williams: ewilliam kean.ucs.mun.ca (Ed Williams) jwilson: j.s.wilson bham.ac.uk (John Wilson) rwilson: r.a.wilson birmingham.ac.uk (R.A. Wilson) twilson: twilson cs.cornell.edu (Todd Wilson) pwinkler: pw flash.bellcore.com (Peter_M. Winkler) twinkler: winkler csl.sri.com (Timothy Winkler) winskel: gwinskel daimi.dk (Glynn Winskel) wirsing: wirsing informatik.uni-muenchen.de (Martin Wirsing) wismath: wismaths hg.uleth.ca (Shelly Wismath) jwood: japhethwood netscape.net (Japheth Wood) rwood: 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) wyler: wyler csu.cted.net (April 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) young: young xx.lcs.mit.edu (Jonathan Young) zadori: zadori math.u-szeged.hu (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) zsilinszky: laszlo nat.uncp.edu (Laszlo Zsilinszky)