January 1991 - Categories - categories.org.au

yet another list
by Vaughan Pratt 31 Jan '91

31 Jan '91

Bob, here's a mailing list of 430 or so logicians, algebraists, and programming language theorists in mathematics and computer science. It is derived from Mike Barr's list and a list I've been using. It is in a format suitable for directly appending to a sendmail aliases file (/usr/lib/aliases or /etc/aliases). Note that if there are aliases already in that file that conflict with the aliases below, the resulting ambiguity may be disambiguated either way depending on how the aliases file is preprocessed. I've checked many though not all of the entries; I'd appreciate hearing about problems and additions. I was able to determine the first names of everyone except Nickau, Swaminathan, and Takayama, all from Mike's list. Since I don't know everyone on his list there may be a few people who don't fall under the logician-algebraist-linguist rubric. On the computer science side the names are drawn primarily from the LICS (Logic in CS) and POPL (Principles of Programming Language) communities, with relatively little representation of the STOC/FOCS community. I've included some who have previously been active in this general area but who have since turned their attention to turtles, complexity, computational geometry, etc, in case anyone wants to renew old acquaintances. The list observes the following conventions. Column 1 is the alias, which usually consists of the surname prefixed when necessary for disambiguation with an initial or the whole first name. It is restricted to the 26 characters a-z (no capitals, digits, or punctuation), and includes any preceding "de" or "van". Column 2 is the email address in lower case with no %'s, and is either a regular internet domain address (351), a .bitnet address (79), or a uucp address in ! format (5). Column 3 is "(Forename" and column 4 the matching "Surname)". The list is sorted by surname using `sort +3` (sort ignoring the first three columns). The "de" or "van" if any is placed in column 3 so as not to participate in the sorting. There are no tabs in the file. Regards Vaughan Pratt abadi: ma(a)src.dec.com (Martin Abadi) abramsky: sa(a)doc.ic.ac.uk (Samson Abramsky) aceto: luca(a)cogs.sussex.ac.uk (Luca Aceto) adams: useradms(a)mtsg.ubc.ca (Bob Adams) adler: ara(a)lom1.math.yale.edu (Alan Adler) amadio: amadio(a)dmi.ens.fr (Roberto Amadio) anderson: anderson(a)bright.math.uoregon.edu (Frank Anderson) apt: apt(a)cs.utexas.edu (Krzystof Apt) artemov: art(a)log.mian.su (Sergei Artemov) astesiano: astes(a)igecuniv.bitnet (Egidio Astesiano) atkinson: atkinson(a)math.toronto.edu (Derek Atkinson) avron: aa(a)gauss.stanford.edu (Arnon Avron) bach: rene(a)tech.ascom.ch (Rene Bach) baker: kab(a)math.ucla.edu (Kirby Baker) baranoff: sergei(a)hm.iias.spb.su (Sergei Baranoff) barr: barr(a)triples.math.mcgill.ca (Michael Barr) bartle: rgb(a)math.ams.com (Bob Bartle) barwise: barwise(a)iuvax.cs.indiana.edu (Jon Barwise) beeson: beeson(a)ucscc.ucsc.edu (Michael Beeson) beigel: beigel-richard(a)cs.yale.edu (Richard Beigel) bellin: glb(a)sail.stanford.edu (Gian-Luigi Bellin) benson: dbenson(a)eecs.wsu.edu (David Benson) vanbenthem: johan(a)fwi.uva.nl (Johan.van Benthem) bergman: gbergman(a)cartan.berkeley.edu (George Bergman) bergstra: madelon(a)fwi.uva.nl (Jan Bergstra) berry: mirsa.inria.fr (Gerard Berry) betti: betti(a)unimat.to.cnr.it (Renato Betti) bhadhuri: pbhaduri(a)cs2.cs.wsu.edu (Purandar Bhadhuri) bier: eric_bier.parc(a)xerox.com (Eric Bier) blair: ziggy(a)hx.lcs.mit.edu (Michael Blair) blass: blass(a)ub.cc.umich.edu (Andreas Blass) bbloom: bard(a)cs.cornell.edu (Bard Bloom) sbloom: sbloom(a)sitvxa.bitnet (Steve Bloom) lblum: lblum(a)ernie.berkeley.edu (Lenore Blum) mblum: blum(a)ernie.berkeley.edu (Manuel Blum) vanemdeboas: pveb(a)cwi.nl (Peter.van.Emde Boas) boehm: boehm.pa(a)xerox.com (Hans Boehm) bonacina: bonacina(a)sbcs.sunysb.edu (M.Paola Bonacina) boolos: boolos(a)athena.mit.edu (George Boolos) borceux: fborceux(a)buclln11.bitnet (Francis Borceux) jborwein: jborwein(a)cs.dal.ca (Jon Borwein) pborwein: pborwein(a)cs.dal.ca (Peter Borwein) bouchard: eomsg(a)acadvm1.uottawa.ca (Monique Bouchard) boyer: boyer(a)cli.com (Bob Boyer) breazu: val(a)linc.cis.upenn.edu (Val Breazu-Tannen) breen: udos001(a)frors12.bitnet (Larry Breen) brink: chrikey1.ucthpx(a)f4.n494.z5.fidonet.org (Chris Brink) brinkman: mabrink(a)dknkurz1.bitnet (Hans-Berndt Brinkman) brookes: brookes(a)b.gp.cs.cmu.edu (Steve Brookes) brown: r.brown(a)vaxa.bangor.ac.uk (Ronnie Brown) broy: broy(a)lan.informatik.tu-muenchen.dbp.de (Manfred Broy) bruce: kim(a)cs.williams.edu (Kim Bruce) brunner: hbrunner(a)mun.bitnet (Herman Brunner) debukh: ecomail(a)vms2.uni-c.dk (Per.de Bukh) bullejos: mbullejos(a)ugr.es (Manuel Bullejos) bunge: bunge(a)triples.math.mcgill.ca (Marta Bunge) burroni: burroni(a)frmap711.bitnet (Albert Burroni) burstall: rb(a)lfcs.ed.ac.uk (Rod Burstall) buss: sbuss(a)cs.ucsd.edu (Sam Buss) cannon: cannon_j(a)maths.su.oz.au (John Cannon) carboni: carboni(a)imiucca.unimi.it (Aurelio Carboni) cardelli: luca(a)src.dec.com (Luca Cardelli) carr: carrdm(a)snyplaba.bitnet (Donna Carr) carter: nicola(a)mcgill1.bitnet (Nicola Carter) cartwright: cork(a)rice.edu (Corky Cartwright) casley: casley(a)cs.stanford.edu (Ross Casley) chandra: ashok(a)ibm.com (Ashok Chandra) choi: choi(a)grad1.cis.upenn.edu (Jin-Young Choi) chou: chou(a)rascal.ics.utexas.edu (Shang-Ching Chou) chu: cscphc(a)depaul.bitnet (Po-Hsiang Chu) clarke: clarke(a)a.cs.cmu.edu (Ed Clarke) cockett: rcockett(a)mqccsuna.mqcc.mq.oz.au (Robin Cockett) cocquand: coquande(a)margaux.inria.fr (Thierry Cocquand) cohen: avrac(a)computer-lab.cambridge.ac.uk (Avra Cohen) comer: comers(a)citadel.bitnet (Stephen Comer) cowen: mthmjc(a)ubvms.bitnet (Mike Cowen) crew: crew(a)cs.stanford.edu (Roger Crew) crossley: jnc(a)bruce.cs.monash.oz.au (John Crossley) crow: crow(a)csl.sri.com (Judy Crow) curien: curien(a)dmi.ens.fr (Pierre-Louis Curien) davey: davey(a)latcs1.lat.oz.au (Brian Davey) davis: davism(a)acf4.nyu.edu (Martin Davis) dawson: rdawson(a)husky1.stmarys.ca (Robert Dawson) degano: degano(a)di.unipi.it (Pier-Paolo Degano) delfour: delfour(a)cc.umontreal.ca (Michel Delfour) diaconescu: rdcbb(a)cunyvm.bitnet (Radu Diaconescu) diekert: diekert(a)informatik.tu-muenchen.dbp.de (Volker Diekert) diers: diers(a)frcitl81.bitnet (Yves Diers) doh: doh(a)ksuvax1.cis.ksu.edu (Kyung-Goo Doh) doob: mdoob(a)ccu.umanitoba.ca (Michael Doob) duggan: den(a)cs.umd.edu (Dominic Duggan) dunn: dunn(a)iuvax.cs.indiana.edu (Mike Dunn) duskin: mthduskn(a)ubvms.bitnet (Jack Duskin) dybkjaer: dybkjaer(a)diku.dk (Hans Dybkjaer) ehresmann: ehres(a)frmap711.bitnet (Andree Ehresmann) ehrhard: ehrhard(a)ens.fr (Thomas Ehrhard) ehrlich: ehrlich(a)inria.inria.fr (Bobby Ehrlich) vaneijck: jve(a)cwi.nl (Jan.van Eijck) emerson: a.emerson(a)cs.utexas.edu (Alan Emerson) enderton: hbe(a)math.ucla.edu (Herb Enderton) zenith: zenith(a)ensmp.fr (Steven Ericsson-Zenith) ernst: mernst(a)theory.lcs.mit.edu (Michael Ernst) fagin: fagin(a)ibm.com (Ron Fagin) faro: v068p76v(a)ubvmsa.bitnet (Emilio Faro) fasel: jhf(a)woodsy.lanl.gov (Joe Fasel) feferman: sf(a)csli.stanford.edu (Sol Feferman) feigenbaum: jf(a)research.att.com (Joan Feigenbaum) feldman: d_feldman(a)unhh.bitnet (David Feldman) ferguson: mike(a)tel.inrs.cdn (Michael Ferguson) fischer: fischer-michael(a)yale.edu (Mike Fischer) floyd: floyd(a)cs.stanford.edu (Bob Floyd) foo: norman(a)cs.su.oz.au (Norman Foo) fourman: mikef(a)lfcs.edinburgh.ac.uk (Michael Fourman) fox: fox(a)triples.math.mcgill.ca (Thomas Fox) freese: ralph(a)kahuna.math.hawaii.edu (Ralph Freese) freyd: pjf(a)linc.cis.upenn.edu (Peter Freyd) pamfreyd: pam(a)linc.cis.upenn.edu (Pam Freyd) fritsch: rudolf.fritsch(a)mathematik.uni-muenchen.dbp.de (Rudolph Fritsch) gago: alzzs002(a)seins.santiago.usc.es (Felipe Gago) gaifman: gaifman(a)humus.huji.ac.il (Haim Gaifman) ganong: ganong(a)yorkvm1.bitnet (Richard Ganong) vangelder: avg(a)cs.ucsc.edu (Allen.Van Gelder) genrich: gsfp03(a)dbngmd21.bitnet (Hartmann Genrich) geramita: anthony.v.geramita(a)queensu.ca (Anthony Geramita) gerstenhaber: gersten(a)penndrls.bitnet (Murray Gerstenhaber) gerth: wsinrobg(a)eutrc3.urc.tue.nl (Rob Gerth) gischer: gischer(a)cs.wm.edu (Jay Gischer) givant: givant(a)mills.berkeley.edu (Steve Givant) vanglabbeek: rvg(a)cs.stanford.edu (Rob.van Glabbeek) goguen: joseph.goguen(a)prg.oxford.ac.uk (Joseph Goguen) bgoldberg: goldberg(a)cs.nyu.edu (Ben Goldberg) jgoldberg: phr00jg(a)technion.bitnet (Jacques Goldberg) goltz: gf1018(a)dbngmd21.bitnet (Ulla Goltz) goodaire: edgar(a)munucs.mun.ca (Edgar Goodaire) gordon: v5200e(a)templevm.bitnet (Bob Gordon) gratzer: gratzer(a)uofmcc.bitnet (George Graetzer) grandis: grandis(a)igecuniv.bitnet (Marco Grandis) gray: gray(a)symcom.math.uiuc.edu (John Gray) grove: grove(a)cs.stanford.edu (Adam Grove) gruska: gruska(a)rosun1.informatik.uni-hamburg.de (Jozef Gruska) guessarian: ig(a)litp.ibp.fr (Irene Guessarian) guitart: guitart(a)frmap711.bitnet (Rene Guitart) cgunter: gunter(a)central.cis.upenn.edu (Carl Gunter) egunter: elsa(a)research.att.com (Elsa Gunter) gupta: vgupta(a)cs.stanford.edu (Vineet Gupta) gurevich: gurevich(a)dip.eecs.umich.edu (Yuri Gurevich) dhalpern: jdan(a)sun.com (Dan Halpern) jhalpern: halpern(a)ibm.com (Joe Halpern) hanna: fkh(a)ukc.ac.uk (Keith Hanna) hardie: hardieka.uctvax(a)f4.n494.z5.fidonet.org (Kieth Hardie) harel: harel(a)wisdom.weizmann.ac.il (David Harel) harland: jah(a)mullauna.cs.mu.oz.au (James Harland) harper: rwh(a)proof.ergo.cs.cmu.edu (Robert Harper) hart: wiawkph(a)hdetud1.bitnet (Klaas Hart) haveraaen: magne(a)eik.ii.uib.no (Magne Haveraaen) hebert: mhebert(a)lavalvm1.bitnet (Michel Hebert) hennessy: matthewh(a)cogs.sussex.ac.uk (Matthew Hennessy) henrickson: henriksen(a)ymir.bitnet (Mel Henrickson) henzinger: tah(a)cs.stanford.edu (Tom Henzinger) herz: in3u(a)mcgillb.bitnet (Carl Herz) hill: whill(a)hplwlh.hpl.hp.com (Walt Hill) hindley: majrh(a)pyr.swan.ac.uk (Roger Hindley) hiroyuki: kitagawa(a)is.s.u-tokyo.ac.jp (Kitagawa Hiroyuki) hoare: julie(a)prg.oxford.ac.uk (Tony Hoare) hoehnke: gabi(a)opal.cs.tu-berlin.de (Hans-Jurgen Hoehnke) hoofman: raymond(a)cs.ruu.nl (Raymond Hoofman) hook: hook(a)cse.ogi.edu (James Hook) hopcroft: jeh(a)cs.cornell.edu (John Hopcroft) hosek: dhosek(a)hmcvax.bitnet (Don Hosek) hsiang: hsiang(a)sbcs.sunysb.edu (Jieh Hsiang) hudak: hudak(a)cs.yale.edu (Paul Hudak) huet: huet(a)inria.inria.fr (Gerard Huet) husberg: nhu(a)dione.hut.fi (Nisse Husberg) istrail: sistrail(a)eagle.wesleyan.edu (Soren Istrail) ito: ito(a)ito.ecei.tohoku.junet (Takayasu Ito) jacobs: bart(a)cs.kun.nl (Bart Jacobs) jaffar: joxan(a)ibm.com (Joxan Jaffar) jagadeesan: radha(a)cs.cornell.edu (Radha Jagadeesan) janssen: theo(a)fwi.uva.nl (Theo Janssen) jardine: jardine(a)uwovax.uwo.ca (John Jardine) jay: cbj(a)lfcs.edinburgh.ac.uk (Barry Jay) jeffrey: alan.jeffrey(a)prg.oxford.ac.uk (Alan Jeffrey) jenkins: maj(a)qucis.bitnet (Mike Jenkins) mjohnson: johnson_m(a)maths.su.oz.au (Mike Johnson) pjohnson: pjohnson(a)eagle.wesleyan.edu (Paul Johnson) jonsson: jonssob(a)vuctrvax.bitnet (Bjarni Jonsson) jouvelot: jouvelot(a)ensmp.fr (Pierre Jouvelot) joyal: joyal(a)math.uqam.ca (Andre Joyal) joyce: djoyce(a)clarku.bitnet (David Joyce) jung: xmatdb5r(a)ddathd21.bitnet (Achim Jung) kahn: kahn(a)mirsa.inria.fr (Gilles Kahn) kane: kane(a)uwovax.uwo.ca (Richard Kane) kao: kao(a)iuvax.cs.indiana.edu (Ming Kao) karp: karp(a)ernie.berkeley.edu (Dick Karp) kasangian: kasan(a)imiucca.unimu.it (Stefano Kasangian) kennaway: jrk(a)sys.uea.ac.uk (Richard Kennaway) kennison: jkennison@clarku (John Kennison) kfoury: kfoury(a)bu-cs.bu.edu (Dennis Kfoury) kiehn: kiehn(a)lan.informatik.tu-muenchen.dbp.de (Astrid Kiehn) kleisli: kleisli(a)cfruni52.bitnet (Heinrich Kleisli) klop: jwk(a)cwi.nl (Jan Klop) knijnenburg: peterk(a)cs.ruu.nl (Peter Knijnenburg) kochman: kochman(a)nexus.yorku.ca (Stanley Kochman) kock: matak(a)mi.aau.dk (Anders Kock) kolaitis: kolaitis(a)cs.ucsc.edu (Phokion Kolaitis) koslowski: koslowj(a)math.ksu.edu (Juergen Koslowski) kozen: kozen(a)cs.cornell.edu (Dexter Kozen) kwiatkowska: mzk(a)leicester.ac.uk (Marta Kwiatkowska) labute: labute(a)gauss.math.mcgill.ca (John Labute) ladkin: ladkin(a)icsib8.berkeley.edu (Peter Ladkin) ladner: ladner(a)cs.washington.edu (Richard Ladner) lafont: lafont(a)frulm63.bitnet (Yves Lafont) lamarche: lamarche(a)cs.dal.ca (Francois Lamarche) lambek: lambek(a)triples.math.mcgill.ca (Joachim Lambek) lampe: lampe(a)kahuna.math.hawaii.edu (Bill Lampe) lamport: lamport(a)src.dec.com (Leslie Lamport) latch: dml(a)bklyncis.bitnet (Dana Latch) launchbury: jl(a)cs.glasgow.ac.uk (John Launchbury) lawvere: mthmjc(a)ubvm.cc.buffalo.edu (Bill Lawvere) leivant: daniel.leivant(a)b.gp.cs.cmu.edu (Daniel Leivant) lent: aflent(a)theory.lcs.mit.edu (Arthur Lent) levin: lnd(a)cs.bu.edu (Leonid Levin) lewis: lglewis(a)sunrise.bitnet (Gaunce Lewis) liao: aliao(a)eagle.wesleyan.edu (Andrew Liao) lilius: jli(a)dione.hut.fi (Johan Lilius) lincoln: lincoln(a)cs.stanford.edu (Pat Lincoln) linton: flinton(a)eagle.wesleyan.edu (Fred Linton) longo: longo(a)dmi.ens.fr (Giuseppe Longo) lord: hlord(a)csupomona.edu (Harriet Lord) loui: mloui(a)note.nsf.gov (Michael Loui) lowry: lowry(a)kestrel.edu (Mike Lowry) lubarsky: r_lubarsky(a)faudm.bitnet (Robert Lubarsky) lubliner: coby(a)ucbcevax.bitnet (Coby Lubliner) luckham: dcl(a)anna.stanford.edu (David Luckham) lynch: lynch(a)holmes.lcs.mit.edu (Nancy Lynch) ma: qingming.ma(a)cs.cmu.edu (Qingming Ma) macdonald: macstone(a)bdc.ubc.ca (John MacDonald) mackenzie: pm1kchm(a)primea.sheffield.ac.uk (K.Charles.H. Mackenzie) macon: nmacon(a)nsf.gov (Nat Macon) macqueen: macqueen(a)research.att.com (David Macqueen) maddux: s1.rdm(a)isumvs.bitnet (Roger Maddux) madhav: madhav(a)neon.stanford.edu (Neel Madhav) main: main(a)boulder.colorado.edu (Michael Main) majid: shm10(a)phx.cam.ac.uk (Shahn Majid) makkai: makkai(a)triples.math.mcgill.ca (Michael Makkai) manna: manna(a)cs.stanford.edu (Zohar Manna) marden: marden(a)iassns.bitnet (Al Marden) marti-oliet: narciso(a)csl.sri.com (Narciso Marti-Oliet) martini: martini(a)di.unipi.it (Simone Martini) mauri: mauri(a)imiucca.unimi.it (? Mauri) mccoll: wfm(a)prg.oxford.ac.uk (Bill McColl) mckay: mckay(a)conu1.bitnet (John McKay) mckay: wendy(a)cc.umontreal.ca (Wendy McKay) mcnulty: n410102(a)univscvm.bitnet (George McNulty) mcrobbie: mam(a)arp.anu.oz.au (Michael McRobbie) meseguer: meseguer(a)csl.sri.com (Jose Meseguer) meyer: meyer(a)theory.lcs.mit.edu (Albert Meyer) milner: rm(a)lfcs.ed.ac.uk (Robin Milner) mislove: mwm(a)tulmath.math.tulane.edu (Michael Mislove) misra: misra(a)cs.utexas.edu (Jay Misra) mitchell: jcm(a)cs.stanford.edu (John Mitchell) mochnacki: stefan(a)centaur.astro.utoronto.ca (Stefan Mochnacki) moggi: em(a)lfcs.ed.ac.uk (Eugenio Moggi) molnar: rkm(a)macalstr.bitnet (Richard Molnar) montanari: ugo(a)di.unipi.it (Ugo Montanari) demoor: Oege.de.Moor(a)prg.oxford.ac.uk (Oege.de Moor) moschovakis: ynm(a)math.ucla.edu (Yiannis Moschovakis) muller: muller(a)harvard.edu (Robert Muller) mulry: phil(a)colgate.edu (Phil Mulry) mulvey: mmfc6(a)cluster.sussex.ac.uk (Chris Mulvey) mumford: mumford(a)zariski.harvard.edu (David Mumford) murphy: dvjm(a)cs.glasgow.ac.uk (David Murphy) murthy: murthy(a)cs.cornell.edu (Chet Murthy) murty: mt88(a)mcgilla.bitnet (Ram Murty) nation: nation(a)kahuna.math.hawaii.edu (James.B. Nation) nickau: nickau(a)hrz.uni-siegen.dbp.de (? Nickau) denicola: denicola(a)icnucevm.bitnet (Rocco.De Nicola) niefield: niefiels(a)union.bitnet (Susan Niefield) nowakowski: rjn(a)cs.dal.ca (Richard Nowakowski) ohearn: ohearn(a)top.cis.syr.edu (Peter Ohearn) okada: okada(a)concour.cs.concordia.ca (Mitsu Okada) oles: oles(a)ibm.com (Frank Oles) ong: chlo(a)doc.ic.ac.uk (Luke Ong) orzech: orzechm(a)qucdn.bitnet (Morris Orzech) otto: james_jim_otto(a)cup.portal.com (Jim Otto) overbeek: overbeek(a)anl-mcs.arpa (Russ Overbeek) depaiva: valeria.paiva(a)cl.cam.ac.uk (Valeria.de Paiva) panangaden: prakash(a)opus.cs.mcgill.ca (Prakash Panangaden) papert: seymour(a)media-lab.media.mit.edu (Seymour Papert) pare: pare(a)cs.dal.ca (Bob Pare) parikh: ripbc(a)cunyvm.bitnet (Rohit Parikh) parker: stott(a)cs.ucla.edu (Stott Parker) paterson: msp(a)cs.warwick.ac.uk (Mike Paterson) paulson: lcp(a)cl.cam.ac.uk (Larry Paulson) pavlovic: pavlovic(a)math.ruu.nl (Dusko Pavlovic) pedicchio: ti2tsg2h(a)icineca2.bitnet (Cristina Pedicchio) pelletier: jwpell(a)yorkvm1.bitnet (Joan Pelletier) phillips: phillips(a)uvvm.bitnet (John Phillips) pierce: benjamin.pierce(a)proof.ergo.cs.cmu.edu (Benjamin Pierce) pigozzi: s2.dlp(a)isumvs.bitnet (Don Pigozzi) pinter: pinter-shlomit(a)yale.edu (Shlomit Pinter) pitts: ap(a)cl.cam.ac.uk (Andy Pitts) plaisted: plaisted(a)cs.unc.edu (David Plaisted) platek: oravax!richard(a)cu-arpa.cs.cornell.edu (Richard Platek) platt: platt(a)uofmcc.bitnet (Craig Platt) plotkin: gdp(a)lfcs.edinburgh.ac.uk (Gordon Plotkin) pnueli: amir(a)wisdom.weizmann.ac.il (Amir Pnueli) poigne: ap(a)gmdzi.gmd.de (Axel Poigne) porter: mas013(a)vaxc.bangor.ac.uk (Tim Porter) power: ajp(a)lfcs.edinburgh.ac.uk (John Power) pratt: pratt(a)cs.stanford.edu (Vaughan Pratt) priestley: hap(a)vax.oxford.ac.uk (Hilary Priestley) probst: probst(a)bond.crim.ca (Richard Probst) rabin: rabin(a)humus.huji.ac.il (Michael Rabin) rachev: zarirach(a)bernoulli.ucsb.edu (Zari Rachev) ramshaw: ramshaw(a)src.dec.com (Lyle Ramshaw) randall: randall(a)elbereth.rutgers.edu (John Randall) raphael: raphael(a)vax2.concordia.ca (Robert Raphael) rattray: cr(a)cs.stir.ac.uk (Charles Rattray) repin: repin(a)log.mian.su (Nikolai Repin) reyes: 241(a)umtlvr.bitnet (Gonzalo Reyes) reynolds: john.reynolds(a)c.cs.cmu.edu (John Reynolds) riecke: riecke(a)theory.lcs.mit.edu (Jon Riecke) riemens: sriemens(a)ualtavm.bitnet (Sherman Riemenschneider) ritter: er(a)cl.cam.ac.uk (Eike Ritter) erobinson: edmundr(a)cogs.susx.ac.uk (Edmund Robinson) krobinson: kenr(a)elecvac.oz.au (Ken Robinson) deroever: wsinwpr(a)eutrc3.urc.tue.nl (Willem.de Roever) rolfsen: userodin(a)ubcmtsg.bitnet (Dale Rolfsen) roman: imate(a)unamvm1.bitnet (Leopoldo Roman) rosebrugh: rrosebrugh(a)mta.bitnet (Bob Rosebrugh) rosenthal: rosenthk(a)union.bitnet (Kimmo Rosenthal) rosolini: matema2(a)ipruniv.bitnet (Pino Rosolini) rota: rota(a)math.mit.edu (Gian-Carlo Rota) rotman: symcom!rotman(a)uxc.cso.uiuc.edu (Joseph Rotman) rounds: bill_rounds(a)um.cc.umich.edu (Bill Rounds) rovan: uniba!rovan(a)relay.eu.net (Branislav Rovan) rozenberg: rozenber(a)hlerul5.bitnet (Grzegor Rozenberg) rozenfeld: ar(a)alv.umd.edu (Azriel Rozenfeld) rudich: arie(a)theory.lcs.mit.edu (Arie Rudich) rudie: rudie(a)ecfb.toronto.edu (Karen Rudie) ruitenburg: wimr(a)math.mscs.mu.edu (Wim Ruitenburg) rumbos: rumbos(a)unamvm1.bitnet (Beatriz Rumbos) rus: rus(a)herky.cs.uiowa.edu (Theodor Rus) rydeheard: david(a)r3.cs.man.ac.uk (David Rydeheard) sakurai: a87480(a)tansei.cc.u-tokyo.ac.jp (Takafumi Sakurai) salisbury: salt(a)yorkvm1.bitnet (Tom Salisbury) sankappanevar: sankah(a)snynewba.bitnet (Hanamantagouda.P. Sankappanevar) scedrov: andre(a)cis.upenn.edu (Andre Scedrov) schelter: wfs(a)cli.com (Bill Schelter) schmidt: jschmidt(a)daimi.dk (Jorn Schmidt) schroeppel: rcs(a)la.tis.com (Rich Schroeppel) schumacher: schu(a)acadia.bitnet (Dietmar Schumacher) dscott: dana.scott(a)c.cs.cmu.edu (Dana Scott) pscott: scpsg(a)acadvm1.uottawa.ca (Phil Scott) seely: rags(a)bruce.cs.monash.oz.au (Robert Seely) seldin: seldin(a)antares.concordia.ca (Jonathan Seldin) shankar: shankar(a)csl.sri.com (Natarajan Shankar) shapiro: udi(a)wisdom.bitnet (Udi Shapiro) shields: m.shields(a)cs.surrey.ac.uk (Mike Shields) sichler: sichler(a)ccm.umanitoba.ca (Jiri Sichler) kurt: sieber(a)fb10vax.informatik.uni-saarland.dbp.de (Kurt Sieber) isimon: isimon(a)brusp.bitnet (Imre Simon) slifker: slifker(a)svax.cs.cornell.edu (Michael Slifker) smaill: smaill(a)aipna.edinburgh.ac.uk (Alan Smaill) small: nwnexus!cjsa!jeff(a)uunet.uu.net (Jeffery Small) gsmith: dalcs!gretchen(a)uunet.uu.net (Gretchen Smith) ssmith: scott(a)cs.jhu.edu (Scott Smith) sobral: sobral(a)ciuc2.uc.rccn.pt (Manuela Sobral) spencer: dwight(a)cse.ogi.edu (Dwight Spencer) srinivas: srinivas(a)madeleine.ics.uci.edu (Yellamraju Srinivas) staples: staples(a)uqcspe.cs.uq.oz.au (John Staples) steele: steele(a)think.com (Guy Steele) steiner: maths(a)vme.gla.ac.uk (Richard Steiner) stell: john(a)cs.kl.ac.uk (John Stell) stewart: cstewart(a)watserv1.uwaterloo.ca (Cameron Stewart) astone: macstone(a)bdc.ubc.ca (Art Stone) stout: lnstout(a)uiucvmd.bitnet (Lawrence Stout) strecker: strecker(a)galois.math.ksu.edu (George Strecker) street: street(a)mqcomp.mqcs.mq.oz.au (Ross Street) streicher: streiche(a)unipas.fmi.uni-passau.de (Thomas Streicher) subrahmanyam: ramesh(a)linc.cis.upenn.edu (Ramesh Subrahmanyam) suppes: suppes(a)csli.stanford.edu (Pat Suppes) swaminathan: swami(a)cs.dal.ca (S. Swaminathan) szabo: szabof(a)conu1.bitnet (Fred Szabo) takayama: takayama(a)okilab.oki.co.jp (Y. Takayama) talcott: clt(a)sail.stanford.edu (Carolyn Talcott) tatsuta: tatsuta(a)sato.riec.tohoku.ac.jp (Makoto Tatsuta) taubner: taubner(a)lan.informatik.tu-muenchen.dbp.de (Dirk Taubner) paultaylor: pt(a)doc.ic.ac.uk (Paul Taylor) philiptaylor: p.taylor(a)vax.rhbnc.ac.uk (Philip Taylor) wtaylor: wtaylor(a)boulder.colorado.edu (Walt Taylor) tennent: rdt(a)qucis.queensu.ca (Bob Tennent) tholen: tholen(a)yorkvm1.bitnet (Walter Tholen) thomson: tom(a)nw.stl.stc.co.uk (Tom Thomson) thurston: wpt(a)math.princeton.edu (Bill Thurston) tiuryn: tiuryn(a)cs.bu.edu (Jerzy Tiuryn) trakhtenbrot: trakhte(a)taurus.bitnet (Boris Trakhtenbrot) tschantz: tschanst(a)vuctrvax.bitnet (Steve Tschantz) tsuiki: tsuiki(a)kurims.kyoto-u.ac.jp (Hideki Tsuiki) turbak: lyn(a)zurich.ai.mit.edu (Franklyn Turbak) urquhart: urquhart(a)ai.toronto.edu (Alasdair Urquhart) valeriote: valeriot(a)mcmaster.bitnet (Matt Valeriote) van: d_vanosdol(a)unhh.unh.edu (Osdol Van) vardi: vardi(a)almaden.bitnet (Moishe Vardi) vermeulen: jjcvmath.uctvax(a)f4.n494.z5.fidonet.org (Japie Vermeulen) verwer: nico(a)cs.ruu.nl (Nico Verwer) vickers: sjv(a)doc.ic.ac.uk (Steven Vickers) vitanyi: paulv(a)cwi.nl (Paul Vitanyi) devries: ferjan(a)cwi.nl (Fer-jan.de Vries) waarts: orli(a)cs.stanford.edu (Orli Waarts) wachter: wachter(a)itd.nrl.navy.mil (Ralph Wachter) wadler: wadler(a)cs.glasgow.ac.uk (Philip Wadler) wagner: wagner(a)ibm.com (Eric Wagner) wallen: lincoln.wallen(a)prg.oxford.ac.uk (Lincoln Wallen) walters: walters_b(a)maths.su.oz.au (Bob Walters) wand: wand(a)corwin.ccs.northeastern.edu (Mitchell Wand) wasilewska: anita(a)sbcs.sunysb.edu (Anita Wasilewska) wells: cfw2(a)po.cwru.edu (Charles Wells) white: bwhite(a)inmet.inmet.com (Bill White) williams: ewilliam(a)kean.ucs.mun.ca (Ed Williams) winkler: winkler(a)csl.sri.com (Timothy Winkler) wood: rjwood(a)cs.dal.ca (Richard Wood) wraith: gavinw(a)sussex.ac.uk (Gavin Wraith) wright: gpwsg(a)acadvm1.uottawa.ca (Graham Wright) wyler: wyler(a)cs.cmu.edu (Oswald Wyler) yardini: eyal(a)wisdom.weizmann.ac.il (Eyal Yardini) yarroll: piggy(a)chinet.chi.il.us (LaMonte Yarroll) yetter: dyetter(a)msri.org (David Yetter) yoshida: yoshida(a)icot.jp (Kaoru Yoshida) yoshiki: yoshiki(a)etl.go.jp (Kinoshita Yoshiki) young: young(a)xx.lcs.mit.edu (Jonathan Young) zawadowski: warsaw(a)ccb.uib.es (Marek Zawadowski) zhang: gqz(a)pollux.cs.uga.edu (Qiang Zhang) zocco: dean.zocco@klb (Meg Zocco)

