Date: Mon, 3 Apr 1995 11:32:03 -0300 (ADT) Subject: Re: change of address Date: Fri, 31 Mar 95 11:43:29 EST From: Michael Barr Congratulations to Juergen. His new email address is now aliased on triples. Michael Date: Mon, 3 Apr 1995 11:33:34 -0300 (ADT) Subject: change of address Date: Sun, 2 Apr 1995 18:27:30 +0200 From: Thomas Streicher Dear Colleagues, starting from 1.4.95 my new position will be at TH Darmstadt. The new coordinates are as follows : E-mail : streiche@mathematik.th-darmstadt.de Postal Adress : Thomas Streicher Fachbereich 4 Mathematik Technische Hochschule Darmstadt Schlossgartenstr. 7 64289 Darmstadt Germany Date: Tue, 4 Apr 1995 12:57:28 -0300 (ADT) Subject: Re: change of address Date: Tue, 4 Apr 95 11:56:16 +1000 From: Max Kelly We at Sydney echo these sentiments, both for Juergen Koslowski and for Thomas Streicher; their new addresses are now in our list sydcat/addresses/ catcurrent, with the email addresses repeated in our sydcat/addresses/structdir; the latter is Vaughan Pratt's list of 29 July 93 with such alterations as have come to our attention. Max Kelly. Date: Thu, 6 Apr 1995 22:17:56 -0300 (ADT) Subject: Structdir 6.2, Apr/6/95 Date: Thu, 6 Apr 95 07:23:38 PDT From: Vaughan Pratt I merged Max Kelly's copy of structdir with the current copy on boole.stanford.edu. The last broadcast of structdir was 20 months ago, so this might be a good time for a rebroadcast and request for bug fixes, names of omitted people, and other such updates. If you want the latest copy, discard the one below, wait a few days for this request to have its intended effect, then retrieve ftp://boole.stanford.edu/pub/structdir. Vaughan Pratt http://boole.stanford.edu, click on Papers (under Publications) then ABSTRACTS # Structures Directory -- Email addresses of structure theorists # Release 6.2, April 6, 1995 # 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@iti.cs.tu-bs.de (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: ageron@univ-caen.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@ai.mit.edu (Michael Blair) blass: ablass@umich.edu (Andreas Blass) bbloom: bard@cs.cornell.edu (Bard Bloom) sbloom: bloom@sparc1.stevens-tech.edu (Steve Bloom) lblum: lblum@ernie.berkeley.edu (Lenore Blum) mblum: blum@ernie.berkeley.edu (Manuel Blum) blute: 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 (Laurent 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: givant@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@dima.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@auc-acs.eun.eg (Michel Hebert) heckmann: heckmann@cs.uni-sb.de (Reinhold Heckmann) heggie: heggie@cad.uccb.ns.ca (Murray Heggie) hennessy: matthewh@cogs.sussex.ac.uk (Matthew Hennessy) henriksen: henriksen@hmcvax.claremont.edu (Mel Henriksen) henzinger: tah@cs.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@cwi.nl (Bart Jacobs) jaffar: joxan@watson.ibm.com (Joxan Jaffar) jagadeesan: rj2@doc.imperial.ac.uk (Radha Jagadeesan) james: wjames@adam.adelaide.edu.au (William James) janelidze: gjnel@imath.kheta.georgia.su (George Janelidze) janssen: theo@fwi.uva.nl (Theo Janssen) jardine: jardine@uwovax.uwo.ca (John Jardine) jay: cbj@socs.uts.edu.au (Barry Jay) jeffrey: alan.jeffrey@prg.oxford.ac.uk (Alan Jeffrey) jenkins: maj@qucis.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: johnson@math.muni.cz (Paul Johnson) johnstone: ptj@pmms.cam.ac.uk (Peter Johnstone) 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: heinrich.kleisli@unifr.ch (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: koslowj@iti.cs.tu-bs.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@allegory.cs.wesleyan.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) luo: zhaohui.luo@durham.ac.uk (Zhaohui Luo) 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: phil@cs.colgate.edu (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: lo@comlab.ox.ac.uk (Luke Ong) oosten: jvoosten@daimi.aau.dk (Jap van Oosten) orlowska: orlowska@plearn.bitnet (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: dup@doc.ic.ac.uk (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 (Jacques 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) pinchinat: sophie.pinchinat@irisa.fr (Sophie Pinchinat) 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: poigne@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@crl.com (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: sakurai@math.s.chiba-u.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) 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: sokolowski@ipipan.gda.pl (Stefan Sokolowski) spencer: dwights@cse.ogi.edu (Dwight Spencer) spooner: spoonerd@cpsc.ucalgary.ca (Dave Spooner) spreen: spreen@informatik.uni-siegen.de (Dieter Spreen) srinivas: srinivas@kestrel.edu (Yellamraju Srinivas) staples: staples@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) stefanescu: ghstef@imar.ro (Gheorghe Stefanescu) steiner: maths@vme.gla.ac.uk (Richard Steiner) stell: john@cs.kl.ac.uk (John Stell) stengel: i51bbvs@rz.unibw-muenchen.de (Bernhard.von Stengel) stewart: cstewart@watserv1.uwaterloo.ca (Cameron Stewart) stirling: cps@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: streicher@mathematik.th-darmstadt.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) tarlecki: tarlecki@mimuw.edu.pl (Andrzej Tarlecki) 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) vitale: vitale@agel.ucl.ac.be (Enrico Vitale) 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) weld: weld_h@maths.su.oz.au (Henry Weld) 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 (Yoshiki Kinoshita) 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) Date: Thu, 6 Apr 1995 22:20:20 -0300 (ADT) Subject: Research Studentship Date: Thu, 6 Apr 95 17:05:11 BST From: David.Pym@dcs.qmw.ac.uk Hello, I should be grateful if you would be so kind as to pass on this avdertisement to any interested _eligible_ parties. Kind regards, David Pym RESEARCH STUDENTSHIP Department of Computer Science and School of Mathematical Sciences, Queen Mary & Westfield College, University of London Applications are invited for a U.K. EPSRC research studentship under the supervision of Dr. D.J. Pym and Prof. W. Hodges. (There are some eligibility restrictions.) Candidates should have or expect to obtain at least a very good first degree in which mathematics is a major component. Some knowledge of computing is highly desirable but not essential. The field of study is mathematical logic and the theory of computation. Queen Mary & Westfield College (and the University of London more generally) are very stong centres for logic and theoretical computer science. Enquiries may be made to pym@dcs.qmw.ac.uk or w.hodges@maths.qmw.ac.uk, from whom more details can be obtained. Application forms and prospectuses can be obtained from: Carla Benjamin, Department of Computer Science, Queen Mary & Westfield College, University of London, Mile End Road, London E1 4NS Email: carla@dcs.qmw.ac.uk Fax: +44 (0)181 980 6533 Phone: +44 (0)171 650 5225 Departmental URL: http://www.dcs.qmw.ac.uk/ Date: Mon, 10 Apr 1995 10:28:37 -0300 (ADT) Subject: First Article in Theory and Applications of Categories Date: Fri, 7 Apr 1995 13:05:01 -0300 (ADT) From: Theory and Applications of Categories Following this is the abstract of the recently published first article in the electronic journal, Theory and Applications of Categories. IF YOU WISH TO RECEIVE ABSTRACTS OF FUTURE ARTICLES IN THE JOURNAL, PLEASE SUBSCRIBE TO THE JOURNAL, IF YOU HAVE NOT ALREADY DONE SO. You can subscribe by simply sending your full name and postal address in an email with subject `subscription' to tac@mta.ca. Subscription is free. There are two reasons for requiring a separate subscription to the journal. First, subscribers to one of the categories mailing list or the electronic journal may not be interested in the other. Secondly, while access to the journal is free and open over the Internet, it is obviously useful to have a base of known subscribers. You may rest assured that the subscription list will not be used externally. Regards to all, Bob Rosebrugh ---------------------------------------------------------------------- THEORY AND APPLICATIONS OF CATEGORIES This is to announce publication of the first paper in the new journal. The abstract is below, and the full paper may be accessed by ftp in the files mentioned after the abstract, or on the Web through http://www.tac.mta.ca/tac/vol1.htm Compressed versions of the files are also available. Please report any difficulties to tac@mta.ca *********************************************************************** Oriented Singular Homology Michael Barr We formulate three slightly different notions of oriented singular chain complexes and show that all three are naturally homotopic to ordinary singular chain complexes. Theory and Applications of Categories, Vol 1 (1995), 1-9. ftp://ftp.tac.mta.ca/pub/tac/volumes/1995/n1/v1n1.{dvi,ps} Date: Wed, 12 Apr 1995 23:53:00 -0300 (ADT) Subject: Does Set exist outside Set? Date: Tue, 11 Apr 95 22:50:05 PDT From: Vaughan Pratt Can one prove the existence of Set in "any other" category? More specifically, if category theory is developed *entirely* within the topos of reflexive graphs (for a suitable notion of "entirely"), can one still prove that there exists a category with four adjoints left of Yoneda? This is of course Rosebrugh and Woods' nifty one-axiom characterization of Set, which one might call the uvwxy theorem. (Automata theory also has a uvwxy theorem, namely the pumping lemma for context-free languages, making the name context-sensitive...) Vaughan Pratt Date: Sat, 15 Apr 1995 12:51:57 -0300 (ADT) Subject: Research Studentship Date: Sat, 15 Apr 95 13:51:28 BST From: Zhaohui.Luo@durham.ac.uk I would be very grateful if you could help to pass on the following advertisement to any interested parties. Thanks very much in advance. Best regards, Zhaohui Luo. -------------------------------------------------------------------- RESEARCH STUDENTSHIP Department of Computer Science, University of Durham. Applications are invited from students with good undergraduate or MSc degrees in computer science or mathematics to study for a PhD degree. A U.K. EPSRC research studentship is available for a suitably qualified candidate for the October 1995 entry. It covers tuition fees and maintenance for three years. The level of the maintenance grant is linked to the standard grant offered by EPSRC which for 1994/95 was set at 4910 pounds per annum. The successful candidate is expected to work on a project closely related to computer-assisted reasoning, program specification and development, or application of logics and type theories. Enquiries may be made to and application forms can be obtained from Dr. Zhaohui Luo Dept. of Computer Science Durham University South Road Durham DH1 3LE U.K. Email: Zhaohui.Luo@durham.ac.uk Fax: +44 (0)191 374 2560 Phone: +44 (0)191 374 3657 Date: Tue, 18 Apr 1995 11:30:00 -0300 (ADT) Subject: Third Announcement Date: Sat, 15 Apr 1995 13:19:56 -0300 From: Category Theory Conference THIRD ANNOUNCEMENT INTERNATIONAL CATEGORY THEORY MEETING (CT95) Canadian Mathematical Society Annual Seminar July 9-15, 1995 Dalhousie University Halifax, Canada Location of the meeting. The meeting will take place on the campus of Dalhousie University in Halifax. Talks will be held in the centrally located Arts and Administration Building, in the immediate vicinity of both residence accommodation and the Department of Mathematics, Statistics and Computing Science. Travel to Halifax. By air: Halifax International Airport is serviced by both major Canadian airlines, Air Canada and Canadian Airlines International, and their regional affiliates, with direct (many non-stop) flights from most larger Canadian cities. There are also frequent direct flights from Boston, Newark, and Detroit as well as daily flights from London, England (Air Canada) and three flights a week from Amsterdam (KLM; Wednesdays, Fridays and Sundays). (A direct service to Chicago was announced recently; it should be in operation by the tiime of the meeting.) Airport transit: The airport shuttle bus (fare $11.00) will take you to any hotel in Halifax. If you stay in a university residence, you can take a taxi from the Lord Nelson Hotel (fare about $5.00). Taxi fares directly from the airport will be approximately $35.00. You can also rent a car at the airport. By car: Halifax is within driving distance from most locations in the North-Eastern United States. If you choose to travel by car, it is possible to use of one of the ferry services to cross the Bay of Fundy: Portland, ME - Yarmouth, N.S. "Scotia Prince" 1-800-341-7540 Bar Harbor, ME - Yarmouth, N.S. "Bluenose" 1-800-341-7981 Saint John, N.B. - Digby, N.S. "Princess of Acadia" 1-800-341-7981 >From Yarmouth to Halifax the distance is 301 km (187 mi). From Digby to Halifax the distance is 237 km (147 mi). By train: There are daily trains (except Tuesdays) to and from Montreal, with connecting VIA Rail service with other cities in Central Canada, and AMTRAK connections with New York City and Washington, DC. Note, however, that the train ride from Montreal to Halifax takes about 18 hours. If you have the time, the train provides an enjoyable view of Maritime Canada. Accommodation. University residences: Blocks of rooms have been reserved in Shireff Hall and in Howe Hall, student residences. The rates (including taxes) are single room/nightly $35.00 single room/weekly $207.00 twin room/nightly $51.00 twin room/weekly $307.00 Prices include breakfast in the residence dining room, daily maid service, linen, towels and parking. It is expected that computer facilities will be available in the residences. The conference dates fall outside the regular Dalhousie academic year so that the residences will be quiet. They provide many convenient and comfortable areas suitable for the free exchange of mathematical ideas. Of course, hotels (and some suggestions follow) offer facilities that are not found in university residences anywhere but the organizers of CT95 encourage you to consider the residence option carefully, allowing as it does for a very stimulating meeting. Hotels: The hotel closest to Dalhousie is The Lord Nelson. It is a fairly old hotel that no longer has restaurant and bar facilities. However, many such amenities are to be found in the immediate vicinity and it overlooks the beautiful Public Gardens. Located at the corner of South Park Street and Spring Garden Road, it is approximately 15 minutes walk from the meeting location (5 minutes by city bus). If you mention that you are attending a conference at Dalhousie, you should be quoted a rate (including taxes) of $70.00 per night. Almost as close is the Holiday Inn at approximately $115 per night. In the downtown area (approximately 30 minutes walk away from the campus) are many other brand-name hotels. A few sample telephone numbers are provided below. For complete information on hotels, apartment hotels and bed and breakfasts, it is best to contact the Nova Scotia Department of Tourism, through a travel agent if outside of North America or by calling (toll free) 1-800-565-0000 from within North America. Since July is the high tourist season in Halifax, HOTEL RESERVATIONS SHOULD BE MADE AS SOON AS POSSIBLE. Lord Nelson Hotel (902)-423-6331 Holiday Inn Halifax Centre (902)-423-1161 Delta Barrington (902)-429-7410 Cambridge Suites (902)-420-0555 Citadel Inn (902)-422-1391 Sheraton Halifax (902)-421-1700 Prince George Hotel (902)-425-1986 Fenwick Place: A very limited number of apartments have been reserved in Fenwick Place, a university-owned apartment highrise (with a good view of Halifax Harbour), located 20 minutes by foot from the Dalhousie campus. The rates are 2-bdrm. apt./nightly $50.00 2-bdrm. apt./weekly $275.00 3-bdrm. apt./nightly $79.00 3-bdrm. apt./weekly $412.00 The smaller apartments have 3 single beds, and the larger ones have 5 single beds. The rates include linen and towels. There is no food service available at Fenwick Place. FOR ACCOMMODATION AT EITHER A UNIVERSITY RESIDENCE OR FENWICK PLACE, PLEASE COMPLETE THE ATTACHED ACCOMMODATION REQUEST FORM AND SEND IT TO atanner@kilcom1.ucis.dal.ca Meals. Breakfast is included in the accommodation rate at the university residences. Lunches in the University Club (adjacent to the building where the talks will be held), for Monday through Friday of the week of the meeting, are included in the meeting registration fee. The evening meals on Tuesday (excursion day) and Thursday (banquet day) are also included in the registration fee. Other meals can be purchased on campus in the residence dining room, the University Club and the cafeteria in the Student Union Building. A guide to Halifax restaurants will be available at the meeting. Registration. The registration fee is $250 (Canadian). For students the fee is $125. As noted above, the registration fee includes 5 lunches, an excursion (with evening meal) and a banquet. In a subsequent posting we will include a meeting registration form. We will be requesting a deposit of $50 before June 1 to confirm registration. Similarly, Dalhousie Conference Services will require a deposit of one night's full payment per person, prior to June 1 to guarantee a residence room or an apartment at Fenwick. Conference services require that accommodation payment be in Canadian funds. They will accept cash, certified cheques, postal money orders, bank drafts, travellers cheques, MasterCard, and Visa. Credit card deposits require both the card number and expiry date. Personal cheques are not accepted. The conference organizers will accept registration payments and deposits in either Canadian or American funds (multiply by 4/5 for the latter). For registration we are unable to accept credit card payment. Abstracts. If you wish to speak at CT95 please send an abstract to pare@cs.dal.ca before May 1. CATEGORY THEORY SUMMER SCHOOL June 25-July 8, 1995 Dalhousie University Halifax, Canada In conjunction with CT95, Professors F.W. Lawvere and S. Schanuel will be offering a series of preparatory lectures for graduate students who plan to attend the conference. There is no registration fee for the summer school. Student accommodation is $20 nightly/$110 weekly and should be requested from atanner@kilcom1.ucis.dal.ca GRADUATE STUDENTS ATTENDING THE SUMMER SCHOOL ARE ASKED ALSO TO WRITE TO rjwood@cs.dal.ca ADVISING OF THEIR YEAR OF STUDY. University accommodation request. -------------------------------cut here----------------------------------------- CATEGORY THEORY CONFERENCE -CT95- DALHOUSIE UNIVERSITY HALIFAX CANADA SUNDAY, JULY 9 - SATURDAY, JULY 15, 1995 RESIDENCE ACCOMMODATION REQUEST NAME: MAILING ADDRESS: TELEPHONE NUMBER (including country etc. prefixes): MALE FEMALE ARRIVAL DATE: DEPARTURE DATE: Type of Accommodation Requested: Only Canadian Funds Accepted _____ single room/ nightly @ $29.00 + $ 2.03 GST + $ 3.41 PST = $34.44 _____ single room/ weekly @ $174.00 + $12.18 GST + $20.48 PST = $206.66 _____ twin room/ nightly @ $43.00 + $ 3.01 GST + $ 5.06 PST = $51.07 _____ twin room/ weekly @ $258.00 + $18.06 GST + $30.37 PST = $306.43 If you have requested a twin room, please name roommate: (Accommodation in Nova Scotia is subject to 7% Goods and Services Tax (GST) and 11% Provincial Sales Tax (PST).) The accommodation rate includes daily maid service, breakfast in the residence each morning, linen, towels, and parking. Linen changed once a week. Rates are subject to change. The reservation cut-off date for your group is June 1, 1995. Reservations booked after this date cannot be confirmed and can only be guaranteed if space permits. Please make deposits payable to DALHOUSIE UNIVERSITY. This deposit is refundable if cancellation is received five (5) working days prior to the scheduled arrival. Payment may be made by Cash, Cheques (if accompanied by a VISA or MC number), Postal Money Orders, Bank Drafts, Travellers Cheques, MasterCard, and Visa. Credit card deposits require both the card number and expiry date. Canadian Funds Only. Credit Card #: Expiry Date: Signature: In order to guarantee your reservation, please complete this form and send it along with ONE NIGHT'S FULL PAYMENT PER PERSON to: Conference Administrator, Conference Services Dalhousie University Suite 410, Student Union Building Halifax, Nova Scotia B3H 4J2 CANADA Telephone: (902) 494-8840 Fax Number: (902) 494-1219 E-mail: ATANNER@KILCOM1.UCIS.DAL.CA OFFICE USE ONLY: Date Rec'd: Deposit Rec'd: -------------------------------------------------------------------------------- Date: Thu, 20 Apr 1995 09:25:16 -0300 (ADT) Subject: Notice for FMCS Date: Wed, 19 Apr 1995 13:38:13 -0600 From: Robin Cockett =========================================================================== ************************************************* * * * FFFFF M M CCC SSSS 9999 55555 * * F MM MM C S 9 9 5 * * FFFFF M MM M C SSS 99999 555 * * F M N C S 9 5 * * F M M CCC SSSS 9999 5555 * * * **********************FMCS 95******************** * * * PRELIMINARY ANNOUNCEMENT * * * **********************FMCS 95******************** Fourth Annual Workshop on Foundational Methods in Computer Science (A workshop on applications of categories in computer science) DATES: June 2-4, 1995 LOCATION: University of Calgary, Kananaskis Field Station. *** LIMITED ACCOMODATION BOOK EARLY *** Overview: This will be the fourth year of the workshop on foundational methods in computer science. The workshop provides a forum for bringing together mathematicians and computer scientists with an interest in category theory and its applications to computer science. The workshop will have approximately the same format as last year, with a day of tutorials on friday June 4 and shorter research presentations on June 5 and 6. Due to the location (in the foothills of the Rockies) we shall adopt a mountain conference schedule: lectures will run 9:00am -12:00pm, packed lunches, supper at 5:30pm, and lectures resume 7:00pm - 10:00pm. There will be no proceedings prior to the meeting. Guests: We are still in the process of contacting speakers and guests. The tutorials will include an introduction to category theory by David, a survey of monads by Ernie Manes, an introduction to enriched category theory by Vaughn Pratt, and a survey of linear logic. Participation: People wishing to participate should send me email which clearly states "FMCS Workshop" to: camille@cpsc.ucalgary.ca (with a carbon copy to: robin@cpsc.ucalgary.ca) if you are interested in giving a talk please offer a preliminary title. This will help with scheduling. We encourage the participation of researchers at all levels in this workshop, including graduate students. Please notify us as soon as possible of your intention to attend. PLEASE NOTE: We are working on a first come first serve basis as there is limited accomodation. Fees: This is a sleep-on-site meeting we propose a charge of roughly ca$150-200.00 to cover all food and accomodation and registration for thurs/friday/saturday. If you wish to stay the sunday night you may arrange this during the workshop. There is accomodation for a maximum of 38 persons. If you need transport from Calgary please let us know -- we will arrange it! About the location: The Kananaskis field station is on Highway 40, 10.2 kilometers south of the junction with Trans Canada #1. The site is immediately to the East of Barrier Lake and was (in WW2) a POW camp. The accomodation has improved since then! However, it remains a relatively remote field station -- bunk beds and dormitary style accomodation are the order of the day. It is right next door to many of the Olympic downhill and cross-country skiing areas. The area offers walks of all standards in some of the most stunning mountain scenery of the Rockies. In June the evenings still get quite cool.