Subj: Structures Directory Release 3.0 Date: 01 Dec 91 11:41:33 PST (Sun) From: pratt@cs.stanford.edu # Structures Directory -- Email addresses of structure theorists # Release 3.0, December 1, 1991 # 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 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) adelman: murray@macadam.mpce.mq.edu.au (Murray Adelman) adler: ara@lom1.math.yale.edu (Alan Adler) aitchison: iain@mundoe.munnari.oz.au (Iain Aitchison) amadio: amadio@dmi.ens.fr (Roberto Amadio) ambler: sja@cs.qmw.ac.uk (Simon Ambler) anderson: anderson@bright.math.uoregon.edu (Frank Anderson) apt: apt@cs.utexas.edu (Krzystof Apt) arnold: arnold@geocub.greco-prog.fr (Andre Arnold) (artemov: art@log.mian.su Sergei Artemov) artemov: sergei@artemov.mian.su (Sergei Artemov) asperti: andrea@dipisa.di.unipi.it (Andrea Asperti) astesiano: astes@igecuniv.bitnet (Egidio Astesiano.) atkinson: atkinson@math.toronto.edu (Derek Atkinson) avron: aa@math.tau.ac.il (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) beck: beck@mssun7.msi.cornell.edu (Jon Beck) beeson: beeson@ucscc.ucsc.edu (Michael Beeson) beigel: beigel-richard@cs.yale.edu (Richard Beigel) bellin: glb@lfcs.edinburgh.ac.uk (Gian-Luigi Bellin) benson: dbenson@eecs.wsu.edu (David Benson) vanbenthem: johan@fwi.uva.nl (Johan.van Benthem) bergman: gbergman@cartan.berkeley.edu (George Bergman) bergstra: madelon@fwi.uva.nl (Jan Bergstra) berry: mirsa.inria.fr (Gerard Berry) betti: betti@unimat.to.cnr.it (Renato Betti) bhadhuri: pbhaduri@cs2.cs.wsu.edu (Purandar Bhadhuri) bier: eric_bier.parc@xerox.com (Eric Bier) birtwistle: graham@cpsc.ucalgary.ca (Graham Birtwistle) blair: ziggy@hx.lcs.mit.edu (Michael Blair) blass: blass@ub.cc.umich.edu (Andreas Blass) bbloom: bard@cs.cornell.edu (Bard Bloom) sbloom: 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) 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) bracho: bracho@unamvm1.bitnet (Felipe Bracho) breazu: val@linc.cis.upenn.edu (Val Breazu-Tannen) breen: math.univ-paris13.fr (Larry Breen) brink: cbrink@ucthpx.uct.ac.za (Chris Brink) brinkman: mabrink@dknkurz1.bitnet (Hans-Berndt Brinkman) britz: brtkat01@ucthpx.uct.ac.za (Katarina Britz) 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@mathp7.jussieu.fr (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) castellini: g-castellini@upr1.upr.cun.edu (G. Castellini) chandra: ashok@ibm.com (Ashok Chandra) chen: chen@pchu.depaul.edu (Andy Chen) choi: choi@grad1.cis.upenn.edu (Jin-Young Choi) chou: chou@rascal.ics.utexas.edu (Shang-Ching Chou) chu: chu@ace.bsd.uchicago.edu (Po-Hsiang Chu) clarke: clarke@a.cs.cmu.edu (Ed Clarke) cockett: rcockett@mqccsuna.mqcc.mq.oz.au (Robin Cockett) cocquand: coquande@margaux.inria.fr (Thierry Cocquand) cohen: avrac@computer-lab.cambridge.ac.uk (Avra Cohen) comer: comers@citadel.bitnet (Stephen Comer) cowen: mthmjc@ubvms.bitnet (Mike Cowen) 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.oz.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) 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) dolan: v088kj6a@ubvms.cc.buffalo.edu (James Dolan) doob: mdoob@ccu.umanitoba.ca (Michael Doob) duba: duba@rice.edu (Bruce Duba) dubey: rdubey@yoda.eecs.wsu.edu (Rakesh Dubey) dubuc: dcfden!edubuc@mate.edu.ar (Eduardo Dubuc) duggan: den@cs.umd.edu (Dominic Duggan) dunn: dunn@iuvax.cs.indiana.edu (Mike Dunn) duskin: mthduskn@ubvms.bitnet (Jack Duskin) dybkjaer: dybkjaer@diku.dk (Hans Dybkjaer) 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) ernst: mernst@theory.lcs.mit.edu (Michael Ernst) fagin: fagin@ibm.com (Ron Fagin) faro: v068p76v@ubvmsa.bitnet (Emilio Faro) fasel: jhf@lanl.gov (Joe Fasel) feferman: sf@csli.stanford.edu (Sol Feferman) feigenbaum: jf@research.att.com (Joan Feigenbaum) feldman: d_feldman@unhh.bitnet (David Feldman) ferguson: mike@tel.inrs.cdn (Michael Ferguson) finkelstein: stacy@saul.cis.upenn.edu (Stacy Finkelstein) fischer: fischer-michael@cs.yale.edu (Mike Fischer) floyd: floyd@cs.stanford.edu (Bob Floyd) foo: norman@cs.su.oz.au (Norman Foo) fourman: mikef@lfcs.edinburgh.ac.uk (Michael Fourman) fox: fox@triples.math.mcgill.ca (Thomas Fox) freese: ralph@kahuna.math.hawaii.edu (Ralph Freese) frei: bitnet.arfr@ubcmtsg (Armin Frei) freire: freire@seins.santiago.usc.es (J.L. Freire) 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@vm1.yorku.ca (Richard Ganong) 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) girard: girard@margaux.inria.fr (Jean-Yves Girard) 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) goltz: gf1018@dbngmd21.bitnet (Ulla Goltz) goodaire: edgar@munucs.mun.ca (Edgar Goodaire) gordon: v5200e@templevm.bitnet (Bob Gordon.) grandis: grandis@igecuniv.bitnet (Marco Grandis.) gratzer: gratzer@ccm.umanitoba.ca (George Gratzer) gray: gray@math.uiuc.edu (John Gray) grove: grove@cs.stanford.edu (Adam Grove) gruska: gruska@rosun1..informatik.uni-hamburg.de (Jozef Gruska) guessarian: ig@litp.ibp.fr (Irene Guessarian) guitart: guitart@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) dhalpern: jdan@sun.com (Dan Halpern) jhalpern: halpern@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@proof.ergo.cs.cmu.edu (Robert Harper) hart: wiawkph@dutrun2.tudelft.nl (Klaas Hart) haveraaen: magne@eik.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) herz: herz@gauss.math.mcgill.ca (Carl Herz) hill: whill@hplwlh.hpl.hp.com (Walt Hill) hindley: majrh@pyr.swan.ac.uk (Roger Hindley) hoare: julie@prg.oxford.ac.uk (Tony Hoare) hodgson: bhodgson@vm1.ulaval.ca (Bernard Hodgson) 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) hsiang: hsiang@sbcs.sunysb.edu (Jieh Hsiang) hudak: hudak@cs.yale.edu (Paul Hudak) huet: huet@inria.inria.fr (Gerard Huet) hunsaker: ga3600@siucvmb.bitnet (W. Hunsaker) husberg: nhu@dione.hut.fi (Nisse Husberg) huth: mrh@tulmath.math.tulane.edu (Michael Huth) hyland: jmeh@phoenix.cambridge.ac.uk (Martin Hyland) istrail: sistrail@eagle.wesleyan.edu (Soren Istrail) ito: ito@ito.ecei.tohoku.junet (Takayasu Ito) iyer: ramu@cadsun.corp.mot.com (Ramu Iyer) 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: a.joyal@dpmms.cambridge.ac.uk (ToJun92:Andre Joyal) (joyal: joyal@math.uqam.ca AfterJun92:Andre Joyal) joyce: djoyce@ollie.clarku.edu (David Joyce) jung: xmatjung@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) kapranov: kapranov@mssun7.msi.cornell.edu (Mikhail Kapranov) karp: karp@ernie.berkeley.edu (Dick Karp) kasangian: kasan@imiucca.unimi.it (Stefano Kasangian) kelly: kelly_m@maths.su.oz.au (Max Kelly) kennaway: jrk@sys.uea.ac.uk (Richard Kennaway) kennison: jkennison@clarku (John Kennison) kfoury: kfoury@bu-cs.bu.edu (Dennis Kfoury) kiehn: kiehn@lan.informatik.tu-muenchen.dbp.de (Astrid Kiehn) klarlund: klarlund@cs.cornell.edu (Nils Klarlund) kleisli: kleisli@cfruni52.bitnet (Heinrich Kleisli.) klop: jwk@cwi.nl (Jan Klop) knijnenburg: peterk@cs.ruu.nl (Peter Knijnenburg) kochman: kochman@nexus.yorku.ca (Stanley Kochman) kock: matak@mi.aau.dk (Anders Kock) kolaitis: kolaitis@cs.ucsc.edu (Phokion Kolaitis) koslowski: koslowj@math.ksu.edu (Juergen Koslowski) kozen: kozen@cs.cornell.edu (Dexter Kozen) kwiatkowska: mzk@leicester.ac.uk (Marta Kwiatkowska) labute: labute@gauss.math.mcgill.ca (John Labute) ladkin: ladkin@icsib8.berkeley.edu (Peter Ladkin) ladner: ladner@cs.washington.edu (Richard Ladner) lafont: lafont@dmi.ens.fr (Yves Lafont) lamarche: lamarche@dmi.ens.fr (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) latch: dml@bklyncis.bitnet (Dana Latch) launchbury: jl@cs.glasgow.ac.uk (John Launchbury) lawvere: mthfwl@ubvmsb.cc.buffalo.edu (Bill Lawvere) leavens: leavens@bambam.cs.iastate.edu (Gary Leavens) leeney: stmt8015@iruccvax.ucc.ie (Mark Leeney) 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) 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) 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: maddux@vincent.iaststa.edu (Roger Maddux) madhav: madhav@neon.stanford.edu (Neel Madhav) mahmood: arshad@lfcs.ed.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) manna: manna@cs.stanford.edu (Zohar Manna) marshall: marshacd@snypotva.potsdam.edu (Charlie Marshall) marti-oliet: narciso@csl.sri.com (Narciso Marti-Oliet) martini: martini@di.unipi.it (Simone Martini) mauri: mauri@imiucca.unimi.it (Giancarlo Mauri) mccoll: wfm@prg.oxford.ac.uk (Bill McColl) jmckay: mckay@conu1.bitnet (John McKay) wmckay: wendy@cc.umontreal.ca (Wendy McKay) mcnulty: mcnulty@milo.math.scarolina.edu (George McNulty) mcrobbie: mam@arp.anu.oz.au (Michael McRobbie) 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@lfcs.ed.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) moggi: moggi@igecuniv.bitnet (Eugenio Moggi.) 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) mosses: pdmosses@daimi.aau.dk (Peter Mosses) muller: muller@harvard.edu (Robert Muller) mulry: psm@dcs.edinburgh.ac.uk (Phil Mulry) mulvey: mmfc6@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) nation: nation@kahuna.math.hawaii.edu (James.B. Nation) nelson: nealn@cse.ogi.edu (Neal Nelson) nickau: nickau@hrz.uni-siegen.dbp.de (? Nickau) denicola: denicola@icnucevm.cnuce.cnr.it (Rocco.De Nicola) niefield: niefiels@gar.union.edu (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: otto@triples.math.mcgill.ca (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.cuny.edu (Rohit Parikh) parker: stott@cs.ucla.edu (Stott Parker) mpaterson: msp@cs.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) pedicchio: pedicchi@univ.trieste.it (Cristina Pedicchio) pelletier: jwpell@vm2.yorku.ca (Joan Pelletier) penon: penon@mathp7.jussieu.fr (Jean Penon) pettorossi: adp@irmiasi.rm.cnr.it (Alberto Pettorossi) pfenniger: mas034@vaxa.bangor.ac.uk (Markus Pfenniger) phillips: phillips@uvvm.bitnet (John Phillips) pierce: benjamin.pierce@proof.ergo.cs.cmu.edu (Benjamin Pierce) pigozzi: dpigozzi@iastate.edu (Don Pigozzi) pinter: pinter-shlomit@cs.yale.edu (Shlomit Pinter) pitt: dhp@cs.surrey.ac.uk (David Pitt) pitts: ap@cl.cam.ac.uk (Andy Pitts) plaisted: plaisted@cs.unc.edu (David Plaisted) platek: richard@oracorp.com (Richard Platek) platt: ccm.umanitoba.ca (Craig Platt) plotkin: gdp@lfcs.edinburgh.ac.uk (Gordon Plotkin) pnueli: amir@wisdom.weizmann.ac.il (Amir Pnueli) poigne: ap@gmdzi.gmd.de (Axel Poigne) poirot: poirot@boole.stanford.edu (Hercule Poirot) pollara: pollara@unipas.fmi.uni-passau.de (Victor Pollara) porst: porst@ubrinf.uucp (H.-E. Porst) porter: mas013@vaxc.bangor.ac.uk (Tim Porter) power: ajp@lfcs.edinburgh.ac.uk (John Power) pratt: pratt@cs.stanford.edu (Vaughan Pratt) priestley: hap@vax.oxford.ac.uk (Hilary Priestley) probst: probst@bond.crim.ca (Richard Probst) proute: ap@mathp7.jussieu.fr (Alain Proute) quackenbush: bquack@ccm.umanitoba.ca (Bob Quackenbush) rabin: rabin@humus.huji.ac.il (Michael Rabin) rachev: zarirach@bernoulli.ucsb.edu (Zari Rachev) ramshaw: ramshaw@src.dec.com (Lyle Ramshaw) randall: randall@elbereth.rutgers.edu (John Randall) raphael: raphael@vax2.concordia.ca (Robert Raphael) rattray: cr@cs.stir.ac.uk (Charles Rattray) repin: repin@log.mian.su (Nikolai Repin) reyes: 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) rosebrugh: rrosebrugh@macc2.mta.ca (Bob Rosebrugh) rosenthal: rosenthk@gar.union.edu (Kimmo Rosenthal) rosicky: rosicky@vm1.yorku.ca (Jiri Rosicky) rosolini: rosolini@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@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: janr@piring.cwi.nl (Jan Rutten) rydeheard: david@r3.cs.man.ac.uk (David Rydeheard) sakurai: a87480@tansei.cc.u-tokyo.ac.jp (Takafumi Sakurai) sankappanevar: sankah@snynewba..bitnet (Hanamantagouda.P. Sankappanevar) sannella: dsannella@lfcs.ed.ac.uk (Don Sannella) sato: schuko@sun4.cc.kyushu-u.ac.jp (Hiroyuki Sato) scedrov: andre@cis.upenn.edu (Andre Scedrov) schelter: wfs@cli.com (Bill Schelter) schmidt: jschmidt@daimi.dk (Jorn Schmidt) schroeppel: rcs@la.tis.com (Rich Schroeppel) schumacher: schu@acadia.bitnet (Dietmar Schumacher) scollo: scollo@cs.utwente.nl (Giuseppe Scollo) dscott: dana.scott@c.cs.cmu.edu (Dana Scott) pscott: scpsg@acadvm1.uottawa.ca (Phil Scott) seely: rags@triples.math.mcgill.ca (Robert Seely) seldin: seldin@alcor.concordia.ca (Jonathan Seldin) shankar: shankar@csl.sri.com (Natarajan Shankar) shapiro: udi@wisdom.weizmann.ac.il (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: 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) smolka: sas@cs.sunysb.edu (Scott Smolka) sobral: sobral@ciuc2.uc.rccn.pt (Manuela Sobral) spencer: dwights@cse.ogi.edu (Dwight Spencer) srinivas: srinivas@madeleine.ics.uci.edu (Yellamraju Srinivas) staples: staples@uqcspe.cs.uq.oz.au (John Staples) stark: stark@cs.sunysb.edu (Eugene Stark) steele: steele@think.com (Guy Steele) steiner: maths@vme.gla.ac.uk (Richard Steiner) stell: john@cs.kl.ac.uk (John Stell) stewart: cstewart@watserv1.uwaterloo.ca (Cameron Stewart) astone: macstone@bdc.ubc.ca (Art Stone) stoughton: allen@cogs.sussex.ac.uk (Allen Stoughton) stout: lnstout@uxh.cso.uiuc.edu (Lawrence Stout) strecker: strecker@galois.math.ksu.edu (George Strecker) street: street@macadam.mpce.mq.edu.au (Ross Street) streicher: streiche@unipas.fmi.uni-passau.de (Thomas Streicher) subrahmanyam: ramesh@linc.cis.upenn.edu (Ramesh Subrahmanyam) sun: yong@minster.york.ac.uk (Yong Sun) suppes: suppes@csli.stanford.edu (Pat Suppes) swaminathan: swami@cs.dal.ca (S. Swaminathan) szabo: szabo@vax2.concordia.ca (Fred Szabo) takayama: takayama@okilab.oki.co.jp (Yukihide Takayama) talcott: clt@sail.stanford.edu (Carolyn Talcott) tatsuta: tatsuta@sato.riec.tohoku.ac.jp (Makoto Tatsuta) taubner: taubner@lan.informatik.tu-muenchen.dbp.de (Dirk Taubner) paultaylor: pt@doc.ic.ac.uk (Paul Taylor) philiptaylor: p.taylor@vax.rhbnc.ac.uk (Philip Taylor) wtaylor: wtaylor@boulder.colorado.edu (Walt Taylor) tennent: rdt@qucis.queensu.ca (Bob Tennent) tholen: tholen@vm1.yorku.ca (Walter Tholen) thomson: tom@nw.stl.stc.co.uk (Tom Thomson) thurston: wpt@math.princeton.edu (Bill Thurston) tierney: tierney@math.uqam.ca (Myles Tierney) tiuryn: tiuryn@cs.bu.edu (Jerzy Tiuryn) tonks: map003@vaxa.bangor.ac.uk (Andy Tonks) trakhtenbrot: trakhte@math.tau.ac.il (Boris Trakhtenbrot) tschantz: tschantz@athena.cas.vanderbilt.edu (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: matt@johnny.math.mcmaster.ca (Matt Valeriote) vanosdol: d_vanosdol@unhh.unh.edu (Donovan Van.Osdol) vardi: vardi@ibm.com (Moshe 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) voevodsky: vladimir@math.harvard.edu (Vladimir Voevodsky) 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) wagner: wagner@ibm.com (Eric Wagner) wallen: lincoln.wallen@prg.oxford.ac.uk (Lincoln Wallen) walters: walters_b@maths.su.oz.au (Bob Walters) wand: wand@corwin.ccs.northeastern.edu (Mitchell Wand) wasilewska: anita@sbcs.sunysb.edu (Anita Wasilewska) wells: cfw2@po.cwru.edu (Charles Wells) wendt: wendt@cs.dal.ca (Michael Wendt) white: bwhite@inmet.inmet.com (Bill White) williams: ewilliam@kean.ucs.mun.ca (Ed Williams) winkler: winkler@csl.sri.com (Timothy Winkler) winskel: gwinskel@daimi.dk (Glynn Winskel) wirsing: wirsing@unipas.fmi.uni-passau.de (Martin Wirsing) wood: rjwood@cs.dal.ca (Richard Wood) wraith: gavinw@sussex.ac.uk (Gavin Wraith) wright: gpwsg@acadvm1.uottawa.ca (Graham Wright) wyler: wyler@cs.cmu.edu (Oswald Wyler) yardini: eyal@wisdom.weizmann.ac.il (Eyal Yardini) yarroll: piggy@gargoyle.uchicago.edu (La.Monte Yarroll) yetter: dyetter@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) zawadowski: warsaw@ccb.uib.es (Marek Zawadowski) zenith: zenith@ensmp.fr (Steven Zenith) zhang: gqz@pollux.cs.uga.edu (Qiang Zhang) zocco: dean.zocco@klb (Meg Zocco) ========================== Subj: LICS Database From: daniel leivant Date: Mon, 2 Dec 91 12:55:38 EST Dear Colleague, As the publicity chair of the Logic in Computer Science Conference (LICS) I have developed a database for the LICS community, which has at present entries for about 1500 people. The database is used primarily to broadcast LICS calls for papers and other announcements. Additional uses are being made only on rare occasions, when it is strongly believed by both the LICS Publicity Chair and the LICS General Chair that such use would be to the benefit of the LICS community. If you are not yet in the database, or if you wish to update information, please fill out the form below, and email it (with the *** lines as the first and last in your message body) to lics@cs.indiana.edu. Feel free to forward this message to potentially interested people. Please leave the description and code for each field (line) unchanged, inserting information as in the model forms. You may choose to refrain from filling a field, delete fields or rearrange them, and use your own style within any field. Thank you in advance for your interest and cooperation. Daniel Leivant LICS Publicity Chair MODEL FORM 1: *** last name N Leivant first name F Daniel M. department D Computer Science Dept institution I Indiana University street address A quarter Q city/town M Bloomington state/province S IN zip Z 46405 country C email E leivant@cs.indiana.edu alt. email e phone P 317-257.36.25 (home) 812-855.6221 (office) fax X 317-257.07.76 comments W please send calls for papers via hard mail comments W Notes about filling in the form: comments W default for country is US comments W please skip street address if redundant comments W one email only in E field, please comments W please indicate the if other than internet comments W additional emails go into the e field comments W duplicate the W field for additional comments *** MODEL FORM 2: *** last name N Leivant email E leivant@cs.indiana.edu *** YOUR FORM: *** last name N first name F department D institution I street address A city/town M state/province S zip Z country C email E phone P fax X comments W *** ==================== Subj: Imperial College archive and TeX fonts Date: Fri, 06 Dec 1991 00:19:46 EST From: Paul Taylor Following several complaints about "missing fonts" in papers in our archive, I have enlarged it to include our TeX system. The archive is accessed by "ftp theory.doc.ic.ac.uk" (146.169.2.37) log in as "ftp" or "anonymous" with your email address as password. (The program keeps a record of who has read what.) Papers are now found in, eg, /theory/papers/Abramsky/cill.dvi.Z PK files are in, eg, /tex/fonts/pk/300/cmbx14.pk I find myself torn between demands from internal users to make modifications and from external ones to stick rigidly to a "standard". Such a standard exists for TeX (the program) - by order of Knuth - but it doesn't for LaTeX, fonts, etc. Following Edinburgh's lead, we are changing to design size (Sauter) instead of magnified fonts, for example, which have been available for many years on standard TeX distribution tapes. There is no question of a "local" TeX or LaTeX. If your TeX system is pre-3.0 or doesn't contain the AMS symbols (mssymb) you might like to copy our 6M off the shelf package (including Sun binaries) from the directory /tex/local-copy. It's used by 200 machines throughout IC, which mount the filesystem to get the (few) missing fonts and macros. I'm not confident that it is yet sufficiently robust to be used outside London in this way. Here is a listing of the /theory/papers/ tree. Abramsky/ cill.dvi.Z Burn/ Glasgow91.dvi.Z POPL90.dvi.Z JnlFP_Implementation.dvi.Z TAPSOFT91.dvi.Z LispAndFP90.dvi.Z book.preface Chau/ main.dvi.Z roorda_Ch6_sum.dvi.Z Dawson/ icle wp (directories) Edalat/ ac.dvi cts.dvi infsys.dvi Hunt/ PEPM91.dvi Ryan/ hcls-1.1-draft.dvi tacs91.dvi deon91.dvi lics91+.dvi theory-revision.dvi Sands/ ESOP90+.dvi FST_TCS91.dvi INDEX.bib PEPM91.dvi PhDthesis.dvi Taylor/ LFPP.dvi bilimits.dvi survey.dvi Quantitative.dvi lics.dvi trace.dvi alg_stab.dvi stabdom.dvi Vickers/ Dortmund.hqx GeoTh+DBs.rtf Infosys.rtf PreFrPrePre.rtf deQueiroz/ resource.dvi.Z Paul Taylor =============================== Date: Fri, 6 Dec 91 10:33 GMT From: MAS010@vaxa.bangor.ac.uk Subject: book advertisement This is an advertisement for my book published in 1988 R.Brown, TOPOLOGY: a geometric account of general topology, homotopy types and the fundamental groupoid, Ellis Horwood/Simon and Schuster, ISBN 0-7458-0231-1 38.50 pounds(UK) 0-7458-0231-1 $62.95 (USA), 460pp I am not sure if it has been well advertised in the USA, so the existence of the Category Theory Bulletin seems a good opportunity to get the book better known. It is a revised version of the 1968 book published by McGraw Hill. There are new sections on: compactifications; the compact-open topology and the convenient category of k-spaces; fibrations of groupoids and exact sequences; the Jordan Curve Theorem ( a new proof using the groupoid material). The Chapter on Covering Spaces includes 40 pages of new material:the equivalence between coverings of spaces and coverings of groupoids; induced coverings and pullbacks; applications to subgroup theorems in group theory; orbit space and orbit groupoids; the computation of orbit groupoids: quotients and semidirect products. In particular these last sections contain material on computing the fundamental group of an orbit space under a discontinuous action of a group. An important aspect of the book is the use of universal properties, and the thorough treatment of 1-dimensional homotopy theory using the fundamental groupoid rather than fundamental group. So the book contains much of the basic algebra of groupoids, and some introductory material on categories and functors. Each Chapter ends with notes commenting on the historical background. =========================== Subj: query,deformations Date: Mon, 9 Dec 91 16:47:53 EST From: James Stasheff Let A be an augmented algebra then Hoch(A,k) \iso Ext_A(k,k) where k is the target of the augmentation can be computed as the cohomology of Hom_k(BA,A) so the Gerstenhaber cup product is the Yoneda product is the product induced from the ususal diagonal on BA BUT where in the literature is this ever discussed?? jim +++++++++++++++++++++++++++++++++ Date: Thu, 12 Dec 91 11:53:37 EST From: James Stasheff Is anyone aware of work on the deformation theory of categories, for example: the definition of the cohomology group responsible for deformations of braided categories and a reasonable computation of this group for the category of representations of a semisimple Lie algebra? ============================= Subj: Re: query,deformations Date: Sat, 14 Dec 91 20:18:36 EST From: barr@triples.Math.McGill.CA (Michael Barr) The identification of Hoch(A,k) with Ext_A(k,k) is pretty thoroughly aired in Cartan-Eilenberg, but you must know that already. As for the cup product coming from the diagonal, that may be in one of Murray's original deformation papers. I think Eilenberg mentioned it in passing in his homological algebra course (which all instructors at Columbia were expected to sit in on, at least if they were in algebra or topology). But if I had to search the literature, I think I would start with the work of Steenrod. As for categories, I must admit to total ignorance. Michael =========================== Subj: database article by ftp Date: Fri, 20 Dec 1991 00:10:50 EST From: Bob Rosebrugh The article: Relational Databases and Indexed Categories by R. Rosebrugh and R.J. Wood is available by anonymous ftp as the LaTeX source file rdic.tex from the directory [anonymous.mathcs.rosebrugh] at macc2.mta.ca (138.73.1.2) It requires the files catmac.sty and cat.bib which are in the same directory. To obtain the files: ftp macc2.mta.ca login as user anonymous with your email address as password cd [.mathcs.rosebrugh] (note the VMS directory syntax!!) dir (make sure you are in the right directory) get rdic.tex (then get cat.bib, etc. as needed) bye Any problem reports or further enquiries should be directed to Bob Rosebrugh Paper copies of the article are available from the first-named author. An abstract follows. Abstract: A description of relational databases in categorical terminology given here has as intended application the study of database dynamics, in particular we view (i) updates as database objects in a suitable category indexed by a topos; (ii) L-fuzzy databases as database objects in sheaves. Indexed categories are constructed to model the databases on a fixed family of domains and also all databases for a varying family of domains. Further, we show that the process of constructing the relational completion of a relational database is a monad in a 2-category of functors.