1 0

additions/corrections
by barr＠triples.Math.McGill.CA 30 Jan '91

30 Jan '91

Dear Bob: Here are some additions/corrections. Most of them are addresses Fox has collected from people coming this summer. A few (from Seely, Street and Robinson) are from the people themselves. In all cases they are more recent than the ones I had, so likelier to be correct. betti(a)unimat.to.cnr.it Betti Renato bonacina(a)sbcs.sunysb.edu Bonacina M.Paola udos001(a)frors12.bitnet Breen Larry mabrink(a)dknkurz1.bitnet Brinkman Hans-Berndt r.brown(a)vaxa.bangor.ac.uk Brown Ronnie mbullejos(a)ugr.es Bullejos Manuel casley(a)neon.stanford.edu Casley Ross diers(a)frcitl81.bitnet Diers Yves alzzs002(a)seins.santiago.usc.es Gago Felipe grandis@igecuniv Grandis Marco hardieka.uctvax(a)f4.n494.z5.fidonet.org Hardie Kieth gabi%opal.cs.tu-berlin.de(a)tab.bitnet (for) Hoehnke H-J hsiang(a)sbcs.sunysb.edu Hsiang Jieh jardine(a)uwovax.uwo.ca Jardine John matak(a)mi.aau.dk Kock Anders lglewis(a)sunrise.bitnet Lewis Gaunce macstone(a)bdc.ubc.ca MacDonald John pm1kchm(a)primea.sheffield.ac.uk Mackenzie K.C.H. shm10(a)phx.cam.ac.uk Majid Shahn em(a)lfcs.ed.ac.uk Moggi Eugenio mmfc6(a)cluster.sussex.ac.uk Mulvey Chris pavlovic(a)math.ruu.nl Pavlovic Dusko cr(a)cs.stir.ac.uk Rattray Charles edmundr(a)cogs.susx.ac.uk Robinson Edmund wimr(a)math.mscs.mu.edu Ruitenburg Wim rumbos(a)unamvm1.bitnet Rumbos Beatriz rags(a)triples.math.mcgill.ca Seely Robert rags(a)bruce.cs.monash.oz.au Seely Robert smaill(a)aipna.edinburgh.ac.uk Smaill Alan scott(a)cs.jhu.edu Smith Scott sobral(a)ciuc2.uc.rccn.pt Sobral Manuela maths(a)vme.gla.ac.uk Steiner Richard john(a)cs.kl.ac.uk Stell John macstone(a)bdc.ubc.ca Stone Art lnstout@uiucvmd Stout Lawrence N. street(a)mqcomp.mqcs.mq.oz.au Street Ross jjcvmath.uctvax(a)f4.n494.z5.fidonet.org Vermeulen Japie piggy(a)chinet.chi.il.us Yarroll LaMonte H. warsaw(a)ccb.uib.es Zawadowski Marek

