id AA02936; Fri, 2 Dec 1994 12:46:27 -0400 Date: Fri, 2 Dec 1994 12:30:47 -0400 (AST) Subject: Re: history question: Grothendieck universes Date: Fri, 02 Dec 1994 09:29:10 -0500 (EST) From: MTHDUSKN@ubvms.cc.buffalo.edu The term was popularised by students and colleagues of Grothendieck in the 60's.A discussion of it can be found in SGA 4 SLN#269 in an appendix attributed to "N.Bourbaki" id AA08739; Fri, 2 Dec 1994 18:01:52 -0400 Date: Fri, 2 Dec 1994 17:59:27 -0400 (AST) Subject: Jacques Penon's e-mail address Date: Fri, 2 Dec 94 11:18:41 EST From: Michael Makkai Can anyone tell me how I can reach Jacques Penon in Paris by e-mail? Thanks: Michael Makkai id AA26082; Mon, 5 Dec 1994 15:46:32 -0400 Date: Mon, 5 Dec 1994 15:42:54 -0400 (AST) Subject: Current structures directory Date: Sun, 4 Dec 94 22:22:11 PST From: Vaughan Pratt Here is the current version of Structdir, which is now up to 710 names. Please send changes and additions to me. -- Vaughan Pratt pratt@cs.stanford.edu. # Structures Directory -- Email addresses of structure theorists # Release 6.0, December 4, 1994 # Master copy: Boole.Stanford.EDU:^ftp/pub/structdir # Maintainer: Vaughan Pratt, pratt@cs.stanford.edu # # # This is an email directory of logicians, algebraists, and programming # linguists working primarily on structural problems in mathematics and # computer science. It is organized as a Unix aliases file and # may be appended directly to the aliases file that normally resides in # /usr/lib or /etc. The most recent release of this directory may be # obtained at any time by anonymous ftp from Boole.Stanford.EDU as the # file /pub/structdir # # The purpose of this directory is to permit those listed in it to be # easily contacted individually by email. # # NOTICE: Please do not use any email address obtained from this # directory for other than the purpose stated above without first # obtaining the consent of the owner of that address. Such proscribed # uses include adding an address obtained from this directory to a # mailing list used for broadcast mailings, and noting the fact of # inclusion in this directory in a profile of the included individual. # # The list observes the following conventions. Column 1 is the alias, # which usually consists of the surname prefixed when necessary for # disambiguation with an initial or the whole first name. It starts in # character column 1 and is restricted to the 26 characters a-z (no # capitals, digits, or punctuation), and usually includes any preceding # "de" or "van". Column 2, which starts in character column 17, is the # email address in lower case with no %'s, and is either a regular # internet domain address, a .bitnet address, or a uucp address in ! # format. Column 3 is "(Forename" and column 4 the matching "Surname)". # The list is sorted by surname using the Unix sort command in the form # `sort +3` (sort ignoring the first three columns). The "de" or "van" # if any is placed in whichever of columnn 3 or 4 achieves its owner's # preferred alphabetization. Column 3 starts as close to column 57 as # possible subject to the other constraints and column 4 is separated # from column 3 by one space. There are no tabs in the file, and no line # is longer than 79 characters. # # Although the directory contains no repeated aliases (column 1 entries), # the aliases file to which you append it may already contain aliases # that also appear here. You should be aware that the resulting # conflicts will not be reported as such, but rather that the mailing # programs will select either the last or first repeated alias as the one # to use depending respectively on whether or not your mail system # preprocesses the aliases file for faster retrieval. # # Vaughan Pratt # Computer Science Department # Stanford University # Stanford, CA 94305 # pratt@cs.stanford.edu # 415-723-2943 # # People # abadi: ma@src.dec.com (Martin Abadi) abiteboul: abitebou@inria.inria.fr (Serge Abiteboul) abramsky: sa@doc.ic.ac.uk (Samson Abramsky) aceto: luca@cogs.sussex.ac.uk (Luca Aceto) aczel: petera@cs.man.ac.uk (Peter Aczel) adamek: adamek@math1.cvut.cs (Jiri Adamek) adams: useradms@mtsg.ubc.ca (Bob Adams) adelman: murray@macadam.mpce.mq.edu.au (Murray Adelman) adler: ara@lom1.math.yale.edu (Alan Adler) ageron: gremlin@math.unicaen.fr (Pierre Ageron) ait-kaci: hak@decprl.dec.com (Hassan Ait-Kaci) aitchison: iain@mundoe.munnari.oz.au (Iain Aitchison) alager: alagar@cs.concordia.ca (V.S. Alagar) albert: michael.albert@cmu.edu (Michael Albert) alimohamed: moez@saul.cis.upenn.edu (Moez Alimohamed) almada: matjoao%ptearn.bitnet@frmop11.cnusc.fr (Teresa Almada) altenkirch: alti@dcs.ed.ac.uk (Thorsten Altenkirch) amadio: amadio@loria.fr (Roberto Amadio) ambler: sja4@mcs.le.ac.uk (Simon Ambler) amnell: amnell@klaava.helsinki.fi (Marko Amnell) andersen: nils@diku.dk (Nils Andersen) anderson: anderson@bright.math.uoregon.edu (Frank Anderson) andreka: h2644and@ella.hu (Hajnal Andreka) apt: apt@cs.utexas.edu (Krzystof Apt) arbib: arbib@cs.usc.edu (Michael Arbib) arnold: arnold@geocub.greco-prog.fr (Andre Arnold) artemov: sergei@artemov.mian.su (Sergei Artemov) asperti: andrea.asperti@inria.fr (Andrea Asperti) astesiano: astes@disi.unige.it (Egidio Astesiano) atkinson: atkinson@math.toronto.edu (Derek Atkinson) avron: aa@math.tau.ac.il (Arnon Avron) bach: rene@tech.ascom.ch (Rene Bach) baez: baez@ucrmath.ucr.edu (John Baez) baker: kab@math.ucla.edu (Kirby Baker) baker-finch: clem@ise.canberra.edu.au (Clem Baker-Finch) baranoff: sergei@hm.iias.spb.su (Sergei Baranoff) barr: barr@triples.math.mcgill.ca (Michael Barr) bartle: rgb@math.ams.com (Bob Bartle) barwise: barwise@phil.indiana.edu (Jon Barwise) beck: beck@math.cornell.edu (Jon Beck) bednarczyk: panmb@halina.univ.gda.pl (Marek Bednarczyk) beeson: beeson@ucscc.ucsc.edu (Michael Beeson) beigel: beigel-richard@cs.yale.edu (Richard Beigel) bellin: glb@dcs.edinburgh.ac.uk (Gian-Luigi Bellin) benson: dbenson@eecs.wsu.edu (David Benson) vanbenthem: johan@fwi.uva.nl (Johan.van Benthem) bergman: gbergman@math.berkeley.edu (George Bergman) bergstra: madelon@fwi.uva.nl (Jan Bergstra) berman: u10391@uicvm.bitnet (Joel Berman) berry: berry@cma.cma.fr (Gerard Berry) betti: renbet@ipmma1.polimi.it (Renato Betti) bhadhuri: pbhaduri@cs2.cs.wsu.edu (Purandar Bhadhuri) bier: eric_bier.parc@xerox.com (Eric Bier) bigelow: bigelow@mala.bc.ca (David Bigelow) birtwistle: graham@cpsc.ucalgary.ca (Graham Birtwistle) blair: ziggy@hx.lcs.mit.edu (Michael Blair) blass: ablass@umich.edu (Andreas Blass) bbloom: bard@cs.cornell.edu (Bard Bloom) sbloom: bloom@sparc1.stevens-tech.edu (Steve Bloom) lblum: lblum@ernie.berkeley.edu (Lenore Blum) mblum: blum@ernie.berkeley.edu (Manuel Blum) blute: blute@triples.math.mcgill.ca (Richard Blute) vanemdeboas: pveb@cwi.nl (Peter.van.Emde Boas) boehm: boehm.pa@xerox.com (Hans Boehm) boerger: reinhard.boerger@fernuni-hagen.de (Reinhard Boerger) bonacina: bonacina@sbcs.sunysb.edu (M.Paola Bonacina) boolos: boolos@athena.mit.edu (George Boolos) borceux: borceux@agel.ucl.ac.be (Francis Borceux) jborwein: jborwein@cs.dal.ca (Jon Borwein) pborwein: pborwein@cs.dal.ca (Peter Borwein) borzyszkowski: panab@halina.univ.gda.pl (Andrzej Borzyszkowski) bouchard: eomsg@acadvm1.uottawa.ca (Monique Bouchard) boyer: boyer@cli.com (Bob Boyer) bracho: bracho@unamvm1.bitnet (Felipe Bracho) brauner: tor@daimi.aau.dk (Torben Brauner) breazu: val@cis.upenn.edu (Val Breazu-Tannen) breen: breen@math.univ-paris13.fr (Larry Breen) brink: cbrink@maths.uct.ac.za (Chris Brink) brinkman: mabrink@nyx.uni-konstanz.de (Hans-Berndt Brinkman) britz: brtkat01@ucthpx.uct.ac.za (Katarina Britz) brock: shb@sys.uea.ac.uk (Simon Brock) brookes: brookes@b.gp.cs.cmu.edu (Steve Brookes) cbrown: carolynb@cogs.susx.ac.uk (Carolyn Brown) rbrown: r.brown@vaxa.bangor.ac.uk (Ronnie Brown) broy: broy@informatik.tu-muenchen.de (Manfred Broy) bruce: kim@cs.williams.edu (Kim Bruce) brunner: hbrunner@mun.bitnet (Herman Brunner) buckland: richardb@macadam.mpce.mq.edu.au (Richard Buckland) debukh: ecomail@vms2.uni-c.dk (Per.de Bukh) bullejos: mbullejos@ugr.es (Manuel Bullejos) buneman: peter@cis.upenn.edu (Peter Buneman) bunge: bunge@triples.math.mcgill.ca (Marta Bunge) burroni: burroni@mathp7.jussieu.fr (Albert Burroni) burstall: rb@dcs.edinburgh.ac.uk (Rod Burstall) buss: sbuss@cs.ucsd.edu (Sam Buss) cannon: cannon_j@maths.su.oz.au (John Cannon) carboni: carboni@vmimat.mat.unimi.it (Aurelio Carboni) cardelli: luca@src.dec.com (Luca Cardelli) carpenter: carp@lcl.cmu.edu (Bob Carpenter) carr: carrdm@snyplaba.bitnet (Donna Carr) carrasco: mcarrasco@ugr.es (Pilar Carrasco) carter: nicola@mcgill1.bitnet (Nicola Carter) cartwright: cork@rice.edu (Corky Cartwright) casley: casley@cs.stanford.edu (Ross Casley) castellini: g-castellini@upr1.upr.cun.edu (G. Castellini) cerioli: cerioli@disi.unige.it (Maura Cerioli) chandra: ashok@watson.ibm.com (Ashok Chandra) chase: chase@math.cornell.edu (Stephen Chase) chen: uhchen@uxa.ecn.bgu.edu (Andy Chen) chinnici: chinnici@hp2.sm.dsi.unimi.it (Roberto Chinnici) chisala: chisala@mango.apc.org (B.P. Chisala) choi: choi@grad1.cis.upenn.edu (Jin-Young Choi) chou: chou@rascal.ics.utexas.edu (Shang-Ching Chou) chu: chu@ace.bsd.uchicago.edu (Po-Hsiang Chu) clark: clarkd%snynewvm.bitnet@cunyvm.cuny.edu (David Clark) clarke: clarke@a.cs.cmu.edu (Ed Clarke) clote: clote@bcuxs2.bc.edu (Peter Clote) cockett: robin@cpsc.ucalgary.ca (Robin Cockett) cocquand: coquande@margaux.inria.fr (Thierry Cocquand) cohen: avrac@computer-lab.cambridge.ac.uk (Avra Cohen) cohn: cohnl@citadel.edu (Leslie Cohn) comer: comers@citadel.bitnet (Stephen Comer) rcooper: cooper@cogsci.edinburgh.ac.uk (Robin Cooper) scooper: cooper@top.cis.syr.edu (Steve Cooper) coppey: coppey@mathp7.jussieu.fr (Luc Coppey) cosmadakis: stavros@saul.cis.upenn.edu (Stavros Cosmadakis) cowen: mthmjc@ubvms.bitnet (Mike Cowen) crans: crans@math.ruu.nl (Sjoerd Crans) crew: crew@cs.stanford.edu (Roger Crew) crole: rlc@doc.imperial.ac.uk (Roy Crole) crossley: jnc@bruce.cs.monash.edu.au (John Crossley) crow: crow@csl.sri.com (Judy Crow) cruciani: cruciani@vaxrma.infn.it (Rosanna Cruciani) cubric: cubric@triples.math.mcgill.ca (Djordje Cubric) curien: curien@dmi.ens.fr (Pierre-Louis Curien) darondeau: philippe.darondeau@irisa.fr (Philippe Darondeau) davey: davey@latcs1.lat.oz.au (Brian Davey) davis: davism@acf4.nyu.edu (Martin Davis) dawson: rdawson@husky1.stmarys.ca (Robert Dawson) degano: degano@di.unipi.it (Pier-Paolo Degano) delfour: delfour@cc.umontreal.ca (Michel Delfour) dershowitz: nachum@cs.uiuc.edu (Nachum Dershowitz) desharnis: desharn@ift.ulaval.ca (Jules Desharnais) diaconescu: rdcbb@cunyvm.bitnet (Radu Diaconescu) diekert: diekert@informatik.tu-muenchen.de (Volker Diekert) diers: diers@frcitl81.bitnet (Yves Diers) doh: doh@ksuvax1.cis.ksu.edu (Kyung-Goo Doh) dolan: v088kj6a@ubvms.cc.buffalo.edu (James Dolan) dong: xdong@clid.yorku.ca (Xiaomin Dong) doob: mdoob@ccu.umanitoba.ca (Michael Doob) dragalin: h2848dra@ella.hu (? Dragalin) duba: duba@rice.edu (Bruce Duba) dubey: rdubey@yoda.eecs.wsu.edu (Rakesh Dubey) dubuc: dcfden!edubuc@mate.edu.ar (Eduardo Dubuc) duggan: den@cs.umd.edu (Dominic Duggan) dunn: dunn@iuvax.cs.indiana.edu (Mike Dunn) duskin: mthduskn@ubvms.bitnet (Jack Duskin) dybkjaer: dybkjaer@ruc.dk (Hans Dybkjaer) edalat: ae@doc.ic.ac.uk (Abbas Edalat) ehlers: map010@bangor.ac.uk (Philip Ehlers) ehresmann: ehres@mathp7.jussieu.fr (Andree Ehresmann) ehrhard: ehrhard@ens.fr (Thomas Ehrhard) ehrlich: ehrlich@inria.inria.fr (Bobby Ehrlich) vaneijck: jve@cwi.nl (Jan.van Eijck) emerson: a.emerson@cs.utexas.edu (Alan Emerson) enderton: hbe@math.ucla.edu (Herb Enderton) engeler: engeler@math.ethz.ch (Erwin Engeler) erne: aberne@dhvrrzn1.uni-hannover.dbp.de (Marcel Erne) ernst: mernst@theory.lcs.mit.edu (Michael Ernst) fagin: fagin@almaden.ibm.com (Ron Fagin) faro: v068p76v@ubvmsa.bitnet (Emilio Faro) fasel: jhf@lanl.gov (Joe Fasel) feferman: sf@csli.stanford.edu (Sol Feferman) feigenbaum: jf@research.att.com (Joan Feigenbaum) feit: p_feit@utpb.pb.utexas.edu (Paul Feit) feldman: d_feldman@unhh.bitnet (David Feldman) ferguson: mike@tel.inrs.cdn (Michael Ferguson) ferreirim: mimafer@ptearn.bitnet (Isabel Ferreirim) fiedorowicz: zigf@mps.ohio-state.edu (Zbigniew Fiedorowicz) finkelstein: stacy@saul.cis.upenn.edu (Stacy Finkelstein) fischer: fischer-michael@cs.yale.edu (Mike Fischer) fitting: mlflc@cunyvm.bitnet (Melvin Fitting) floyd: floyd@cs.stanford.edu (Bob Floyd) font: font@cerber.ub.es (Josep Font) foo: norman@cs.su.oz.au (Norman Foo) fourman: mikef@dcs.edinburgh.ac.uk (Michael Fourman) fox: fox@triples.math.mcgill.ca (Thomas Fox) freese: ralph@math.hawaii.edu (Ralph Freese) frei: bitnet.arfr@ubcmtsg (Armin Frei) freire: freire@seins.santiago.usc.es (J.L. Freire) freyd: pjf@saul.cis.upenn.edu (Peter Freyd) pamfreyd: pam@linc.cis.upenn.edu (Pam Freyd) fried: efried@ludens.elte.hu (Ervin Fried) fritsch: ug143cb@sunmail.lrz-muenchen.de (Rudolph Fritsch) fukushima: fukushim@cpsc.ucalgary.ca (Tom Fukushima) funk: jfunk@morgan.ucs.mun.ca (Jonathan Funk) fusco: sfusco@clid.yorku.ca (Sandro Fusco) gago: alzzs002@seins.santiago.usc.es (Felipe Gago) gaifman: gaifman@humus.huji.ac.il (Haim Gaifman) gaitan: gaitan@sun.com (Hernando Gaitan) gallier: jean@saul.cis.upenn.edu (Jean Gallier) ganong: ganong@vm1.yorku.ca (Richard Ganong) gehlot: gehlot@cis.udel.edu (Vijay Gehlot) gehrke: wgehrke@risc.uni-linz.ac.at (Wolfgang Gehrke) vangelder: avg@cs.ucsc.edu (Allen.Van Gelder) genrich: genrich@gmdzi.gmd.de (Hartmann Genrich) geramita: anthony.v.geramita@queensu.ca (Anthony Geramita) gerstenhaber: gersten@penndrls.bitnet (Murray Gerstenhaber) gerth: wsinrobg@eutrc3.urc.tue.nl (Rob Gerth) ghelli: ghelli@di.unipi.it (Giorgio Ghelli) ghilardi: ghilardi@imiucca.csi.unimi.it (Silvio Ghilardi) girard: girard@margaux.inria.fr (Jean-Yves Girard) givant: gluscha@mills.edu (Steve Givant) vanglabbeek: rvg@cs.stanford.edu (Rob.van Glabbeek) glenn: glenn@cua.edu (Paul Glenn) goetz: abe@cartan.math.nd.edu (Abraham Goetz) goguen: joseph.goguen@prg.oxford.ac.uk (Joseph Goguen) golasinski: mg001@pltumk11.bitnet (Marek Golasinski) bgoldberg: goldberg@cs.nyu.edu (Ben Goldberg) goldblatt: rob@math.vuw.ac.nz (Rob Goldblatt) goltz: gf1018@dbngmd21.bitnet (Ulla Goltz) goodaire: edgar@munucs.mun.ca (Edgar Goodaire) goodloe: agoodloe@gmuvax2.gmu.edu (Al Goodloe) gordon: gordon@euclid.math.temple.edu (Robert Gordon) grandis: grandis@cisi.unige.it (Marco Grandis) gratzer: gratzer@ccm.umanitoba.ca (George Gratzer) gray: gray@math.uiuc.edu (John Gray) grove: grove@cs.stanford.edu (Adam Grove) grunenfelder: luzius@cs.dal.ca (Luzius Grunenfelder) gruska: gruska@informatik.uni-hamburg.de (Jozef Gruska) guessarian: ig@litp.ibp.fr (Irene Guessarian) guitart: guitart@mathp7.jussieu.fr (Rene Guitart) gunawardena: jhcg@hplb.hpl.hp.com (Jeremy Gunawardena) cgunter: gunter@central.cis.upenn.edu (Carl Gunter) egunter: elsa@research.att.com (Elsa Gunter) gupta: vgupta@cs.stanford.edu (Vineet Gupta) gurevich: gurevich@dip.eecs.umich.edu (Yuri Gurevich) haeberer: armando@inf.puc-rio.br (Armando Haeberer) halmos: phalmos@scuacc.scu.edu (Paul Halmos) dhalpern: jdan@sun.com (Dan Halpern) jhalpern: halpern@almaden.ibm.com (Joe Halpern) hanna: fkh@ukc.ac.uk (Keith Hanna) hardie: hardieka@uctvax.uct.ac.za (Kieth Hardie) harel: harel@wisdom.weizmann.ac.il (David Harel) harland: jah@mullauna.cs.mu.oz.au (James Harland) harper: rwh@cs.cmu.edu (Robert Harper) hart: wiawkph@dutrun2.tudelft.nl (Klaas Hart) haveraaen: magne.haveraaen@ii.uib.no (Magne Haveraaen) hebert: mhebert@mat.ulaval.ca (Michel Hebert) heckmann: heckmann@cs.uni-sb.de (Reinhold Heckmann) heggie: heggie@cad.uccb.ns.ca (Murray Heggie) hennessy: matthewh@cogs.sussex.ac.uk (Matthew Hennessy) henriksen: henriksen@hmcvax.claremont.edu (Mel Henriksen) henzinger: tah@cs.stanford.edu (Tom Henzinger) herrmann: herrmann@mathematik.th-darmstadt.de (Christian Herrmann) herz: herz@gauss.math.mcgill.ca (Carl Herz) hill: whill@netcom.com (Walt Hill) hillebrand: ggh@cs.brown.edu (Gerd Hillebrand) hindley: j.r.hindley@swansea.ac.uk (Roger Hindley) hoare: julie@prg.oxford.ac.uk (Tony Hoare) hodgson: bhodgson@vm1.ulaval.ca (Bernard Hodgson) hoehnke: gabi@opal.cs.tu-berlin.de (Hans-Jurgen Hoehnke) hofmann: mxh@dcs.ed.ac.uk (Martin Hofmann) honsell: honsell@uduniv.cineca.it (Furio Honsell) hoofman: raymond@cs.ruu.nl (Raymond Hoofman) hook: hook@cse.ogi.edu (James Hook) hopcroft: jeh@cs.cornell.edu (John Hopcroft) howlett: 72740.2237@compuserve.com (Chris Howlett) hsiang: hsiang@sbcs.sunysb.edu (Jieh Hsiang) hu: hhu@mathstat.yorku.ca (Hong.de Hu) hudak: hudak@cs.yale.edu (Paul Hudak) huet: huet@inria.inria.fr (Gerard Huet) hunsaker: ga3600@siucvmb.bitnet (W. Hunsaker) husberg: nisse.husberg@hut.fi (Nisse Husberg) huth: mrh@tulmath.math.tulane.edu (Michael Huth) hyland: jmeh1@phoenix.cambridge.ac.uk (Martin Hyland) hyndman: jhyndman@cs.sfu.ca (Jennifer Hyndman) idziak: idziak@math.berkeley.edu (Pawel Idziak) isbell: mthisbel@ubvms.cc.buffalo.edu (John Isbell) iskander: awadisk@usl.edu (Awad Iskander) israel: israel@ai.sri.com (David Israel) istrail: sistrail@eagle.wesleyan.edu (Soren Istrail) ito: ito@ito.ecei.tohoku.junet (Takayasu Ito) iyer: ramu@cadsun.corp.mot.com (Ramu Iyer) jacobs: bjacobs@math.ruu.nl (Bart Jacobs) jaffar: joxan@watson.ibm.com (Joxan Jaffar) jagadeesan: rj2@doc.imperial.ac.uk (Radha Jagadeesan) james: wjames@adam.adelaide.edu.au (William James) janelidze: gjnel@imath.kheta.georgia.su (George Janelidze) janssen: theo@fwi.uva.nl (Theo Janssen) jardine: jardine@uwovax.uwo.ca (John Jardine) jay: cbj@socs.uts.edu.au (Barry Jay) jeffrey: alan.jeffrey@prg.oxford.ac.uk (Alan Jeffrey) jenkins: maj@qucis.bitnet (Mike Jenkins) jezek: jarda@math.hawaii.edu (Jaroslav Jezek) jibladze: jib@imath.kheta.georgia.su (Mamuka Jibladze) mjohnson: mike@macadam.mpce.mq.edu.au (Mike Johnson) pjohnson: pjohnson@eagle.wesleyan.edu (Paul Johnson) jonsson: jonsson@athena.cas.vanderbilt.edu (Bjarni Jonsson) jouvelot: jouvelot@ensmp.fr (Pierre Jouvelot) joyal: joyal@math.uqam.ca (Andre Joyal) joyce: djoyce@ollie.clarku.edu (David Joyce) jung: jung@mathematik.th-darmstadt.de (Achim Jung) kahn: kahn@mirsa.inria.fr (Gilles Kahn) kane: kane@uwovax.uwo.ca (Richard Kane) kanellakis: pck@cs.brown.edu (Paris Kanellakis) kao: kao@iuvax.cs.indiana.edu (Ming Kao) kapranov: kapranov@mssun7.msi.cornell.edu (Mikhail Kapranov) karp: karp@ernie.berkeley.edu (Dick Karp) kasangian: kasan@vmimat.mat.unimi.it (Stefano Kasangian) katsov: katsov@hanover.edu (Yefim Katsov) kearnes: kearnes@fenris.claremont.edu (Keith Kearnes) kelly: kelly_m@maths.su.oz.au (Max Kelly) kennaway: jrk@sys.uea.ac.uk (Richard Kennaway) kennison: jkennison@clarku (John Kennison) kent: rekent@ualr.edu (Robert Kent) kfoury: kfoury@bu-cs.bu.edu (Dennis Kfoury) kieboom: rkieboom@tena2.vub.ac.be (Rudger Kieboom) kiehn: kiehn@informatik.tu-muenchen.de (Astrid Kiehn) klarlund: klarlund@cs.cornell.edu (Nils Klarlund) kleisli: kleisli@cfruni52.bitnet (Heinrich Kleisli.) klop: jwk@cwi.nl (Jan Klop) knijnenburg: peterk@cs.ruu.nl (Peter Knijnenburg) knobel: andreas@etl.go.jp (Andreas Knobel) knutson: allenk@ugcs.caltech.edu (Allan Knutson) kochman: kochman@nexus.yorku.ca (Stanley Kochman) kock: matak@mi.aau.dk (Anders Kock) kolaitis: kolaitis@cs.ucsc.edu (Phokion Kolaitis) kondoh: kondoh@harl.hitachi.co.jp (Hidetaka Kondoh) koslowski: aberne@dhvrrzn1.uni-hannover.d400.de (Juergen Koslowski) kotov: kotov@hplkotov.hpl.hp.com (Vadim Kotov) kozen: kozen@cs.cornell.edu (Dexter Kozen) kwiatkowska: mzk@leicester.ac.uk (Marta Kwiatkowska) labella: labella@sci.uniroma1.it (Anna Labella) labute: labute@gauss.math.mcgill.ca (John Labute) ladkin: ladkin@icsib8.berkeley.edu (Peter Ladkin) ladner: ladner@cs.washington.edu (Richard Ladner) lafont: lafont@dmi.ens.fr (Yves Lafont) lair: lair@mathp7.jussieu.fr (Christian Lair) lamarche: gfl@doc.ic.ac.uk (Francois Lamarche) lambe: lambe@math.ethz.ch (Larry Lambe) lambek: lambek@triples.math.mcgill.ca (Joachim Lambek) lampe: lampe@kahuna.math.hawaii.edu (Bill Lampe) lamport: lamport@src.dec.com (Leslie Lamport) lassez: jll@watson.ibm.com (Jean-Louis Lassez) latch: dml@bklyncis.bitnet (Dana Latch) latting: latting@math.berkeley.edu (Chuck Latting) launchbury: jl@dcs.glasgow.ac.uk (John Launchbury) lawvere: mthfwl@ubvms.cc.buffalo.edu (Bill Lawvere) leavens: leavens@iastate.edu (Gary Leavens) leech: leech@westmont.edu (Jonathan Leech) leeney: stmt8015@iruccvax.ucc.ie (Mark Leeney) leivant: leivant@cs.indiana.edu (Daniel Leivant) lent: aflent@theory.lcs.mit.edu (Arthur Lent) levin: lnd@cs.bu.edu (Leonid Levin) levy: jean-jacques.levy@inria.fr (Jean-Jacques Levy) lewin: rlewin@mat.puc.cl (Renato Lewin) liao: aliao@eagle.wesleyan.edu (Andrew Liao) libkin: libkin@saul.cis.upenn.edu (Leonid Libkin) lifschitz: lifschitz@cs.stanford.edu (Vladimir Lifschitz) lilius: jli@dione.hut.fi (Johan Lilius) lincoln: lincoln@cs.stanford.edu (Pat Lincoln) lindemann: lindemann@spint.compuserve.com (Ina Lindemann) linton: flinton@eagle.wesleyan.edu (Fred Linton) lippincott: lippin@math.berkeley.edu (Tom Lippincott) lipton: lipton@saul.cis.upenn.edu (Jim Lipton) loader: loader@maths.oxford.ac.uk (Ralph Loader) longo: longo@dmi.ens.fr (Giuseppe Longo) lord: hlord@csupomona.edu (Harriet Lord) loui: mloui@note.nsf.gov (Michael Loui) lowry: lowry@kestrel.edu (Mike Lowry) lubarsky: r_lubarsky@faudm.bitnet (Robert Lubarsky) lubliner: coby@ucbcevax.bitnet (Coby Lubliner) luckham: dcl@anna.stanford.edu (David Luckham) lynch: lynch@holmes.lcs.mit.edu (Nancy Lynch) ma: qingming.ma@cs.cmu.edu (Qingming Ma) macallester: dam@ai.mit.edu (David Macallester) maccaull: maccaull@essex.stfx.ca (Wendy MacCaull) macdonald: johnm@math.ubc.ca (John MacDonald) macleod: richardm@kean.ucs.mun.ca (Richard MacLeod) maclane: saunders@math.uchicago.edu (Saunders Mac_Lane) mackie: im@doc.ic.ac.uk (Ian Mackie) macon: nmacon@nsf.gov (Nat Macon) macqueen: macqueen@research.att.com (David Macqueen) maddux: maddux@iastate.edu (Roger Maddux) madhav: madhav@neon.stanford.edu (Neel Madhav) mahmood: arshad@dcs.edinburgh.ac.uk (H. Mahmood) main: main@boulder.colorado.edu (Michael Main) majid: shm10@phx.cam.ac.uk (Shahn Majid) makkai: makkai@triples.math.mcgill.ca (Michael Makkai) manes: manes@math.umass.edu (Ernie Manes) manna: manna@cs.stanford.edu (Zohar Manna) margolis: stu@lovelace.unl.edu (Stu Margolis) marki: h1133mar@huella.bitnet (Laszlo Marki) marmolejo: marmol@cs.dal.ca (Francisco Marmolejo) marshall: marshacd@snypotva.potsdam.edu (Charlie Marshall) marti-oliet: narciso@csl.sri.com (Narciso Marti-Oliet) martini: martini@di.unipi.it (Simone Martini) mathieu: momathie@mathp7.jussieu.fr (Monique Mathieu) mauri: mauri@hermes.dsi.unimi.it (Giancarlo Mauri) mawanda: mawanda@mango.apc.org (M.W. Mawanda) mccoll: wfm@prg.oxford.ac.uk (Bill McColl) jmckay: mckay@conu1.bitnet (John McKay) wmckay: wendy@cc.umontreal.ca (Wendy McKay) mclarty: cxm7@po.cwru.edu (Colin McLarty) mcnulty: mcnulty@math.scarolina.edu (George McNulty) mcrobbie: mam@arp.anu.edu.au (Michael McRobbie) meakin: meakin@hoss.unl.edu (John Meakin) measor: ndm@mcs.le.ac.uk (Nick Measor) meloni: meloni@imiucca.unimi.it (Gian.Carlo Meloni) melton: austin@cis.ksu.edu (Austin Melton) mercouroff: nm@cs.brandeis.edu (Nicolas Mercouroff) meseguer: meseguer@csl.sri.com (Jose Meseguer) meyer: meyer@theory.lcs.mit.edu (Albert Meyer) milner: rm@dcs.edinburgh.ac.uk (Robin Milner) mints: mints@csli.stanford.edu (Grigori Mints) mislove: mwm@tulmath.math.tulane.edu (Michael Mislove) misra: misra@cs.utexas.edu (Jay Misra) mitchell: jcm@cs.stanford.edu (John Mitchell) miyoshi: miyoshi@slab.sfc.keio.ac.jp (Hiroyuki Miyoshi) mochnacki: stefan@centaur.astro.utoronto.ca (Stefan Mochnacki) moerdijk: moerdijk@math.ruu.nl (Ieke Moerdijk) moggi: moggi@disi.unige.it (Eugenio Moggi) moller: fm@dcs.edinburgh.ac.uk (Faron Moller) molnar: molnar@math.macalstr.edu (Richard Molnar) monro: monro_g@maths.su.oz.au (Gordon Monro) montanari: ugo@di.unipi.it (Ugo Montanari) demoor: oege.de.moor@prg.oxford.ac.uk (Oege.de Moor) moschovakis: ynm@math.ucla.edu (Yiannis Moschovakis) moshier: mam@pic.ucla.edu (Drew Moshier) moss: lmoss@ucs.indiana.edu (Larry Moss) mosses: pdmosses@daimi.aau.dk (Peter Mosses) muller: muller@harvard.edu (Robert Muller) mulry: psm@dcs.edinburgh.ac.uk (Phil Mulry) mulvey: c.j.mulvey@cluster.sussex.ac.uk (Chris Mulvey) mumford: mumford@zariski.harvard.edu (David Mumford) murphy: david@gmdzi.gmd.de (David Murphy) murthy: murthy@cs.cornell.edu (Chet Murthy) murty: murty@gauss.math.mcgill.ca (Ram Murty) narendran: dran@cs.albany.edu (Paliath Narendran) nation: nation@kahuna.math.hawaii.edu (James.B. Nation) nelson: nealn@cse.ogi.edu (Neal Nelson) nerode: nerode@mssun6.msi.cornell.edu (Anil Nerode) nickau: nickau@hrz.uni-siegen.de (Hanno Nickau) nico: nico@csuhayward.edu (William Nico) denicola: denicola@icnucevm.cnuce.cnr.it (Rocco.De Nicola) niefield: niefiels@gar.union.edu (Susan Niefield) nongxa: nongxa@math.harvard.edu (Loyiso Nongxa) nowakowski: rjn@cs.dal.ca (Richard Nowakowski) oates-williams: sw@maths.uq.oz.au (Sheila Oates-Williams) ohearn: ohearn@top.cis.syr.edu (Peter Ohearn) ohori: ohori@okilab.oki.co.jp (Atsushi Ohori) okada: okada@concour.cs.concordia.ca (Mitsu Okada) oles: oles@watson.ibm.com (Frank Oles) ong: chlo1@cl.cam.ac.uk (Luke Ong) oosten: oosten@math.ruu.nl (J.van Oosten) orlowska: orlowska@maths.uct.ac.za (Ewa Orlowska) orzech: orzechm@qucdn.bitnet (Morris Orzech) otto: otto@triples.math.mcgill.ca (Jim Otto) overbeek: overbeek@anl-mcs.arpa (Russ Overbeek) depaiva: valeria.paiva@cl.cam.ac.uk (Valeria.de Paiva) palfy: h1134pal@huella.bitnet (P. Palfy) palmquist: 90066900660.1050@compuserve.com (Paul Palmquist) panangaden: prakash@opus.cs.mcgill.ca (Prakash Panangaden) papert: seymour@media-lab.media.mit.edu (Seymour Papert) pare: pare@cs.dal.ca (Bob Pare) parikh: ripbc@cunyvm.cuny.edu (Rohit Parikh) parker: stott@cs.ucla.edu (Stott Parker) paseman: paseman@math.berkeley.edu (Gerhard Paseman) mpaterson: msp@dcs.warwick.ac.uk (Mike Paterson) rpaterson: rap@doc.ic.ac.uk (Ross Paterson) paulson: lcp@cl.cam.ac.uk (Larry Paulson) pavlovic: pavlovic@triples.math.mcgill.ca (Dusko Pavlovic) pearson: jkp@ukc.ac.uk (Justin Pearson) peckhaus: volker.v.peckhaus@pc.philosophie.uni-erlangen.de (Volker Peckhaus) pedicchio: pedicchi@univ.trieste.it (Cristina Pedicchio) pelletier: jwpell@vm2.yorku.ca (Joan Pelletier) penon: penon@mathp7.jussieu.fr (Jean Penon) peters: stanley.peters@prg.ox.ac.uk (Stanley Peters) pettorossi: adp@irmiasi.rm.cnr.it (Alberto Pettorossi) pfenniger: mas034@vaxa.bangor.ac.uk (Markus Pfenniger) pfenning: frank.pfenning@cs.cmu.edu (Frank Pfenning) phillips: phillips@uvvm.bitnet (John Phillips) pierce: benjamin.pierce@cs.cmu.edu (Benli Pierce) pigozzi: pigozzi@iastate.edu (Don Pigozzi) pinter: pinter-shlomit@cs.yale.edu (Shlomit Pinter) pitt: dhp@mcs.surrey.ac.uk (David Pitt) pitts: ap@cl.cam.ac.uk (Andy Pitts) pixley: apixley@sif.claremont.edu (Alden Pixley) plaice: plaice@ift.ulaval.ca (John Plaice) plaisted: plaisted@cs.unc.edu (David Plaisted) platek: richard@oracorp.com (Richard Platek) platt: ccm.umanitoba.ca (Craig Platt) plotkin: gdp@dcs.edinburgh.ac.uk (Gordon Plotkin) pnueli: amir@wisdom.weizmann.ac.il (Amir Pnueli) poigne: ap@gmdzi.gmd.de (Axel Poigne) poirot: poirot@boole.stanford.edu (Hercule Poirot) pollara: pollara@csearn.bitnet (Victor Pollara) porst: porst@informatik.uni-bremen.de (Hans-E. Porst) porter: mas013@vaxc.bangor.ac.uk (Tim Porter) power: ajp@dcs.ed.ac.uk (John Power) pratt: pratt@cs.stanford.edu (Vaughan Pratt) priestley: hap@vax.oxford.ac.uk (Hilary Priestley) probst: probst@bond.crim.ca (Richard Probst) proute: ap@mathp7.jussieu.fr (Alain Proute) pym: dpym@dcs.edinburgh.ac.uk (David Pym) quackenbush: qbush@ccu.umanitoba.ca (Bob Quackenbush) rabin: rabin@humus.huji.ac.il (Michael Rabin) rabinovich: alik@watson.ibm.com (Alexander Rabinovich) rachev: zarirach@bernoulli.ucsb.edu (Zari Rachev) raja: raja@tifrvax.bitnet (N. Raja) ramshaw: ramshaw@src.dec.com (Lyle Ramshaw) randall: randall@elbereth.rutgers.edu (John Randall) raphael: raphael@vax2.concordia.ca (Robert Raphael) rattray: cr@cs.stir.ac.uk (Charles Rattray) remmel: remmel@kleene.ucsd.edu (Jeff Remmel) repin: repin@log.mian.su (Nikolai Repin) rewitzky: ingrid@oryx.mth.uct.ac.za (Ingrid Rewitzky) reyes: reyes@mathcn.umontreal.ca (Gonzalo Reyes) reynolds: john.reynolds@c.cs.cmu.edu (John Reynolds) riecke: riecke@theory.lcs.mit.edu (Jon Riecke) riemens: sriemens@vega.math.ualberta.ca (Sherman Riemenschneider) ritter: er@cl.cam.ac.uk (Eike Ritter) erobinson: edmundr@cogs.susx.ac.uk (Edmund Robinson) krobinson: kenr@elecvac.oz.au (Ken Robinson) deroever: wsinwpr@eutrc3.urc.tue.nl (Willem.de Roever) rolfsen: dale_rolfsen@mtsg.ubc.ca (Dale Rolfsen) roman: lr@doc.ic.ac.uk (Leopoldo Roman) romanowska: aroman@plwatu21.bitnet (Anna Romanowska) rosebrugh: rrosebrugh@macc2.mta.ca (Bob Rosebrugh) rosenthal: rosenthk@gar.union.edu (Kimmo Rosenthal) rosicky: rosicky@math.muni.cz (Jiri Rosicky) rosolini: rosolini@dima.unige.it (Pino Rosolini) rossello: dmifrl0@ps.uib.es (Cesc Rossello) rota: rota@math.mit.edu (Gian-Carlo Rota) rotman: rotman@symcom.math.uiuc.edu (Joseph Rotman) rounds: rounds@engin.umich.edu (Bill Rounds) rousseau: geo@leicester.ac.uk (George Rousseau) rovan: uniba!rovan@relay.eu.net (Branislav Rovan) rowan: rowan@garnet.berkeley.edu (W.H. Rowan) rozenberg: rozenber@rulcri.leidenuniv.nl (Grzegor Rozenberg) rozenfeld: ar@alv.umd.edu (Azriel Rozenfeld) rudich: arie@theory.lcs.mit.edu (Arie Rudich) rudie: rudie@ecfb.toronto.edu (Karen Rudie) ruitenburg: wimr@math.mscs.mu.edu (Wim Ruitenburg) rumbos: rumbos@unamvm1.dgsca.unam.mx (Beatriz Rumbos) rus: rus@herky.cs.uiowa.edu (Theodor Rus) rutten: jan.rutten@cwi.nl (Jan Rutten) rydeheard: david@r3.cs.man.ac.uk (David Rydeheard) sain: h1468sai@ella.hu (Ildiko Sain) sakurai: a87480@tansei.cc.u-tokyo.ac.jp (Takafumi Sakurai) sankappanevar: sankah@snynewba.bitnet (Hanamantagouda.P. Sankappanevar) sannella: dts@dcs.edinburgh.ac.uk (Don Sannella) santas: santas@inf.ethz.ch (Philip Santas) sapir: msapir@hoss.unl.edu (Mark Sapir) saramago: matjoao%ptearn.bitnet@frmop11.cnusc.fr (Maria Saramago) saraswat: saraswat@parc.xerox.com (Vijay Saraswat) sassone: vladi@di.unipi.it (Vladimir Sassone) sato: schuko@sun4.cc.kyushu-u.ac.jp (Hiroyuki Sato) scedrov: andre@cis.upenn.edu (Andre Scedrov) schack: mthsds@ubvms.bitnet (Samuel Schack) schelter: wfs@cli.com (Bill Schelter) schmid: schmid@math-stat.unibe.ch (Jurg Schmid) gschmidt: schmidt@informatik.unibw-muenchen.de (Gunther Schmidt) jschmidt: jschmidt@daimi.dk (Jorn Schmidt) schroeppel: rcs@la.tis.com (Rich Schroeppel) heister: psh@hume.informatik.uni-tuebingen.de (Peter Schroeder-Heister) schumacher: dietmar@ace.acadiau.ca (Dietmar Schumacher) schwarze: rlewin@mat.puc.cl (Maria Schwarze) scollo: scollo@cs.utwente.nl (Giuseppe Scollo) scot: gyro-cs@zeta-soft.com (Burson Scot) dscott: dana.scott@proof.ergo.cs.cmu.edu (Dana Scott) pscott: scpsg@acadvm1.uottawa.ca (Phil Scott) seely: rags@triples.math.mcgill.ca (Robert Seely) seif: swseif01@ulkyvx.louisville.edu (Steven Seif) seldin: seldin@alcor.concordia.ca (Jonathan Seldin) seligman: jerry@phil.indiana.edu (Jerry Seligman) shankar: shankar@csl.sri.com (Natarajan Shankar) shapiro: udi@wisdom.weizmann.ac.il (Udi Shapiro) shieber: shieber@das.harvard.edu (Stuart Shieber) shields: m.shields@mcs.surrey.ac.uk (Mike Shields) sichler: sichler@ccm.umanitoba.ca (Jiri Sichler) sieber: sieber@cs.uni-sb.de (Kurt Sieber) isimon: is@ime.usp.br (Imre Simon) simons: simons@karlsruhe.gmd.de (Martin Simons) slifker: slifker@svax.cs.cornell.edu (Michael Slifker) smaill: smaill@aipna.edinburgh.ac.uk (Alan Smaill) small: nwnexus!cjsa!jeff@uunet.uu.net (Jeffery Small) gsmith: dalcs!gretchen@uunet.uu.net (Gretchen Smith) ssmith: scott@cs.jhu.edu (Scott Smith) gsmolka: smolka@dfki.uni-sb.de (Gert Smolka) ssmolka: sas@cs.sunysb.edu (Scott Smolka) soare: soare@gargoyle.uchicago.edu (Bob Soare) sobral: sobral@ciuc2.uc.rccn.pt (Manuela Sobral) sokolowski: panss@halina.univ.gda.pl (Stefan Sokolowski) spencer: dwights@cse.ogi.edu (Dwight Spencer) spooner: spoonerd@cpsc.ucalgary.ca (Dave Spooner) spreen: spreen@informatik.uni-siegen.de (Dieter Spreen) srinivas: srinivas@kestrel.edu (Yellamraju Srinivas) staples: staples@uqcspe.cs.uq.oz.au (John Staples) starchenko: starchen@cs.sfu.ca (Sergei Starchenko) stark: stark@cs.sunysb.edu (Eugene Stark) stasheff: jds@charlie.math.unc.edu (James Stasheff) steele: steele@think.com (Guy Steele) steiner: maths@vme.gla.ac.uk (Richard Steiner) stell: john@cs.kl.ac.uk (John Stell) stengel: i51bbvs@rz.unibw-muenchen.de (Bernhard.von Stengel) stewart: cstewart@watserv1.uwaterloo.ca (Cameron Stewart) stirling: cps@dcs.ed.ac.uk (Colin Stirling) stolboushkin: aps1@node.ias.msk.su (Alex Stolboushkin) mstone: mgstone@acs.ucalgary.ca (Mike Stone) astone: stone@math.ubc.ca (Art Stone) stoughton: allen@cis.ksu.edu (Allen Stoughton) stout: lnstout@uxh.cso.uiuc.edu (Lawrence Stout) strecker: strecker@math.ksu.edu (George Strecker) street: street@macadam.mpce.mq.edu.au (Ross Street) streicher: streiche@informatik.uni-muenchen.de (Thomas Streicher) stroup: rts@dcs.ed.ac.uk (Terry Stroup) subrahmanyam: ramesh@linc.cis.upenn.edu (Ramesh Subrahmanyam) subramanian: cayley@tifrvax.bitnet (P.S. Subramanian) suenderhauf: sunderhauf@mathematik.th-darmstadt.de (Philipp Suenderhauf) sun: ys4@mcs.le.ac.uk (Yong Sun) suppes: suppes@csli.stanford.edu (Pat Suppes) suzuki: dai@is.s.u-tokyo.ac.jp (Daisuke Suzuki) svensson: svensson@unixg.ubc.ca (Anders Svensson) swaminathan: swami@cs.dal.ca (S. Swaminathan) szabo: szabo@vax2.concordia.ca (Fred Szabo) szendrei: h1029sze@huella.bitnet (Agnes Szendrei) takayama: takayama@cs.ritsumei.ac.jp (Yukihide Takayama) talcott: clt@sail.stanford.edu (Carolyn Talcott) tatsuta: tatsuta@sato.riec.tohoku.ac.jp (Makoto Tatsuta) taubner: taubner@sdm.de (Dirk Taubner) paultaylor: pt@doc.ic.ac.uk (Paul Taylor) philiptaylor: p.taylor@vax.rhbnc.ac.uk (Philip Taylor) wtaylor: wtaylor@boulder.colorado.edu (Walt Taylor) tennent: rdt@qucis.queensu.ca (Bob Tennent) thiagarajan: pst@ssf.ernet.in (P.S. Thiagarajan) tholen: tholen@mathstat.yorku.ca (Walter Tholen) thompson: tierney@mipsmath.math.uqam.ca (Richard Thompson) thomson: tom@nw.stl.stc.co.uk (Tom Thomson) thurston: wpt@math.princeton.edu (Bill Thurston) tierney: tierney@math.uqam.ca (Myles Tierney) tischendorf: dc9m@mathematik.th-darmstadt.de (Michael Tischendorf) tiuryn: tiuryn@cs.bu.edu (Jerzy Tiuryn) tonks: map003@vaxa.bangor.ac.uk (Andy Tonks) trakhtenbrot: trakhte@math.tau.ac.il (Boris Trakhtenbrot) tranah: dt105@phoenix.cambridge.ac.uk (David Tranah) trnkova: trnkova@cspguk11.bitnet (Vera Trnkova) tschantz: tschantz@athena.cas.vanderbilt.edu (Steven Tschantz) tsuiki: tsuiki@kurims.kyoto-u.ac.jp (Hideki Tsuiki) turbak: lyn@zurich.ai.mit.edu (Franklyn Turbak) turi: turi@cwi.nl (Daniele Turi) urquhart: urquhart@ai.toronto.edu (Alasdair Urquhart) valeriote: matt@johnny.math.mcmaster.ca (Matthew Valeriote) valiente: dmigva0@ps.uib.es (Gabriel Valiente) vanosdol: d_vanosdol@unhh.unh.edu (Donovan Van.Osdol) vardi: vardi@almaden.ibm.com (Moshe Vardi) velinov: velinov@p39.f1.n721.z5.fidonet.org (Yuri Velinov) verity: dom@macadam.mpce.mq.edu.au (Dominic Verity) verwer: nico@cs.ruu.nl (Nico Verwer) vianu: vdvianu@ucsd.edu (Victor Vianu) vickers: sjv@doc.ic.ac.uk (Steve Vickers) vigna: vigna@pippo.sm.dsi.unimi.it (Sebastiano Vigna) vilcius: vilcius@clid.yorku.ca (Al Vilcius) vitanyi: paulv@cwi.nl (Paul Vitanyi) voevodsky: vladimir@math.harvard.edu (Vladimir Voevodsky) vogler: vogler@uni-augsburg.de (Walter Vogler) volkov: volkovm@math.urgu.e-burg.su (Michail Volkov) vovsi: vovsi@math.rutgers.edu (Samuel Vovsi) devries: ferjan@cwi.nl (Fer-jan.de Vries) waarts: orli@cs.stanford.edu (Orli Waarts) wachter: wachter@itd.nrl.navy.mil (Ralph Wachter) wadler: wadler@dcs.glasgow.ac.uk (Philip Wadler) ewagner: wagner@watson.ibm.com (Eric Wagner) kwagner: kwagner@risc.uni-linz.ac.at (Kim Wagner) lwald: linda@math.ucla.edu (Linda Wald) dwald: wald@theory.lcs.mit.edu (David Wald) walicki: michal@eik.ii.uib.no (Michal Walicki) wallen: lw@prg.ox.ac.uk (Lincoln Wallen) walters: walters_b@maths.su.oz.au (Bob Walters) wand: wand@corwin.ccs.northeastern.edu (Mitchell Wand) wasilewska: anita@sbcs.sunysb.edu (Anita Wasilewska) weaver: weaver@math.berkeley.edu (Nick Weaver) cwells: cfw2@pop.cwru.edu (Charles Wells) bwells: wells@lynx.cs.usfca.edu (Benjamin Wells) wendt: wendt@cs.dal.ca (Michael Wendt) white: bwhite@inmet.inmet.com (Bill White) willard: puremath@math.waterloo.edu (Ross Willard) williams: ewilliam@kean.ucs.mun.ca (Ed Williams) winkler: winkler@csl.sri.com (Timothy Winkler) winskel: gwinskel@daimi.dk (Glynn Winskel) wirsing: wirsing@unipas.fmi.uni-passau.de (Martin Wirsing) wismath: wismaths@hg.uleth.ca (Shelly Wismath) rwood: rjwood@cs.dal.ca (Richard Wood) jwood: wood@math.berkeley.edu (Japheth Wood) wraith: gavinw@sussex.ac.uk (Gavin Wraith) wright: gpwsg@acadvm1.uottawa.ca (Graham Wright) wyler: wyler@cs.cmu.edu (Oswald Wyler) yardini: eyal@wisdom.weizmann.ac.il (Eyal Yardini) yarroll: piggy@baqaqi.chi.il.us (La.Monte Yarroll) yetter: dyetter@math.ksu.edu (David Yetter) yoshida: yoshida@icot.or.jp (Kaoru Yoshida) yoshiki: yoshiki@etl.go.jp (Kinoshita Yoshiki) young: young@xx.lcs.mit.edu (Jonathan Young) zadori: h2865zad@huella.bitnet (Laszlo Zadori) zawadowski: zawado@mimuw.edu.pl (Marek Zawadowski) zenith: zenith@ensmp.fr (Steven Zenith) zhang: gqz@caen.engin.umich.edu (G.Q. Zhang) zimmerman: zimmerman@snlndro.cerf.fred.org (Ian Zimmerman) zocco: dean.zocco@klb (Meg Zocco) # # Groups # categories: categories@mta.bitnet (Category Theory) clics: clics@doc.ic.ac.uk (ESPRIT CLiCS project) ic-seminars: ic-theory-seminars@doc.ic.ac.uk (Imperial College) pssl: pssl@doc.ic.ac.uk (Peripatetic Seminar on Sheaves and Logic) synthetic: sdt-list@doc.ic.ac.uk (Synthetic Domain Theory) types: types@dcs.gla.ac.uk (Type Theory) id AA26452; Mon, 5 Dec 1994 15:59:15 -0400 Date: Mon, 5 Dec 1994 15:44:02 -0400 (AST) Subject: thanks for Jacques Penon`s e-mail address Date: Mon, 5 Dec 94 13:37:43 EST From: Michael Makkai Thanks to all who gave me J.P.'s e-mail; it is penon@mathp7.jussieu.fr . Cheers: M. Makkai id AA12428; Wed, 7 Dec 1994 14:48:04 -0400 Date: Wed, 7 Dec 1994 14:35:02 -0400 (AST) Subject: virus alert Date: Wed, 7 Dec 94 09:24:28 EST From: Michael Barr - From owner-gradprog@VM1.MCGILL.CA Wed Dec 7 09:02:58 1994 - Return-Path: - Received: from VM1.MCGILL.CA by triples.math.mcgill.ca (4.1/SMI-4.1) - id AA02572; Wed, 7 Dec 94 09:02:53 EST - Message-Id: <9412071402.AA02572@triples.math.mcgill.ca> - Received: from VM1.MCGILL.CA by VM1.MCGILL.CA (IBM VM SMTP V2R2) - with BSMTP id 1358; Wed, 07 Dec 94 09:03:15 EST - Received: from VM1.MCGILL.CA by VM1.MCGILL.CA (Mailer R2.10 ptf000) with BSMTP - id 7872; Wed, 07 Dec 94 09:02:46 EST - Date: Wed, 7 Dec 1994 09:11:48 -0500 - Reply-To: Graduate Program Directors across McGill - Sender: Graduate Program Directors across McGill - From: "Morton J. Mendelson" - Subject: virus alert - X-To: macgil-l@vm1.mcgill.ca, GRADPROG@vm1.mcgill.ca, - ARTSMIN@vm1.mcgill.ca, RLANTHIE@silver.ucs.indiana.edu - To: Multiple recipients of list GRADPROG - - From: CSBN0::CHAU "Elizabeth Chau" 6-DEC-1994 11:32:28.96 - To: CSBN - CC: CHAU - Subj: virus alert - - - Some miscreant is sending e-mail under the title "good times" nation-wide. - If you get anything like this, DON'T DOWNLOAD THE FILE! It has a virus that - rewrites your hard drive, obliterating anything on it. - - Please be careful and forward this warning to anyone you care about. - id AA17829; Wed, 7 Dec 1994 18:59:47 -0400 Date: Wed, 7 Dec 1994 18:50:27 -0400 (AST) Subject: Re: virus alert (3 posts) [note from moderator: the situation is unclear, make of it what you will, but after these 3 posts, discussion of the issue should take place elsewhere. Bob] Date: Wed, 07 Dec 1994 17:11:55 -0400 (AST) From: RDAWSON@HUSKY1.STMARYS.CA Rumor has it that this "good-times" virus is a text file that can cause damage when read. Don't laugh. It may not be possible on more rationally-designed systems but on PC's, yes, there is such a thing as a text file that "when you read it you turn intoa toad". Or at least your hard drive does. How such a thing works... the ANSI escape codes are an inter-system set of commands to do things like change text color, font, etc. They are intended to be grabbed by the screen handler and acted on, without actually being passed tothe screen - a little like a tab code or end-of-line code. The ANSI standard ones are all quite harmless, except forthe comparatively harmless practical joke of making background & foreground the same color so you can't read the screen. The DOS handler, ANSI.SYS, however, has a few extras built in. In particular, there is one clever one that remaps the keyboard if you want to. So you can have a French or Dvorak keyboard, for inmstance. But, in a fit of overenthusiasm, they went a bit far, and allowed it to assign a *string* of characters to any key. So you can redefine the [ENTER] key to produce the string "erase *.exe". Or, presumably, to enter a little DEBUG script to create just about any machine-code program you want. Details of this nice little pistol are in all good DOS manuals, even the one you get with DOS ;-) I don't know if this can be done on other machines or not. But it certainly can [it seems] on a PC. So this apparently Dungeons-and-Dragons story should be taken seriously. Yours, Robert Date: Wed, 7 Dec 1994 22:42:31 +0100 From: Michel Eytan LILoL >Date: Wed, 7 Dec 94 09:24:28 EST >From: Michael Barr > [snip] >- From: CSBN0::CHAU "Elizabeth Chau" 6-DEC-1994 11:32:28.96 >- To: CSBN >- CC: CHAU >- Subj: virus alert >- >- >- Some miscreant is sending e-mail under the title "good times" nation-wide. >- If you get anything like this, DON'T DOWNLOAD THE FILE! It has a virus that >- rewrites your hard drive, obliterating anything on it. >- >- Please be careful and forward this warning to anyone you care about. >- This has turned out to be a *hoax*. Unless you use a mailer like Eudora that launches eg decompacters for attached files, mail cannot contaminate with a virus. -- Michel Eytan, U Strasbourg II eytan@dpt-info.u-strasbg.fr "Je dis ce que je pense et je pense ce que je dis" Date: Wed, 07 Dec 94 15:11:31 -0700 From: "David B. Benson" I have recently received a message claiming that "good times" is a fake virus alert. Otherwise stated, "good times" is not a virus at all. Under these uncertain circumstances, let the downloader beware. id AA01789; Thu, 8 Dec 1994 18:19:32 -0400 Date: Thu, 8 Dec 1994 18:13:51 -0400 (AST) Subject: good times (fwd) last message [also noted by Mark Dawson, thanks] Date: Thu, 8 Dec 94 00:02:34 EST The last word?: > > U.S. DOE's Computer Incident Advisory Capability > ___ __ __ _ ___ __ __ __ __ __ > / | /_\ / |\ | / \ | |_ /_ > \___ __|__ / \ \___ | \| \__/ | |__ __/ > >Number 94-04 December 6, 1994 > > ------------------- A - T - T - E - N - T - I - O - N ------------------- >| CIAC is available 24-hours a day via its two skypage numbers. To use | >| this service, dial 1-800-759-7243. The PIN numbers are: 8550070 (for | >| the CIAC duty person) and 8550074 (for the CIAC manager). Please keep | >| these numbers handy. | > ------------------------------------------------------------------------- > >Welcome to the fourth issue of CIAC Notes! This is a special edition to >clear up recent reports of a "good times" virus-hoax. Let us know if you >have topics you would like addressed or have feedback on what is useful and >what is not. Please contact the editor, Allan L. Van Lehn, CIAC, >510-422-8193 or send E-mail to ciac@llnl.gov. > > $-$-$-$-$-$-$-$-$-$-$-$-$-$-$-$-$-$-$-$-$-$-$-$-$-$-$-$-$-$-$-$-$-$-$-$ > $ Reference to any specific commercial product does not necessarily $ > $ constitute or imply its endorsement, recommendation or favoring by $ > $ CIAC, the University of California, or the United States Government.$ > $-$-$-$-$-$-$-$-$-$-$-$-$-$-$-$-$-$-$-$-$-$-$-$-$-$-$-$-$-$-$-$-$-$-$-$ > >THE "Good Times" VIRUS IS AN URBAN LEGEND > >In the early part of December, CIAC started to receive information requests >about a supposed "virus" which could be contracted via America OnLine, simply >by reading a message. The following is the message that CIAC received: > > --------------------------------------------------------------------------- >| Here is some important information. Beware of a file called Goodtimes. | >| | >| Happy Chanukah everyone, and be careful out there. There is a virus on | >| America Online being sent by E-Mail. If you get anything called "Good | >| Times", DON'T read it or download it. It is a virus that will erase your | >| hard drive. Forward this to all your friends. It may help them a lot. | > --------------------------------------------------------------------------- > >THIS IS A HOAX. Upon investigation, CIAC has determined that this message >originated from both a user of America Online and a student at a university >at approximately the same time, and it was meant to be a hoax. > >CIAC has also seen other variations of this hoax, the main one is that any >electronic mail message with the subject line of "xxx-1" will infect your >computer. > >This rumor has been spreading very widely. This spread is due mainly to the >fact that many people have seen a message with "Good Times" in the header. >They delete the message without reading it, thus believing that they have >saved themselves from being attacked. These first-hand reports give a false >sense of credibility to the alert message. > >There has been one confirmation of a person who received a message with >"xxx-1" in the header, but an empty message body. Then, (in a panic, because >he had heard the alert), he checked his PC for viruses (the first time he >checked his machine in months) and found a pre-existing virus on his machine. > He incorrectly came to the conclusion that the E-mail message gave him the >virus (this particular virus could NOT POSSIBLY have spread via an E-mail >message). This person then spread his alert. > >As of this date, there are no known viruses which can infect merely through >reading a mail message. For a virus to spread some program must be executed. >Reading a mail message does not execute the mail message. Yes, Trojans have >been found as executable attachments to mail messages, the most notorious >being the IBM VM Christmas Card Trojan of 1987, also the TERM MODULE Worm >(reference CIAC Bulletin B-7) and the GAME2 MODULE Worm (CIAC Bulletin B-12). > But this is not the case for this particular "virus" alert. > >If you encounter this message being distributed on any mailing lists, simply >ignore it or send a follow-up message stating that this is a false rumor. > >Karyn Pichnarczyk >CIAC Team >ciac@llnl.gov > > >------------------------------ >Contacting CIAC > >If you require additional assistance or wish to report a vulnerability, call >CIAC at 510-422-8193, fax messages to 510-423-8002 or send E-mail to >ciac@llnl.gov. For emergencies and off-hour assistance, call 1-800-SKY-PAGE >(759-7243) and enter PIN number 8550070 (primary) or 8550074 (secondary). >The CIAC Duty Officer, a rotating responsibility, carries the primary >skypager. The Project Leader carries the secondary skypager. If you are >unable to contact CIAC via phone, please use the skypage system. > >------------------------------ >This document was prepared as an account of work sponsored by an agency of >the United States Government. Neither the United States Government nor the >University of California nor any of their employees, makes any warranty, >express or implied, or assumes any legal liability or responsibility for the >accuracy, completeness, or usefulness of any information, apparatus, product, >or process disclosed, or represents that its use would not infringe privately >owned rights. Reference herein to any specific commercial products, process, >or service by trade name, trademark, manufacturer, or otherwise, does not >necessarily constitute or imply its endorsement, recommendation or favoring >by the United States Government or the University of California. The views >and opinions of authors expressed herein do not necessarily state or reflect >those of the United States Government or the University of California, and >shall not be used for advertising or product endorsement purposes. > >------------------------------ >End of CIAC Notes Number 94-04 94_12_06 >**************************************** id AA10750; Mon, 12 Dec 1994 20:20:39 -0400 Date: Mon, 12 Dec 1994 20:18:28 -0400 (AST) Subject: ftp announcement Date: Mon, 12 Dec 94 14:25:36 EST From: Michael Makkai Some weeks ago, I announced two papers, "Generalized sketches as a framework for completeness theorems", and "Avoiding the axiom of choice in general category theory" as being available as hard copies. I now have run out of the copies, which were rather expensive because of the lengths of the papers. Now, the same papers have been placed on anonymous ftp at triples.math.mcgill.ca in the directory /pub/makkai ; the first paper is in directory /sketch , the second in /anafun , each paper is in several files. They are also available via WWW ftp://triples.math.mcgill.ca/pub/makkai/makkai_triples.html . If you need help, there is a README file which you can obtain as follows: ftp triples.math.mcgill.ca cd pub/makkai get README bye Michael Makkai id AA21067; Sat, 31 Dec 1994 11:13:56 -0400 Date: Sat, 31 Dec 1994 11:05:36 -0400 (AST) Subject: composition of enriched functors Date: Wed, 14 Dec 94 13:08:12 CST From: David Yetter It sticks in my mind that somewhere (probably Kelly's book on enriched category theory) I have seen the composition of enriched functors expressed in terms of coends. Our library's copy of Kelly is out, so I was hoping someone could help me recover the result and all necessary hypotheses. More precisely, I recall that it ran like this (and have proved this for ordinary categories): Associate to an enriched functor F:A \rightarrow B the functor Hom(F(-),-):A^{op} \times B \rightarrow V The composition of F and G is then given by \integral^c Hom(F(-),c) \otimes Hom(G(c),-) \cong Hom(G(F(-)),-). I am particularly interested in an analogous result for C-linear categories, and categories enriched in the category of C-linear categories, as this could have applications to topological and conformal field theories. Best Thoughts to all, David Yetter id AA21330; Sat, 31 Dec 1994 12:48:36 -0400 Date: Sat, 31 Dec 1994 11:07:25 -0400 (AST) Subject: G. M. Kelly and anafunctors Date: Fri, 16 Dec 94 14:25:45 EST From: Michael Makkai Some weeks ago, Max Kelly brought to my attention his paper "Complete functors in homology I. Chain maps and endomorphisms", Proc. Cambridge Phil. Soc. 60 (1964), pp. 721-735. In section 2, "Generalities on functors", in the first two (full) paragraphs on page 723, he gives a definition of what I call "anafunctor" in my paper "Avoiding the axiom of choice in general category theory" (relatively) recently announced on the Net. He gives both definitions, the elementary one, and the one in the style of spans that I give in my paper. He introduces the concept (that he does not name) as the general form of the data which one is having at one's disposal in many situations when one wants to introduce a functor but the converting of the data into a functor requires a use of the axiom of choice. He does not attempt to develop a theory of such data; however, he does say: "one who will not admit such choices [requiring the axiom of choice] may work with the pair of honest functors S , T [in the span-style definition of "anafunctor"] in place of the dishonest functor ...". Thus, my paper is a working-out of a thirty-year old idea of Max Kelly's. In the paper, I endeavor to show that one can indeed "work with the pair S , T " without giving up the basic structure of category theory. Michael Makkai id AA21126; Sat, 31 Dec 1994 11:18:42 -0400 Date: Sat, 31 Dec 1994 11:10:32 -0400 (AST) Subject: question on cHa's Date: Tue, 20 Dec 1994 14:13:05 +0100 From: Thomas Streicher Does somebody know whether for a complete Heyting algebra (cHa) A such that the specialization order on points is discrete it automatically holds whether for ALL cHa's B the frame morphisms from A to B are ordered discretely by the spezialization order. I know that there are cases (different from complete Boolean algebras) where it holds but does it hold in general ? Thomas Streicher