1 0

email list
by barr＠triples.Math.McGill.CA 28 Jan '91

28 Jan '91

Dear Bob: I have a list of email addresses more than 300 lines long and I thought it might be of interest to your mailing list. A few comments. In my experience the half life of an email address is not over a year. Some of these addresses are several years old and some are of people I don't know that I got by exchanging my list with Fred Linton. So there are no guarantees on the correctness of my list. Then I have heard that bitnet is officially dead, although most mailers seem to handle the bitnet addresses still, it is probably better to use an internet address, if known. Most of the people at McGill have two addresses, one of which they use and the other is set to forward mail to the other. As they get frustrated with the mainframe address, I imagine they will move to the unix machine (triples). Lambek actually has an account, but he never uses it; his mail is forwarded to the department and is printed out and given to him. The office is not too happy with this arrangement, so don't add him to the mailing list. On the other hand, don't let the unhappiness of the office staff stop you from sending him real messages. I realize that we are there to serve the office staff, but you can carry that principle too far. Mike =========================================== Seems like good idea to me. I've updated the list from Mike's in a few cases where I know what he had to be out of date. This list includes much of the categories list, and much else which I'm sure neither Mike nor I take any responsibility for. The list follows. Bob Rosebrugh ============================================ sieber%fb10vax.informatik.uni-saarland.dbp.de(a)relay.cs.net Kurt Sieber dhemm%odin.wright.edu%relay.cs.net(a)mitvma.mit.edu Hemmendinger David sa(a)doc.ic.ac.uk Abramsky Samson useradms@ubcmtsg Adams Bob rick(a)seismo.css.gov Adams Rick rick(a)uunet.uu.net Adams Rick ara(a)lom1.math.yale.edu Adler Alan amadio(a)dmi.ens.fr Amadio Roberto anderson(a)bright.math.uoregon.edu (Harrison) Anderson Frank cld(a)arbortxt.com Arbortext Inc astes@igecuniv Astesiano Egidio atkinson(a)math.toronto.edu Atkinson Derek microsoft!adamba(a)beaver.cs.washington.edu Barr Adam inhb(a)musicb.mcgill.ca Barr Michael barr(a)triples.math.mcgill.ca Barr Michael rgb(a)math.ams.com Bartle Bob barwise(a)csli.stanford.edu Barwise Jon bemus(a)theory.lcs.mit.edu Bemus Sally C. dbenson(a)cs2.cs.wsu.edu Benson David B. gbergman(a)cartan.berkeley.edu Bergman George pbhaduri(a)cs2.cs.wsu.edu Bhadhuri Purandar ziggy(a)hx.lcs.mit.edu Blair Michael blass(a)ub.cc.umich.edu or usergc4c@umichub Blass Andreas bard(a)cs.cornell.edu Bloom Bard fborceux(a)buclln11.bitnet Borceux Francis jborwein(a)cs.dal.ca Borwein Jon pborwein(a)cs.dal.ca Borwein Peter eomsg(a)acadvm1.uottawa.ca (613) 564-2223 CMS Bouchard Monique kim(a)cs.williams.edu Bruce Kim hbrunner(a)mun.bitnet Brunner Herman ecomail(a)vms2.uni-c.dk de Bukh Per Nikolai inbe(a)musicb.mcgill.ca Bunge Marta bunge(a)triples.math.mcgill.ca Bunge Marta burroni(a)frmap711.bitnet Burroni Albert rb(a)cheops.ed.ac.uk Burstall Rod exsmc(a)acadvm1.uottawa.ca (613) 564-2223 CMS executive office cjm(a)carleton.ca Canad. J. Math. cmb(a)nexus.yorku.ca Canad. Math. Bull. carboni(a)imiucca.unimi.it Carboni Aurelio carrdm(a)snyplaba.bitnet Carr Donna nicola@mcgill1 Carter Nicola casley(a)cs.stanford.edu Casley Ross d.cerra(a)wiley.compuserve.com Cerra D. choi(a)grad1.cis.upenn.edu Choi Jin-Young cscphc(a)depaul.bitnet Chu Po-Hsiang jhc%mtune.att.com(a)rutgers.edu Clark Jonathan mtune.att.com!jhc(a)rutgers.edu Clark Jonathan rcockett(a)mqccsuna.mqcc.mq.oz.au Cockett Robin coquande(a)margaux.inria.fr Cocquand Thierry comers(a)citadel.bitnet Comer Stephen mthmjc(a)ubvms.bitnet (Buffalo) Cowen Mike munnari!moncsbruce.oz!jnc(a)uunet.uu.net Crossley John crow(a)csl.sri.com Crow J. curien(a)dmi.ens.fr Curien Pierre-Louis pavel.pa(a)xerox.com Curtis Pavel rdawson(a)husky1.stmarys.ca Dawson Robert delfour(a)cc.umontreal.ca Delfour Michel nachum(a)m.cs.uiuc.edu Dershowitz Nachum nachum(a)uiucvmd.bitnet Dershowitz Nachum rdcbb(a)cunyvm.bitnet Diaconescu Radu doh(a)ksuvax1.cis.ksu.edu Doh Kyung-Goo mdoob(a)ccu.umanitoba.ca Doob Michael den(a)cs.umd.edu Duggan Dominic mthduskn@ubvms Duskin Jack dybkjaer(a)diku.dk Dybkjaer Hans ehrlich%inria.inria.fr(a)mcvax.bitnet Ehrlich Bobby mcvax.cwi.nl!inria.inria.fr!ehrlich(a)uunet.uu.net Ehrlich Bobby theory(a)faui77.informatik.uni-erlangen.de Erlangen mernst(a)theory.lcs.mit.edu Ernst Michael v068p76v@ubvmsa Faro Emilio jhf%woodsy(a)lanl.gov Fasel Joe d_feldman(a)unhh.bitnet Feldman David mike(a)tel.inrs.cdn Ferguson Michael J. mikef(a)lfcs.edinburgh.ac.uk Fourman Michael mt16(a)musica.mcgill.ca Fox fox(a)triples.math.mcgill.ca Fox ralph(a)kahuna.math.hawaii.edu Freese Ralph ralph(a)uhccux.bitnet Freese Ralph ralph(a)uhccux.uhcc.hawaii.edu Freese Ralph pam(a)linc.cis.upenn.edu Freyd Pam pjf(a)saul.cis.upenn.edu Freyd Peter rudolf.fritsch(a)mathematik.uni-muenchen.dbp.de Fritsch Rudolph ganong@yorkvm1 Ganong Richard anthony.v.geramita(a)queensu.ca Geramita Anthony V. gersten@penndrls Gerstenhaber Murray goguen%prg.oxford.ac.uk(a)nsfnet-relay.ac.uk Goguen Joseph joseph.goguen(a)prg.oxford.ac.uk Goguen Joseph goldberg(a)cs.nyu.edu Goldberg Ben phr00jg@technion Goldberg Jacques edgar(a)munucs.mun.ca Goodaire Edgar v5200e@templevm Gordon Bob symcom!gray(a)uxc.cso.uiuc.edu Gray John guitart(a)frmap711.bitnet Guitart Rene gunter(a)linc.cis.upenn.edu Gunter Carl elsa(a)linc.cis.upenn.edu Gunter Elsa L. fkh(a)ukc.ac.uk Hanna Keith munnari!cs.mu.oz.au!jah(a)uunet.uu.net Harland James rwh(a)proof.ergo.cs.cmu.edu Harper Robert wiawkph(a)hdetud1.bitnet Hart Klaas Pieter magne(a)eik.ii.uib.no Haveraaen Magne mhebert(a)lavalvm1.bitnet Hebert Michel henriksen(a)ymir.bitnet Henrickson Mel in3u@mcgillb Herz Carl whill(a)hplwlh.hpl.hp.com Hill Walt majrh%pyramid.swansea.ac.uk(a)mitvma.mit.edu Hindley Roger schuko(a)is.s.u-tokyo.ac.jp Hiroyuki SATO julie(a)prg.oxford.ac.uk (Julie Shepard for) Hoare Tony raymond(a)cs.ruu.nl Hoofman Raymond hook(a)cse.ogi.edu Hook James dhosek@hmcvax Hosek Don hudak-paul(a)yale.arpa Hudak Paul hudak(a)cs.yale.edu Hudak Paul huet(a)inria.inria.fr Huet Gerard nhu(a)dione.hut.fi Husberg Nisse ramu%tcipro.uucp(a)unix.sri.com Iyer Ramu bart(a)cs.kun.nl Jacobs Bart radha(a)cs.cornell.edu Jagadeesan Radha jardine(a)uwovax.bitnet Jardine John F. cbj(a)lfcs.edinburgh.ac.uk Jay Barry alan.jeffrey(a)prg.oxford.ac.uk Jeffrey Alan munnari!summer.su.oz.au!johnson_m(a)uunet.uu.net Johnson Michael munnari!mqcomp.mqcs.mq.oz.au!mike(a)uunet.uu.net Johnson Mike pjohnson@wesleyan Johnson Paul jouvelot(a)ensmp.fr Jouvelot Pierre joyal(a)math.uqam.ca Joyal Andre djoyce(a)clarku.bitnet Joyce David xmatdb5r(a)ddathd21.bitnet Jung Achim kane(a)uwovax.uwo.ca Kane Richard kao(a)iuvax.cs.indiana.edu Kao Ming kasan(a)imiucca.unimi.it Kasangian Stefano jrk(a)sys.uea.ac.uk Kennaway Richard jkennison@clarku Kennison John kleisli(a)cfruni52.bitnet Kleisli Heinrich peterk(a)cs.ruu.nl Knijnenburg P. kochman(a)nexus.yorku.ca (416) 736-5250 Kochman Stanley koslowj(a)math.ksu.edu Koslowski J\"urgen labute(a)gauss.math.mcgill.ca Labute John P. lamarche(a)cs.dal.ca Lamarche Francois lambek(a)triples.math.mcgill.ca Lambek Joachim william(a)kahuna.math.hawaii.edu Lampe Bill william(a)uhccux.bitnet Lampe Bill william(a)uhccux.uhcc.hawaii.edu Lampe Bill lamport(a)decwrl.dec.com Lamport Leslie dml(a)bklyncis.bitnet Latch Dana May jl(a)cs.glasgow.ac.uk Launchbury John mthmjc(a)ubvmsa.bitnet mthmjc(a)ubvms.bitnet Lawvere Bill via Mike Cowen daniel.leivant(a)b.gp.cs.cmu.edu Leivant Daniel aflent(a)theory.lcs.mit.edu Lent Arthur aliao(a)eagle.wesleyan.edu Liao Andrew jli(a)dione.hut.fi Lilius Johan flinton(a)eagle.wesleyan.edu Linton FEJ flinton@wesleyan Linton FEJ longo@frulm63 Longo Giuseppe mcvax!dipisa!longo(a)uunet.uu.net Longo Giuseppe hlord(a)csupomona.edu Lord Harriet lowry(a)kestrel.edu Lowry r_lubarsky(a)faudm.bitnet Lubarsky Robert coby(a)ucbcevax.bitnet Lubliner Coby qingming.ma%cs.cmu.edu(a)vma.cc.cmu.edu Ma Qingming main(a)boulder.colorado.edu Main Michael mt78@mcgilla Makkai Michael makkai(a)triples.math.mcgill.ca Makkai Michael narciso(a)csl.sri.com Marti-Oliet Narciso martini(a)csli.stanford.edu Martini Simone mathrev(a)seed.ams.com Math Reviews mauri(a)imiucca.bitnet Mauri dept(a)gauss.math.mcgill.ca McGill Math Dept mckay@conu1 McKay John wendy(a)cc.umontreal.ca McKay Wendy n410102(a)univscvm.bitnet McNulty George meseguer(a)csl.sri.com Meseguer Jose meyer(a)theory.lcs.mit.edu Meyer Al mcvax.cwi.nl!vu.nl!vanmill(a)uunet.uu.net van Mill Jan vu.nl.uucp!vanmill(a)mcvax.bitnet van Mill Jan jcm(a)cs.stanford.edu Mitchell John C. em(a)cl.cam.ac.uk Moggi Eugenio rkm@macalstr Molnar Richard K. Oege.de.Moor(a)prg.oxford.ac.uk de Moor Oege muller(a)harvard.edu Muller R. phil(a)colgate.edu Mulry Phil dvjm(a)cs.glasgow.ac.uk Murphy David murthy(a)cs.cornell.edu Murthy Chet mt88@mcgilla Murty Ram jbnation(a)kahuna.math.hawaii.edu Nation J.B. jbnation(a)uhccux.uhcc.hawaii.edu Nation J.B. naumann(a)cs.utexas.edu Naumann nickau(a)hrz.uni-siegen.dbp.de Nickau niefiels(a)union.bitnet Niefield Susan rjn(a)cs.dal.ca Nowakowski Richard J. ohearn(a)top.cis.syr.edu O'Hearn Peter okada(a)concour.cs.concordia.ca Okada Mitsu mcvax!doc.ic.ac.uk!chlo(a)uunet.uu.net Ong Luke orzechm@qucdn Orzech Morris james_jim_otto(a)cup.portal.com Otto Jim vcvp1(a)phx.cam.ac.uk de Paiva Valeria vcvp(a)cl.cam.ac.uk de Paiva Valeria prakash(a)opus.cs.mcgill.ca Panangeden Prakash pare(a)cs.dal.ca Pare Bob ti2tsg2h(a)icineca2.bitnet Pedicchio Cristina jwpell@yorkvm1 Pelletier Joan pti(a)well.sf.ca.us Personal TeX Inc. phillips(a)uvvm.bitnet Phillips John benjamin.pierce(a)proof.ergo.cs.cmu.edu Pierce Benjamin ap%cl.cam.ac.uk(a)nss.cs.ucl.ac.uk Pitts Andy ap(a)cl.cam.ac.uk Pitts Andy plaisted(a)cs.unc.edu Plaisted David A. oravax!richard(a)cu-arpa.cs.cornell.edu Platek Richard platt(a)uofmcc.bitnet Platt Craig gdp(a)ecsvax.ed.ac.uk Plotkin Gordon mas013(a)vaxc.bangor.ac.uk Porter Tim catfish(a)bklyn.bitnet PostMaster Brooklyn College ajp(a)lfcs.edinburgh.ac.uk Power John pratt(a)cs.stanford.edu Pratt Vaughn press(a)vm.utcs.utoronto.ca Press U of T zarirach%bernoulli(a)hub.ucsb.edu Rachev Zari zarirach(a)bernoulli.ucsb.edu Rachev Zari randall(a)elbereth.rutgers.edu Randall John raphael(a)vax2.concordia.ca Raphael Robert 241(a)umtlvr.bitnet Reyes Gonzalo riecke(a)theory.lcs.mit.edu Riecke Jon sriemens@ualtavm Riemenschneider Sherman er(a)cl.cam.ac.uk Ritter Eike userodin@ubcmtsg Rolfsen Dale imate(a)unamvm1.bitnet Roman Leopoldo rrosebrugh(a)mta.bitnet Rosebrugh Robert rosenthk(a)union.bitnet Rosenthal Kimmo matema2(a)ipruniv.bitnet Rosolini Pino symcom!rotman(a)uxc.cso.uiuc.edu Rotman Joseph arie(a)theory.lcs.mit.edu Rudich Arie david(a)r3.cs.man.ac.uk Rydeheard David a87480(a)tansei.cc.u-tokyo.ac.jp Sakurai Takafumi salt(a)yorkvm1.bitnet (416) 736-5250 Salisbury Tom andre(a)saul.cis.upenn.edu Scedrov Andre jschmidt(a)daimi.dk Schmidt Jorn schu@acadia Schumacher Dietmar scpsg(a)acadvm1.uottawa.ca Scott Phil mt79(a)musica.mcgill.ca Seely Robert seely(a)triples.math.mcgill.ca Seely Robert seldin(a)antares.concordia.ca Seldin Jonathon sichler(a)ccm.umanitoba.ca Sichler Jiri slifker(a)svax.cs.cornell.edu Slifker M. data-io.com!nwnexus!cjsa!jeff(a)rutgers.edu Small Jeffery nwnexus!cjsa!jeff(a)uunet.uu.net Small Jeffery dalcs!gretchen(a)uunet.uu.net Smith Gretchen scott(a)spot.cs.jhu.edu Smith Scott dwight(a)cse.ogi.edu Spencer Dwight srinivas(a)madeleine.ics.uci.edu Srinivas Y. V. cstewart(a)watserv1.uwaterloo.ca Stewart Cameron strecker(a)galois.math.ksu.edu Strecker George munnari!mqcomp.mqcs.mq.oz.au!street(a)uunet.uu.net Street Ross street(a)mqcomp.mq.oz Street Ross streiche(a)unipas.fmi.uni-passau.de Streicher Thomas ramesh(a)linc.cis.upenn.edu Subrahmanyam Ramesh theory(a)cogs.sussex.ac.uk Sussex swami(a)cs.dal.ca (902) 424-3864 Swaminathan S. szabof(a)conu1.bitnet Szabo Fred takayama(a)okilab.oki.co.jp Takayama Y. clt(a)sail.stanford.edu Talcott Carolyn tatsuta(a)sato.riec.tohoku.ac.jp Tatsuta Makoto M.Taylor(a)Wiley.compuserve.com Taylor Maria pt(a)doc.ic.ac.uk Taylor Paul p.taylor(a)vax.rhbnc.ac.uk Taylor Philip wtaylor(a)colorado.bitnet Taylor Walter wtaylor(a)euclid.colorado.edu Taylor Walter tug(a)math.ams.com TeX User's group archive-managment(a)sun.soe.clarkson.edu TeX server at Clarkson archive-server(a)sun.soe.clarkson.edu TeX server at Clarkson texhax(a)cs.washington.edu TeXhax texmag-l@utoronto TeXmag rdt(a)qucis.queensu.ca Tennent Bob tholen(a)yorkvm1.bitnet Tholen Walter tom(a)nw.stl.stc.co.uk Thomson Tom tsuiki(a)kurims.kyoto-u.ac.jp Tsuiki Hideki tugboat(a)math.ams.com Tugboat lyn(a)zurich.ai.mit.edu Turbak Franklyn valeriot@mcmaster Valeriote Matt d_vanosdol(a)unhh.unh.edu Van Osdol Don nico(a)cs.ruu.nl Verwer Nico sjv(a)doc.ic.ac.uk Vickers Steven J. ferjan(a)cwi.nl de Vries Fer-Jan mcvax!ruufil!ferjan(a)uunet.uu.net de Vries Fer-Jan wadler(a)cs.glasgow.ac.uk Wadler Philip lincoln.wallen(a)prg.oxford.ac.uk Wallen Lincoln munnari!summer.su.oz.au!walters_b(a)uunet.uu.net Walters Bob summer.su.oz!walters_b(a)australia.csnet.cs.net Walters Bob wand%corwin.ccs.northeastern.edu(a)relay.cs.net Wand Mitchell wand(a)corwin.ccs.northeastern.edu Wand Mitchell anita(a)sbcs.sunysb.edu Wasilewska Anita anita(a)suny-sb.csnet Wasilewska Anita mcvax!cs.vu.nl!evert(a)uunet.uu.net Wattel Evert mcvax.cwi.nl!vu.nl!evert(a)uunet.uu.net Wattel Evert vu.nl.uucp!evert(a)mcvax.bitnet Wattel Evert cfw2(a)po.cwru.edu Wells Charles bwhite(a)inmet.inmet.com White Bill wilf(a)cis.upenn.edu Wilf Herb williams(a)colorado.bitnet Williams ewilliam(a)kean.ucs.mun.ca Williams Ed winkler(a)csl.sri.com Winkler Timothy rjwood(a)cs.dal.ca Wood Richard gavin(a)cvaxa.sussex.ac.uk Wraith Gavin gavinw(a)sussex.ac.uk Wraith Gavin gavinw(a)syma.sussex.ac.uk Wraith Gavin gpwsg(a)acadvm1.uottawa.ca (613) 564-5480 Wright Graham wyler(a)cs.cmu.edu Wyler Oswald piggy(a)gargoyle.uchicago.edu Yarroll La Monte H. ts5742@ohstvma Yetter David yoshiki(a)etl.go.jp Yoshiki KINOSHITA young(a)xx.lcs.mit.edu Young Jonathan dean.zocco@klb Zocco Meg

1 0

Event spaces abstract
by Vaughan Pratt 18 Jan '91

18 Jan '91

I'd hoped to have "Concurrent Automata and Their Logic" fully rewritten by now as "Event Spaces and Their Linear Logic" to incorporate the many new things that have emerged meanwhile. Unfortunately too much else has been going on so ES has been on the stack for a while. I have three projects due before I leave for POPL on Saturday so it will remain on the stack till February. Meanwhile here's how the abstract looks. The original version is still available as catl.tex by anonymous ftp from boole.stanford.edu:/pub, it plus this abstract is enough to permit reconstructing everything. Incidentally Boole's ftp server has logged 646 sessions from 322 different hosts since I started this service in October. Boole is a useful little (in fact tiny) file server. Event Spaces and their Linear Logic V.R. Pratt An event space or schedule is a poset having a top as the permanently deferred event and arbitrary nonempty joins as the concurrence of the joined events, with event conflict represented by their join being top. The state space or automaton dual to an event space is obtained simply by removing the top and adjoining a bottom; this yields a poset having a bottom as the initial state and arbitrary nonempty meets, which surprisingly all exist, as decision states, with demonic state choice represented by their meet being bottom. These structures form dually isomorphic nondegenerate categories Sched and Aut determining the operations of a concurrent programming language, along with additional operations to make it a linear logic of concurrency whose exponential yields a free schedule and its dual a free automaton. The structure of event spaces may be understood in terms of that of vector spaces via three moves: first drop scalar division and complete to yield complete modules, then drop scalar subtraction to yield complete semilattices, and finally relocate the origin to the top to yield event spaces. Each stage preserves the operations of direct product, tensor product, internal hom, and dual while introducing an improvement: first removal of the finite-dimension limitation on duality, then removal of group-induced rigidity to create a logic, and finally separation of all dual pairs of operations into usefully different operations. Category theory was used to find event spaces but is not needed for their exposition, for which the language of elementary lattice theory suffices.

1 0

Bulgarian visas
by Fred E.J. Linton 11 Jan '91

11 Jan '91

Got back from two weeks in Warsaw a week ago. There I learned (from the Bulgarian consulate in Warsaw) that Bulgaria no longer requires visas of US citizens. This information (if true -- I have not yet checked it out locally) may be of interest to others contemplating attending the March EECS '91 outside Sofia. -- Fred Fred E.J. Linton Wesleyan U. Math. Dept. 649 Sci. Tower Middletown, CT 06457 E-mail: <FLINTON(a)eagle.Wesleyan.EDU> or <fejlinton(a){att|mci}mail.com> Tel.: + 1 203 776 2210 (home) or + 1 203 347 9411 x2249 (work)

1 1

Renewal of Call for Papers
by Paul Myers 10 Jan '91

10 Jan '91

RE: Conference on "Constructivity in Computer Science." There is a new deadline for submissions of papers since the previous email announcement was late and during the holidays. The new due date for extended abstracts is FEBRUARY 21, 1991. We are renewing the call for papers now. A couple other items of interest: It appears now that Prof. Dana Scott will be accepting our earlier invitation to participate. Also, there are indications that a few papers will be submitted regarding essentially nonconstructive techniques proving useful in computer science. Later in January, we'll know whether we'll be receiving NSF funds to provide assistance for some of the participants with conference expenses. Finally, please forward this announcement to anyone who you feel might be interested. That will help with publicity. Renewal for CALL FOR PAPERS ... Constructivity in Computer Science Trinity University San Antonio, Texas June 18 - 22, 1991 Sponsored by The University of Chicago and Trinity University The emergence of computer science as a discipline has naturally led to a renewal of interest in constructivity, which has become common in the literature of theoretical computer science, programming language semantics, database, logic programming, etc. Constructive notions form a foundational framework for the field of computer science. Indeed, constructivity shows up often in the various theoretical (and applied!) computer science conferences; hence the pertinent results and ideas have been scattered throughout the literature. So the time seems overdue to acknowledge the importance of constructivity to computer science with a conference linking the two by name (that name derived from Heyting's first 1957 conference, "Constructivity in Mathematics"). The primary goal of the conference is to provide a forum for the presentation of contemporary research linking constructivity with computer science and to establish networks of like-minded researchers in computer science, logic, and mathematics. As meetings devoted to constructivity are infrequent (roughly once a decade), instances of breadth will be welcome at the conference also. Robert Constable (Cornell University) and Michael O'Donnell (University of Chicago) have agreed to contribute to these endeavors. Since constructivity is seen by many to be foundational for the field, it seems important to introduce it explicitly into the computer science curriculum. To this end the conference will also include a small "track" to address integration of the concepts of constructivity into the computer science curriculum. Newcomb Greenleaf (Columbia University) has agreed to contribute in this regard. Authors should submit 3 copies of an extended abstract by FEBRUARY 21,1991 to: Research: Michael J. O'Donnell Department of Computer Science The University of Chicago Chicago, Illinois 60637 (312) 702-6011 odonnell(a)tartarus.UChicago.edu Curriculum: J. Paul Myers, Jr. Department of Computer Science Trinity University San Antonio, Texas 78212 (512) 736-7398 BITNET: pmyers@trinity Submissions should be limited to 10 typed, double-spaced pages. They should begin with a brief statement of the significance of the submission, understandable to non-specialists. Acceptance decisions will be communicated by April 30, 1991; the final copy will be due at the conference. We expect to publish the Proceedings as a volume of Springer-Verlag's Lecture Notes in Computer Science. For general information about the conference, please contact Professor Myers, above. -=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-= J. Paul Myers, Jr. Department of Computer Science Trinity University 715 Stadium Drive San Antonio, Texas 78212 (512) 736-7398 -=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=

1 0

Concurrency and linear logic paper
by Vaughan Pratt 05 Jan '91

05 Jan '91

The following extended abstract can be retrieved by anonymous ftp from boole.stanford.edu, IP address 36.8.0.65. Instructions for retrieving this and other papers may found in /pub/README. Contact me, pratt(a)cs.stanford.edu, if you need further assistance or would prefer to receive a copy by email. Concurrent Automata and Their Logic A concurrent automaton is a poset with a top (the global initial state) and all nonempty sups (the local initial states). These form a nondegenerate self-dual category Aut admitting universally definable operations constituting a concurrent programming language and additional operations yielding a linear logic of concurrency. The automaton ?a is a power set whose dual !a is a free automaton, obtainable from ?a by moving the empty set to the top. The linear logic theory Th(CSLat) of complete semilattices strictly extends Th(Aut), having no counterexample to ?a=!a since ?a and !a are both power sets on the underlying set of a but for dual reasons. Both theories strictly extend linear logic with such howlers as 0=1; these but not ?a=!a are removable by intersecting with classical logic, equivalent to taking both sides of the respective dualities as a single model. This makes Aut a particularly simple model of linear logic. The self-duality of both categories facilitates a noncategorical account requiring only elementary lattice theory for a complete understanding. Vaughan Pratt

1 0