July 1993 - Categories - categories.org.au

UACT Participants List-posting corrected
by cfw2＠po.CWRU.Edu 18 Aug '93

18 Aug '93

+++++++++++ Note from Moderator: My apologies to Charles for resending his earlier posting under the Subject: of this one. Bob Rosebrugh +++++++++++ Participant List Universal Algebra and Category Theory July 12-23, 1993 [This file is being sent to the category mailing list (categories(a)mta.ca) and to the individuals listed below who have email addresses. I apologize for the overlaps. The source was a Macintosh file. I have attempted to replace the accented characters, which come out wrong on DOS machines, with their TeX equivalent, "\" followed by a symbol denoting the accent to be put on the following letter: ' acute ` grave " umlaut The source file missed many accents and included a number of misspellings, which I have corrected only when I was reasonably sure I knew what the correction should be. --Charles Wells] Jiri Adamek Technicka 2 Czech Technical University in Prague 166 27 Praha 6 Czechoslovakia adamek(a)math1.cvut.cs Pierre Ag\'eron Departement de Math\'ematiques Universite de Caen 14032 Caen, Cedex France gremlin(a)math.unicaen.fr Michael Albert Department of Mathematics Carnegie-Mellon University Pittsburgh, PA 15213 Michael.Albert(a)cmu.edu Teresa Maria Almada Departamento de Matematica University of Lisbon Rua Ernesto de Vasconcelos Bloco C1 - 3 Piso, 1700 Lisboa Portugal matjoao%ptearn.bitnet(a)FRMOP11.CNUSC.FR Kirby Baker Department of Mathematics University of California Los Angeles Los Angeles, CA 90024 kab(a)math.ucla.edu David Benson dbenson(a)eecs.wsu.edu George Bergman Department of Mathematics University of California Berkeley Berkeley, CA 94720 gbergman(a)math.berkeley.edu Joel Berman Department of Mathematics University of Illinois at Chicago Chicago, IL 60680 u10391(a)uicvm.bitnet Renato Betti Dip. di Matematica Politecnico di Milano Piazza Leonardo da Vinci, 32 20133 Milano Italy renbet(a)ipmma1.polimi.it David Bigelow Department of Mathematics Malaspina College 900 Fifth Street Nanaimo, BC V9R 5S5 Canada bigelow(a)mala.bc.ca Andreas Blass Department of Mathematics University of Michigan Ann Arbor, MI 48109-1003 ablass(a)umich.edu Dominique Bourn Math\'ematiques et d'Informatique Universit\'e de Picardie Jules Verne 33, rue Saint-Leu 80039 Amiens C\'edex 01 France Pilar Carrasco Universidad de Granada Departamento de algebra Campus Fuente Nueva s/n Granada 18071 Spain mcarrasco(a)ugr.es David Clark Math and Computer Science SUNY, College at New Paltz New Paltz, NY 12561 CLARKD%snynewvm.bitnet(a)cunyvm.cuny.edu Leslie Cohn Department of Mathematics The Citadel Charleston, SC 29409 cohnl(a)citadel.edu William Craig Department of Philosophy University of California Berkeley Berkeley, CA 94720 Brian Davey Department of Mathematics La Trobe University Bundoora, Victoria 3083 Australia Klaus Denecke Universit\"at Potsdam Fachbereich Mathematik Am Neuen Palais 10 0-1571 Potsdam Germany Carlos A. Di Prisco University of California Berkeley Berkeley, CA 94720 Thomas Drucker Co-Editor, Modern Logic 304 South Hanover Street Carlisle, PA 17013 Marcel Ern\'e Universit\"at Hannover Institut f\"ur Mathematik Welfengarten 1 W-3000 Hannover Germany aberne(a)dhvrrzn1.uni-hannover.dbp.de Paul Feit University of Texas at Permian Basin 4901 E. University Blvd. Odessa, TX 79762 p_feit(a)utpb.pb.utexas.edu Isabel M.A. Ferreirim Departamento de Matematica Universidade de Lisboa R. Ernesto de Vasconcelos, Bloco C1 1700 Lisboa Portugal @FRMOP11.CNUSC.FR:mimafer@ptearn.bitnet Thomas Fox Department of Mathematics Burnside Hall McGill University Montreal, H3A 2K6 Canada fox(a)triples.math.mcgill.ca Ralph Freese Department of Mathematics University of Hawaii Honolulu, HI 69822 ralph(a)math.hawaii.edu Ervin Fried Algebra ELTE TTK 1088 M\"uzeum krt. 6-8 H-1088 Budapest Hungary efried(a)ludens.elte.hu Hernando Gaitan Departamento de Matematicas Facultad de Ciencias Universidad de Los Andes Merida 5101 Venezuela gaitan(a)sun.com Steve Givant Mills College 5000 Mac Arthur Bhur Blvd. Oakland, CA 94613iel Gluschankof UFR de Math\'ematiques Universite Paris 7 - CNRS (URA 753) Tour 45, 5\`eme \'etage, coulior 45-55 2 place jussieu 75251 Paris, Cedex 05, France gluscha(a)logique.jussieu.fr Simon M. Goberstein Department of Mathematics California State University, Chico Chico, CA 95929 Abraham Goetz Department of Mathematics University of Notre Dame Notre Dame, IN 46556 abraham.goetz.2(a)nd.edu or abe(a)cartan.math.nd.edu Robert Gordon Department of Mathematics Temple University Philadelphia, PA 19122 gordon(a)euclid.math.temple.edu Marco Grandis Dipartimento di Matematica Universit\`a di Genova Via L.B. Alberti, 4 I-16132 Genova Italy grandis(a)cisi.unige.it John W. Gray Department of Mathematics University of Illinois Urbana, IL 61801 gray(a)symcom.math.uiuc.edu Mark Haiman Department of Mathematics University of California San Diego La Jolla, CA 92903-0112 Carol Halstead Stone Department of Mathematics Simon Fraser University Burnaby, BC V5A 1S6 Canada Catherine Haynie San Mateo, California Simone Hazan Michel H\'ebert Department of Mathematics Universit\'e Laval Quebec, G1K 7P4 Canada mhebert(a)mat.ulaval.ca Alex Heller City University of New York Christian Herrmann FB4 AG1 Technische Hochschule Darmstadt 64289 Darmstadt Germany herrmann(a)mathematik.th-darmstadt.de Jennifer Hyndman 1556 Charles Street, #402 Vancouver, BC V5L 2T1 Canada jhyndman(a)cs.sfu.ca Pawel Maria Idziak Department of Computer Science Jagiellonian University Nawojki 11, PL-30-072 Krakow POLAND idziak(a)ii.uj.edu.pl or idziak(a)math.berkeley.edu John Isbell Department of Mathematics Diefendorf Hall SUNY at Buffalo Buffalo, NY 14214-3093 MTHISBEL(a)ubvms.cc.buffalo.edu Awad Iskander Department of Mathematics University of S.W. Louisiana Lafayette, LA 70504 awadisk(a)usl.edu George Janelidze Mathematical Institute of the Georgian Academy of Sciences 1 Rukhadze str. 380093 Tblisi Republic of Georgia gjnel(a)imath.kheta.georgia.su Jaroslav Jezek Department of Mathematics University of Hawaii at Manoa 2565 The Mall Honolulu, HI 96822 jarda(a)math.hawaii.edu Mamuka Jibladze Mathematical Institute of the Georgian Academy of Sciences 1 Rukhadze str. 380093 Tblisi Republic of Georgia jib(a)imath.kheta.georgia.su Michael Johnson School of Mathematics and Computing Macquarie University NSW 2109 Australia mike(a)macadam.mpce.mq.edu.au Peter Johnstone Department of Mathematics University of Cambridge 16 Mill Lane Cambridge, CB2 1SB England Andr\'e Joyal Dept. de Math\'ematiques et d'Informatique Universite du Qu\'ebec a Montr\'eal Case Postale 8888 Succ "A" Montreal H3C 3P8 Canada joyal(a)math.uqam.ca Yefim Katsov Dept. of Mathematics & Comp. Science Hanover College P.O. Box 108 Hanover, IN 47243 katsov(a)hanover.edu Keith Kearnes Department of Mathematics Harvey Mudd College Claremont, CA 91711 kearnes(a)fenris.claremont.edu Max Kelly Department of Pure Mathematics University of Sydney New South Wales, 2006 Australia kelly_m(a)maths.su.oz.au Tim Kientzle University of California Berkeley Berkeley, CA 94720 Volker Kleinschmidt Department of Mathematics University of Illinois at Chicago Box 4348 Chicago, IL 60680, IL 60680 J\"urgen Koslowski volastr. 31 D-3000 Hannover 1 Germany ABERNE(a)dhvrrzn1.uni-hannover.d400.de Chuck Latting University of California Berkeley Berkeley, CA 94720 latting(a)math.berkeley.edu Dietlinde Lau Universit\"at Rostock FB Mathematik Universitatsplatz 1 0-2500 Rostock Germany William Lau P.O. Box 206 Siloam Springs, AR 72761ngs, AR 72761omme Universit\'e Catholique de Louvain Inst. de Math, Pure et Appliqu\'e Chemin du Cyclotron 2 B-1348 Louvain-La-Neuve Belgium William Lawvere Department of Mathematics SUNY at Buffalo Buffalo, NY 14214 MTHFWL(a)ubvms.cc.buffalo.edu Jonathan Leech Department of Mathematics Westmont College 955 La Paz Rd. Santa Barbara, CA 93108-1099 leech(a)westmx.westmont.edu or leech(a)westmont.edu Renato Lewin Instituto de Matematicas Universidad Cat\'olica de Chile Casilla 114-D, Santiago Chile rlewin(a)mat.puc.cl Ina Lindemann Springer-Verlag 175 Fifth Ave. New York, NY 10010 lindemann(a)spint.compuserve.com Fred Linton Department of Mathematics letown, CT 06457ty Middletown, CT 06457 flinton(a)eagle.wesleyan.edu or fejlinton(a)mcimail.com Tom Lippincott University of California Berkeley Berkeley, CA 94720 lippin(a)math.berkeley.edu Otfried Luders Department of Mathematics University Potsdam Am Neuen Palais 10 0-1570 Potsdam Germany Saunders Mac Lane Department of Mathematics University of Chicago 5734 S. University Ave. Chicago, IL 60637 saunders(a)math.uchicago.edu John L. MacDonald Department of Mathematics University of British Columbia 121-1984 Mathematics Road Vancouver, BC V6T 122 Canada johnm(a)math.ubc.ca Michael Makkai Department of Mathematics McGill University 805 Sherbroke, W. Montreal, H3A 2K1 Canada S. Margolis Department of Computer Science Ferguson Hall University of Nebraska-Lincoln Lincoln, NE 68588-0115 stu(a)lovelace.unl.edu L\'aszl\'o M\'arki Mathematical Institute Hungarian Academy of Sciences Budapest, P.O.B. 127, H-1364 Hungary H1133Mar(a)huella.bitnet Ralph McKenzie Department of Mathematics University of California Berkeley Berkeley, CA 94720 George McNulty Department of Mathematics University of South Carolina Columbia, SC 29208 mcnulty(a)math.scarolina.edu John Meakin Department of Mathematics & Statistics University of Nebraska-Lincoln 810 Oldfather Hall Lincoln, NE 68588 meakin(a)hoss.unl.edu Ieke Moerdijk Mathematical Institute Budapestlaan 6 P.O. Box 80.010 3508 TA Utrecht The Netherlands William Nico Cal State Hayward Hayward, CA nico(a)csuhayward.edu Susan Niefield Department of Mathematics Union College Schenectady, NY 21308-2311 NIEFIELS(a)gar.union.edu Loyiso Nongxa Harvard University Cambridge, MA 02138138 ngxa(a)math.harvard.edu Sheila Oates-Williams Department of Mathematics University of Queensland - St. Lucia Brisbane Q4067 Australia sw(a)maths.uq.oz.au P.P. P\'alfy Mathematical Institute Hungarian Academy of Sciences P.O.B. 127 Budapest, H-1364 Hungary H1134Pal(a)HUELLA.BITNET Paul H. Palmquist 13122 Dewey Street Los Angeles, CA 90066900660.1050(a)compuserve.com Robert Par\'e Department of Mathematics Dalhousie University Halifax, Nova Scotia, B3H 3J5 Canada pare(a)cs.dal.ca Gerhard R. Paseman P.O. Box 11992 Berkeley, CA 94701 94701an(a)math.berkeley.edu [this is probably paseman(a)math.berkeley.edu] Maria-Cristina Pedicchio Dipto di Matematica Universit\`a degli Studi di Trieste p. le Europa 1 34100 Trieste Italy pedicchi(a)univ.trieste.it Jon Phillips 35 St. John's Court Walnut Creek, CA 9459694596 Pigozzi Department of Mathematics Iowa State University Ames, IA 50011 dpigozzi(a)iastate.edu Goncalo Pinto Universidade Nova de Lisboa Departamento de Matematica Quinta Da Torre 2825 Monte De Caparica Portugal Alden Pixley Department of Mathematics Harvey Mudd College Claremont, CA 91711 apixley(a)sif.claremont.edu Gordon Plotkin University of Edinburgh Mayfield Road Edinburgh, EH9 3JZ SCOTLAND Hans-E. Porst Universit\"at Bremen Department of Mathematics Besselstr 65 2800 Bremen 1 Germany porst(a)informatik.uni-bremen.de A.J. Power Laboratory for Computer Science King's Buildings, University of Edinburgh Mayfield Road Edinburgh, EH9 3JZ SCOTLAND ajp(a)dcs.ed.ac.uk Vaughan R. Pratt 2215 Old Page Mill Road Stanford University Palo Alto, CA 94304 pratt(a)CS.Stanford.EDU or pratt(a)coraki.stanford.edu Hilary Priestley Mathematical Institute 24/29 St. Giles Oxford OX1 3LB England HAP(a)vax.oxford.ac.uk R.W. Quackenbush c/o Prof. B. Davey Department of Mathematics La Trobe University Bundoora, Victoria 3083 Australia gbush(a)ccu.umanitoba.ca Gunther Richter Fakult\"at f\"ur Mathematik Universit\"at Bielefeld D-4800 Bielefeld 1 Postfach 8640 Germany Anna Romanowska Instytut Matematyki Politechnika Warszawska Plac Politechniki 1 00661 Warszawa Poland aroman(a)plwatu21.bitnet W.H. Rowan P.O. Box 20791 Oakland, CA 9462094620n(a)garnet.berkeley.edu [probably rowan(a)garnet.berkeley.edu] Mark Sapir Department of Mathematics & Statistics University of Nebraska-Lincoln Lincoln, NE 68588-0323 msapir(a)hoss.unl.edu Maria Joao Saramago Departamento de Matematica University of Lisbon Rua Ernesto de Vasconcelos Bloco C1 - 3 Piso, 1700 Lisboa Portugal matjoao%ptearn.bitnet(a)FRMOP11.CNUSC.FR Jurg Schmid Mathematischas Institut Universit\"at Bern CH-3012 Bern Switzerland schmid(a)math-stat.unibe.ch Silke Schulz Ernst - Thalmann - Ring 46 A 0-2200 Griefswald Germany Dietmar Schumachev Acadia University, Canada Maria Gloria Schwarze Instituto de Matematicas Universidad Cat\'olica de Chile Casilla 114-D, Santiago Chile rlewin(a)mat.puc.cl Dana Scott International Computer Science Institute 1947 Center Street, Suite 600 Berkeley, CA 94704 dana.scott(a)proof.ergo.cs.cmu.edu Steven Seif Department of Mathematics University of Louisville Louisville, KY 40292 swseif01(a)ulkyux.louisville.edu Richard Squire 3848 Rue de Bullion Montreal, Quebec H2W 2E1 Canada Theron Stanford University of California Berkeley Berkeley, CA 94720 Sergei Starchenko Department of Mathematics Simon Fraser University Burnaby, BC V5A 1S6 Canada starchen(a)cs.sfu.ca Art Stone Department of Mathematics University of British Columbia Vancouver, BC V6T 1Y4 Canada macstone(a)bzu.ubc.ca or stone(a)math.ubc.ca Mike Stone University of Calgary mgstone(a)acs.ucalgary.ca Ross H. Street Department of Mathematics Macquarie University North Ryde, NSW 2109 Australia street(a)macadam.mpce.mq.edu.au Agnes Szendrei Jozsef Attila Tudomanyegyetem Bolyai Intezete Institututm Bolyaianum Universitatis 6720 Szeged Hungaria H1029Sze(a)huella.bitnet Walter F. Taylor Department of Mathematics University Colorado Boulder, CO 80309-0426 wtaylor(a)euclid.colorado.edu Walter Tholen Department of Mathematics York University 4700 Keele Street North York, Ontario M3J IP3 Canada tholen(a)mathstat.yorku.ca Howard M. Thompson University of California Berkeley Berkeley, CA 94720 Richard J. Thompson 355 Orchard Ave. Sunnyvale, CA 9408694086es Tierney Department of Mathematics Rutgers University New Brunswick, NJ 08905 tierney(a)mipsmath.math.uqam.ca Michael Tischendorf Technische Hochschule Darmstadt FB4 AG1 64289 Darmstadt Germany dc9m(a)mathematik.th-darmstadt.de Vera Trnkov\'a Math. Institute Charles University Prague Czechoslovakia trnkova(a)CSPGUK11.BITNET M.S. Tsalenko c/o L. Tslenko (Daughter) 1230 Liberty #1 El Cerrito, CA 94530 Steven Tschantz Department of Mathematics Vashville, TN 37235y Nashville, TN 37235 tschantz(a)athena.cas.vanderbilt.edu Matthew Valeriote Department of Mathematics McMaster University Hamilton, Ontario L8S 4K1 Canada matt(a)johnny.math.mcmaster.ca Joel Van der Werf University of California Berkeley Berkeley, CA 94720 D.H. Van Osdol Department of Mathematics University of New Hampshire Durham, NH 03824 D_VANOSDOL(a)UNHH.UNH.EDU Dominic Verity Department of Mathematics Macquarie University North Ryde, NSW 2109 Australia dom(a)macadam.mpce.my.edu.au Michail V. Volkov Department of Mathematics & Mechanics Ural State University 620083 Ekatherinburg Russia volkovm(a)math.urgu.e-burg.su Bernhard von Stengel Informatik 5 University of the Bundeswehr at Munich 85577 Neubiberg i51bbvs(a)rz.unibw-muenchen.de Samuel M. Vovsi Department of Mathematics Rutgers University New Brunswick, NJ 08903 vovsi(a)chaos.trenton.edu or vovsi(a)math.rutgers.edu Linda Wald Department of Mathematics University of California Los Angeles Los Angeles, CA 90024 linda(a)math.ucla.edu Nick Weaver Department of Mathematics University of California Berkeley Berkeley, CA 94720 weaver(a)math.berkeley.edu Benjamin Wells Department of Mathematics University of San Francisco San Francisco, CA 94117 wells(a)lynx.cs.usfca.edu Charles Wells Department of Mathematics Case Western Reserve University 10900 Euclid Avenue Cleveland, OH 44106-7058 cfw2(a)pop.cwru.edu Stephen Whitney Dept d'informatique et de math\'ematique Universite du Quebec a Chicoutimi 555 Boulevard de l'Universit\'e Chicoutimi, Quebec G7H 2B1 Canada Joan Wick Pelletier Office of the Associate Vice President York University 4700 Keele Street North York, Ontario Canada JWPELL(a)VM2.YorkU.CA Ross Willard Department of Pure Mathematics University of Waterloo Waterloo, Ontario N2L 3G1 Canada rdwillar(a)watdragon.uwaterloo.ca or puremath(a)math.waterloo.edu Shelly Wismath Fachbereich Mathematik Universit\"at Kaiserslautern D-6750 Kaiserslautern Germany wismaths(a)hg.uleth.ca Japheth Wood University of California Berkeley Berkeley, CA 94720 wood(a)math.berkeley.edu L\'aszlo Z\'adori Bolyai Institute Joszef Attila University H-6720 Szeged Aradi vertanuk tere 1 Hungary h2865zad(a)huella.bitnet Marek Zawadowski Department of Mathematics & Statistics McGill University 805 Sherbrooke St. W. Montreal, PQ H3A 2K6 Canada marek(a)triples.math.mcgill.ca Ian T. Zimmerman 426 Lexington Ave. El Cerrito, CA 945304530 zimmerman(a)snlndro.cerf.fred.org -- Charles Wells Department of Mathematics Case Western Reserve University +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++

3 2

Lie?
by jds＠math.upenn.edu 18 Aug '93

18 Aug '93

We have monads = triples for both assoc algebras and Lie algebras but monad structure is associative 1)has any work been done on Lie analog of a monad? (an `infinitesimal ' monad) 2) has any work been done on the Lie analog of a category? i.e. skew-comm `comnposition' satisfying Jacobi when all three are defined?? jim stasheff +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++

6 6

question about distributive categories
by koslowj＠math.ksu.edu 03 Aug '93

03 Aug '93

Consider a symmetric monoidal closed category C with finite coproducts. Write -o for the exponentiation. Are there non-trivial examples of objects A of C such that the functor _-oA maps every tensor product X \tensor Y to (the object part of) a coproduct X-oA + Y-oA (in C)? Such an A would be a nice candidate for an "answers object" for "continuation semantics" in computer science. -- J"urgen -- J"urgen Koslowski | If I don't see you no more in this world | I meet you in the next world | and don't be late! koslowj(a)math.ksu.edu | Jimi Hendrix (Voodoo Chile) +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++

2 2

Waltzing Matilda
by pratt＠CS.Stanford.EDU 30 Jul '93

30 Jul '93

I've incorporated the fixes people sent me and posted an updated copy of structdir, release 4.7, on boole.stanford.edu:/pub. Thanks to Max Kelly for tipping me off to a domain naming issue I wasn't aware of, affecting half the Australian addresses. A while back there was a move to rename the Australian domain oz.au to edu.au, a change I duly made uniformly to all Australian hosts in the directory without further investigation. Now it looks as though Waltzing Matilda as the sentimental bloke's national anthem has been joined by oz.au as the sentimental bloke's domain name. Of the 13 Australian hosts represented in the Structures Directory, seven stuck with oz.au, with one permitting edu.au as a nickname, while six switched to edu.au, two of which permit oz.au as a nickname. For the record here they are (but it will be easier to ftp the revised directory from Boole, or email me requesting a copy by reply mail, than to make these changes manually.) OZ.AU: latcs1.lat.oz.au cs.su.oz.au maths.su.oz.au maths.uq.oz.au mullauna.cs.mu.oz.au mundoe.munnari.oz.au uqcspe.cs.uq.oz.au (edu ok) EDU.AU: adam.adelaide.edu.au arp.anu.edu.au (oz ok) bruce.cs.monash.edu.au (oz ok) echo.canberra.edu.au macadam.mpce.mq.edu.au socs.uts.edu.au Wonder if The Australian has spotted this newsworthy item yet. -- Vaughan Pratt (FTPables: boole.stanford.edu:/pub/ABSTRACTS.) +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++

1 0

New structdir
by Vaughan Pratt 30 Jul '93

30 Jul '93

I merged the names from the UACT list into Structdir as follows. Given the number of names added (65), this might be a good time for a rebroadcast and request for bug fixes, names of omitted people, and other such updates. -v # Structures Directory -- Email addresses of structure theorists # Release 4.6, July 27, 1993 # Master copy: Boole.Stanford.EDU:~ftp/pub/structdir # Maintainer: Vaughan Pratt, pratt(a)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(a)cs.stanford.edu # 415-723-2943 # # People # abadi: ma(a)src.dec.com (Martin Abadi) abiteboul: abitebou(a)inria.inria.fr (Serge Abiteboul) abramsky: sa(a)doc.ic.ac.uk (Samson Abramsky) aceto: luca(a)cogs.sussex.ac.uk (Luca Aceto) aczel: petera(a)cs.man.ac.uk (Peter Aczel) adamek: adamek(a)math1.cvut.cs (Jiri Adamek) adams: useradms(a)mtsg.ubc.ca (Bob Adams) adelman: murray(a)macadam.mpce.mq.edu.au (Murray Adelman) adler: ara(a)lom1.math.yale.edu (Alan Adler) ageron: gremlin(a)math.unicaen.fr (Pierre Ageron) ait-kaci: hak(a)decprl.dec.com (Hassan Ait-Kaci) aitchison: iain(a)mundoe.munnari.edu.au (Iain Aitchison) albert: michael.albert(a)cmu.edu (Michael Albert) alimohamed: moez(a)saul.cis.upenn.edu (Moez Alimohamed) almada: matjoao%ptearn.bitnet(a)frmop11.cnusc.fr (Teresa Almada) altenkirch: alti(a)dcs.ed.ac.uk (Thorsten Altenkirch) amadio: amadio(a)loria.fr (Roberto Amadio) ambler: sja(a)dcs.qmw.ac.uk (Simon Ambler) amnell: amnell(a)klaava.helsinki.fi (Marko Amnell) andersen: nils(a)diku.dk (Nils Andersen) anderson: anderson(a)bright.math.uoregon.edu (Frank Anderson) andreka: h2644and(a)ella.hu (Hajnal Andreka) apt: apt(a)cs.utexas.edu (Krzystof Apt) arbib: arbib(a)cs.usc.edu (Michael Arbib) arnold: arnold(a)geocub.greco-prog.fr (Andre Arnold) artemov: sergei(a)artemov.mian.su (Sergei Artemov) asperti: andrea.asperti(a)inria.fr (Andrea Asperti) astesiano: astes(a)disi.unige.it (Egidio Astesiano) atkinson: atkinson(a)math.toronto.edu (Derek Atkinson) avron: aa(a)math.tau.ac.il (Arnon Avron) bach: rene(a)tech.ascom.ch (Rene Bach) baez: baez(a)ucrmath.ucr.edu (John Baez) baker: kab(a)math.ucla.edu (Kirby Baker) baker-finch: clem(a)echo.canberra.edu.au (Clem Baker-Finch) baranoff: sergei(a)hm.iias.spb.su (Sergei Baranoff) barr: barr(a)triples.math.mcgill.ca (Michael Barr) bartle: rgb(a)math.ams.com (Bob Bartle) barwise: barwise(a)phil.indiana.edu (Jon Barwise) beck: beck(a)math.cornell.edu (Jon Beck) bednarczyk: panmb(a)halina.univ.gda.pl (Marek Bednarczyk) beeson: beeson(a)ucscc.ucsc.edu (Michael Beeson) beigel: beigel-richard(a)cs.yale.edu (Richard Beigel) bellin: glb(a)dcs.edinburgh.ac.uk (Gian-Luigi Bellin) benson: dbenson(a)eecs.wsu.edu (David Benson) vanbenthem: johan(a)fwi.uva.nl (Johan.van Benthem) bergman: gbergman(a)math.berkeley.edu (George Bergman) bergstra: madelon(a)fwi.uva.nl (Jan Bergstra) berman: u10391(a)uicvm.bitnet (Joel Berman) berry: berry(a)cma.cma.fr (Gerard Berry) betti: renbet(a)ipmma1.polimi.it (Renato Betti) bhadhuri: pbhaduri(a)cs2.cs.wsu.edu (Purandar Bhadhuri) bier: eric_bier.parc(a)xerox.com (Eric Bier) bigelow: bigelow(a)mala.bc.ca (David Bigelow) birtwistle: graham(a)cpsc.ucalgary.ca (Graham Birtwistle) blair: ziggy(a)hx.lcs.mit.edu (Michael Blair) blass: ablass(a)umich.edu (Andreas Blass) bbloom: bard(a)cs.cornell.edu (Bard Bloom) sbloom: bloom(a)sparc1.stevens-tech.edu (Steve Bloom) lblum: lblum(a)ernie.berkeley.edu (Lenore Blum) mblum: blum(a)ernie.berkeley.edu (Manuel Blum) blute: blute(a)triples.math.mcgill.ca (Richard Blute) vanemdeboas: pveb(a)cwi.nl (Peter.van.Emde Boas) boehm: boehm.pa(a)xerox.com (Hans Boehm) boerger: rboerger(a)mathstat.yorku.ca (Reinhard Boerger) bonacina: bonacina(a)sbcs.sunysb.edu (M.Paola Bonacina) boolos: boolos(a)athena.mit.edu (George Boolos) borceux: borceux(a)agel.ucl.ac.be (Francis Borceux) jborwein: jborwein(a)cs.dal.ca (Jon Borwein) pborwein: pborwein(a)cs.dal.ca (Peter Borwein) borzyszkowski: panab(a)halina.univ.gda.pl (Andrzej Borzyszkowski) bouchard: eomsg(a)acadvm1.uottawa.ca (Monique Bouchard) boyer: boyer(a)cli.com (Bob Boyer) bracho: bracho(a)unamvm1.bitnet (Felipe Bracho) brauner: tor(a)daimi.aau.dk (Torben Brauner) breazu: val(a)cis.upenn.edu (Val Breazu-Tannen) breen: breen(a)math.univ-paris13.fr (Larry Breen) brink: cbrink(a)maths.uct.ac.za (Chris Brink) brinkman: mabrink(a)nyx.uni-konstanz.de (Hans-Berndt Brinkman) britz: brtkat01(a)ucthpx.uct.ac.za (Katarina Britz) brock: shb(a)sys.uea.ac.uk (Simon Brock) brookes: brookes(a)b.gp.cs.cmu.edu (Steve Brookes) cbrown: cbrown(a)cs.chalmers.se (Carolyn Brown) rbrown: r.brown(a)vaxa.bangor.ac.uk (Ronnie Brown) broy: broy(a)informatik.tu-muenchen.de (Manfred Broy) bruce: kim(a)cs.williams.edu (Kim Bruce) brunner: hbrunner(a)mun.bitnet (Herman Brunner) buckland: richardb(a)macadam.mpce.mq.edu.au (Richard Buckland) debukh: ecomail(a)vms2.uni-c.dk (Per.de Bukh) bullejos: mbullejos(a)ugr.es (Manuel Bullejos) buneman: peter(a)cis.upenn.edu (Peter Buneman) bunge: bunge(a)triples.math.mcgill.ca (Marta Bunge) burroni: burroni(a)mathp7.jussieu.fr (Albert Burroni) burstall: rb(a)dcs.edinburgh.ac.uk (Rod Burstall) buss: sbuss(a)cs.ucsd.edu (Sam Buss) cannon: cannon_j(a)maths.su.edu.au (John Cannon) carboni: carboni(a)vmimat.mat.unimi.it (Aurelio Carboni) cardelli: luca(a)src.dec.com (Luca Cardelli) carpenter: carp(a)lcl.cmu.edu (Bob Carpenter) carr: carrdm(a)snyplaba.bitnet (Donna Carr) carrasco: mcarrasco(a)ugr.es (Pilar Carrasco) carter: nicola(a)mcgill1.bitnet (Nicola Carter) cartwright: cork(a)rice.edu (Corky Cartwright) casley: casley(a)cs.stanford.edu (Ross Casley) castellini: g-castellini(a)upr1.upr.cun.edu (G. Castellini) cerioli: cerioli(a)disi.unige.it (Maura Cerioli) chandra: ashok(a)watson.ibm.com (Ashok Chandra) chase: chase(a)math.cornell.edu (Stephen Chase) chen: uhchen(a)uxa.ecn.bgu.edu (Andy Chen) chinnici: chinnici(a)hp2.sm.dsi.unimi.it (Roberto Chinnici) chisala: chisala(a)mango.apc.org (B.P. Chisala) choi: choi(a)grad1.cis.upenn.edu (Jin-Young Choi) chou: chou(a)rascal.ics.utexas.edu (Shang-Ching Chou) chu: chu(a)ace.bsd.uchicago.edu (Po-Hsiang Chu) clark: clarkd%snynewvm.bitnet(a)cunyvm.cuny.edu (David Clark) clarke: clarke(a)a.cs.cmu.edu (Ed Clarke) clote: clote(a)bcuxs2.bc.edu (Peter Clote) cockett: robin(a)cpsc.ucalgary.ca (Robin Cockett) cocquand: coquande(a)margaux.inria.fr (Thierry Cocquand) cohen: avrac(a)computer-lab.cambridge.ac.uk (Avra Cohen) cohn: cohnl(a)citadel.edu (Leslie Cohn) comer: comers(a)citadel.bitnet (Stephen Comer) rcooper: cooper(a)cogsci.edinburgh.ac.uk (Robin Cooper) scooper: cooper(a)top.cis.syr.edu (Steve Cooper) coppey: coppey(a)mathp7.jussieu.fr (Luc Coppey) cosmadakis: stavros(a)saul.cis.upenn.edu (Stavros Cosmadakis) cowen: mthmjc(a)ubvms.bitnet (Mike Cowen) crans: crans(a)math.ruu.nl (Sjoerd Crans) crew: crew(a)cs.stanford.edu (Roger Crew) crole: rlc(a)doc.imperial.ac.uk (Roy Crole) crossley: jnc(a)bruce.cs.monash.edu.au (John Crossley) crow: crow(a)csl.sri.com (Judy Crow) cruciani: cruciani(a)vaxrma.infn.it (Rosanna Cruciani) cubric: cubric(a)triples.math.mcgill.ca (Djordje Cubric) curien: curien(a)dmi.ens.fr (Pierre-Louis Curien) davey: davey(a)latcs1.lat.edu.au (Brian Davey) davis: davism(a)acf4.nyu.edu (Martin Davis) dawson: rdawson(a)husky1.stmarys.ca (Robert Dawson) degano: degano(a)di.unipi.it (Pier-Paolo Degano) delfour: delfour(a)cc.umontreal.ca (Michel Delfour) dershowitz: nachum(a)cs.uiuc.edu (Nachum Dershowitz) diaconescu: rdcbb(a)cunyvm.bitnet (Radu Diaconescu) diekert: diekert(a)informatik.tu-muenchen.de (Volker Diekert) diers: diers(a)frcitl81.bitnet (Yves Diers) doh: doh(a)ksuvax1.cis.ksu.edu (Kyung-Goo Doh) dolan: v088kj6a(a)ubvms.cc.buffalo.edu (James Dolan) dong: xdong(a)clid.yorku.ca (Xiaomin Dong) doob: mdoob(a)ccu.umanitoba.ca (Michael Doob) dragalin: h2848dra(a)ella.hu (? Dragalin) duba: duba(a)rice.edu (Bruce Duba) dubey: rdubey(a)yoda.eecs.wsu.edu (Rakesh Dubey) dubuc: dcfden!edubuc(a)mate.edu.ar (Eduardo Dubuc) duggan: den(a)cs.umd.edu (Dominic Duggan) dunn: dunn(a)iuvax.cs.indiana.edu (Mike Dunn) duskin: mthduskn(a)ubvms.bitnet (Jack Duskin) dybkjaer: dybkjaer(a)ruc.dk (Hans Dybkjaer) edalat: ae(a)doc.ic.ac.uk (Abbas Edalat) ehlers: map010(a)bangor.ac.uk (Philip Ehlers) ehresmann: ehres(a)mathp7.jussieu.fr (Andree Ehresmann) ehrhard: ehrhard(a)ens.fr (Thomas Ehrhard) ehrlich: ehrlich(a)inria.inria.fr (Bobby Ehrlich) vaneijck: jve(a)cwi.nl (Jan.van Eijck) emerson: a.emerson(a)cs.utexas.edu (Alan Emerson) enderton: hbe(a)math.ucla.edu (Herb Enderton) engeler: engeler(a)math.ethz.ch (Erwin Engeler) erne: aberne(a)dhvrrzn1.uni-hannover.dbp.de (Marcel Erne) ernst: mernst(a)theory.lcs.mit.edu (Michael Ernst) fagin: fagin(a)almaden.ibm.com (Ron Fagin) faro: v068p76v(a)ubvmsa.bitnet (Emilio Faro) fasel: jhf(a)lanl.gov (Joe Fasel) feferman: sf(a)csli.stanford.edu (Sol Feferman) feigenbaum: jf(a)research.att.com (Joan Feigenbaum) feit: p_feit(a)utpb.pb.utexas.edu (Paul Feit) feldman: d_feldman(a)unhh.bitnet (David Feldman) ferguson: mike(a)tel.inrs.cdn (Michael Ferguson) ferreirim: mimafer(a)ptearn.bitnet (Isabel Ferreirim) fiedorowicz: zigf(a)mps.ohio-state.edu (Zbigniew Fiedorowicz) finkelstein: stacy(a)saul.cis.upenn.edu (Stacy Finkelstein) fischer: fischer-michael(a)cs.yale.edu (Mike Fischer) fitting: mlflc(a)cunyvm.bitnet (Melvin Fitting) floyd: floyd(a)cs.stanford.edu (Bob Floyd) font: font(a)cerber.ub.es (Josep Font) foo: norman(a)cs.su.edu.au (Norman Foo) fourman: mikef(a)dcs.edinburgh.ac.uk (Michael Fourman) fox: fox(a)triples.math.mcgill.ca (Thomas Fox) freese: ralph(a)math.hawaii.edu (Ralph Freese) frei: bitnet.arfr@ubcmtsg (Armin Frei) freire: freire(a)seins.santiago.usc.es (J.L. Freire) freyd: pjf(a)saul.cis.upenn.edu (Peter Freyd) pamfreyd: pam(a)linc.cis.upenn.edu (Pam Freyd) fried: efried(a)ludens.elte.hu (Ervin Fried) fritsch: ug143cb(a)sunmail.lrz-muenchen.de (Rudolph Fritsch) fukushima: fukushim(a)cpsc.ucalgary.ca (Tom Fukushima) funk: jfunk(a)morgan.ucs.mun.ca (Jonathan Funk) fusco: sfusco(a)clid.yorku.ca (Sandro Fusco) gago: alzzs002(a)seins.santiago.usc.es (Felipe Gago) gaifman: gaifman(a)humus.huji.ac.il (Haim Gaifman) gaitan: gaitan(a)sun.com (Hernando Gaitan) gallier: jean(a)saul.cis.upenn.edu (Jean Gallier) ganong: ganong(a)vm1.yorku.ca (Richard Ganong) gehlot: gehlot(a)cis.udel.edu (Vijay Gehlot) gehrke: wgehrke(a)risc.uni-linz.ac.at (Wolfgang Gehrke) vangelder: avg(a)cs.ucsc.edu (Allen.Van Gelder) genrich: genrich(a)gmdzi.gmd.de (Hartmann Genrich) geramita: anthony.v.geramita(a)queensu.ca (Anthony Geramita) gerstenhaber: gersten(a)penndrls.bitnet (Murray Gerstenhaber) gerth: wsinrobg(a)eutrc3.urc.tue.nl (Rob Gerth) ghelli: ghelli(a)di.unipi.it (Giorgio Ghelli) ghilardi: ghilardi(a)imiucca.csi.unimi.it (Silvio Ghilardi) girard: girard(a)margaux.inria.fr (Jean-Yves Girard) givant: gluscha(a)logique.jussieu.fr (Steve Givant) vanglabbeek: rvg(a)cs.stanford.edu (Rob.van Glabbeek) glenn: glenn(a)cua.edu (Paul Glenn) goetz: abe(a)cartan.math.nd.edu (Abraham Goetz) goguen: joseph.goguen(a)prg.oxford.ac.uk (Joseph Goguen) golasinski: mg001(a)pltumk11.bitnet (Marek Golasinski) bgoldberg: goldberg(a)cs.nyu.edu (Ben Goldberg) goldblatt: rob(a)math.vuw.ac.nz (Rob Goldblatt) goltz: gf1018(a)dbngmd21.bitnet (Ulla Goltz) goodaire: edgar(a)munucs.mun.ca (Edgar Goodaire) goodloe: agoodloe(a)gmuvax2.gmu.edu (Al Goodloe) gordon: gordon(a)euclid.math.temple.edu (Robert Gordon) grandis: grandis(a)cisi.unige.it (Marco Grandis) gratzer: gratzer(a)ccm.umanitoba.ca (George Gratzer) gray: gray(a)math.uiuc.edu (John Gray) grove: grove(a)cs.stanford.edu (Adam Grove) grunenfelder: luzius(a)cs.dal.ca (Luzius Grunenfelder) gruska: gruska(a)informatik.uni-hamburg.de (Jozef Gruska) guessarian: ig(a)litp.ibp.fr (Irene Guessarian) guitart: guitart(a)mathp7.jussieu.fr (Rene Guitart) gunawardena: jhcg(a)hplb.hpl.hp.com (Jeremy Gunawardena) cgunter: gunter(a)central.cis.upenn.edu (Carl Gunter) egunter: elsa(a)research.att.com (Elsa Gunter) gupta: vgupta(a)cs.stanford.edu (Vineet Gupta) gurevich: gurevich(a)dip.eecs.umich.edu (Yuri Gurevich) halmos: phalmos(a)scuacc.scu.edu (Paul Halmos) dhalpern: jdan(a)sun.com (Dan Halpern) jhalpern: halpern(a)almaden.ibm.com (Joe Halpern) hanna: fkh(a)ukc.ac.uk (Keith Hanna) hardie: hardieka(a)uctvax.uct.ac.za (Kieth Hardie) harel: harel(a)wisdom.weizmann.ac.il (David Harel) harland: jah(a)mullauna.cs.mu.edu.au (James Harland) harper: rwh(a)cs.cmu.edu (Robert Harper) hart: wiawkph(a)dutrun2.tudelft.nl (Klaas Hart) haveraaen: magne.haveraaen(a)ii.uib.no (Magne Haveraaen) hebert: mhebert(a)mat.ulaval.ca (Michel Hebert) heckmann: heckmann(a)cs.uni-sb.de (Reinhold Heckmann) heggie: heggie(a)cad.uccb.ns.ca (Murray Heggie) hennessy: matthewh(a)cogs.sussex.ac.uk (Matthew Hennessy) henriksen: henriksen(a)hmcvax.claremont.edu (Mel Henriksen) henzinger: tah(a)cs.stanford.edu (Tom Henzinger) herrmann: herrmann(a)mathematik.th-darmstadt.de (Christian Herrmann) herz: herz(a)gauss.math.mcgill.ca (Carl Herz) hill: whill(a)netcom.com (Walt Hill) hillebrand: ggh(a)cs.brown.edu (Gerd Hillebrand) hindley: majrh(a)pyr.swan.ac.uk (Roger Hindley) hoare: julie(a)prg.oxford.ac.uk (Tony Hoare) hodgson: bhodgson(a)vm1.ulaval.ca (Bernard Hodgson) hoehnke: gabi(a)opal.cs.tu-berlin.de (Hans-Jurgen Hoehnke) hofmann: mxh(a)dcs.ed.ac.uk (Martin Hofmann) honsell: honsell(a)uduniv.cineca.it (Furio Honsell) hoofman: raymond(a)cs.ruu.nl (Raymond Hoofman) hook: hook(a)cse.ogi.edu (James Hook) hopcroft: jeh(a)cs.cornell.edu (John Hopcroft) howlett: 72740.2237(a)compuserve.com (Chris Howlett) hsiang: hsiang(a)sbcs.sunysb.edu (Jieh Hsiang) hu: hu(a)math.mcgill.ca (Hong.de Hu) hudak: hudak(a)cs.yale.edu (Paul Hudak) huet: huet(a)inria.inria.fr (Gerard Huet) hunsaker: ga3600(a)siucvmb.bitnet (W. Hunsaker) husberg: nhu(a)dione.hut.fi (Nisse Husberg) huth: mrh(a)tulmath.math.tulane.edu (Michael Huth) hyland: jmeh1(a)phoenix.cambridge.ac.uk (Martin Hyland) hyndman: jhyndman(a)cs.sfu.ca (Jennifer Hyndman) idziak: idziak(a)math.berkeley.edu (Pawel Idziak) isbell: mthisbel(a)ubvms.cc.buffalo.edu (John Isbell) iskander: awadisk(a)usl.edu (Awad Iskander) israel: israel(a)ai.sri.com (David Israel) istrail: sistrail(a)eagle.wesleyan.edu (Soren Istrail) ito: ito(a)ito.ecei.tohoku.junet (Takayasu Ito) iyer: ramu(a)cadsun.corp.mot.com (Ramu Iyer) jacobs: bjacobs(a)math.ruu.nl (Bart Jacobs) jaffar: joxan(a)watson.ibm.com (Joxan Jaffar) jagadeesan: rj2(a)doc.imperial.ac.uk (Radha Jagadeesan) james: wjames(a)adam.adelaide.edu.au (William James) janelidze: gjnel(a)imath.kheta.georgia.su (George Janelidze) janssen: theo(a)fwi.uva.nl (Theo Janssen) jardine: jardine(a)uwovax.uwo.ca (John Jardine) jay: cbj(a)socs.uts.edu.au (Barry Jay) jeffrey: alan.jeffrey(a)prg.oxford.ac.uk (Alan Jeffrey) jenkins: maj(a)qucis.bitnet (Mike Jenkins) jezek: jarda(a)math.hawaii.edu (Jaroslav Jezek) jibladze: jib(a)imath.kheta.georgia.su (Mamuka Jibladze) mjohnson: mike(a)macadam.mpce.mq.edu.au (Mike Johnson) pjohnson: pjohnson(a)eagle.wesleyan.edu (Paul Johnson) jonsson: jonsson(a)athena.cas.vanderbilt.edu (Bjarni Jonsson) jouvelot: jouvelot(a)ensmp.fr (Pierre Jouvelot) joyal: joyal(a)math.uqam.ca (Andre Joyal) joyce: djoyce(a)ollie.clarku.edu (David Joyce) jung: jung(a)mathematik.th-darmstadt.de (Achim Jung) kahn: kahn(a)mirsa.inria.fr (Gilles Kahn) kane: kane(a)uwovax.uwo.ca (Richard Kane) kanellakis: pck(a)cs.brown.edu (Paris Kanellakis) kao: kao(a)iuvax.cs.indiana.edu (Ming Kao) kapranov: kapranov(a)mssun7.msi.cornell.edu (Mikhail Kapranov) karp: karp(a)ernie.berkeley.edu (Dick Karp) kasangian: kasan(a)vmimat.mat.unimi.it (Stefano Kasangian) katsov: katsov(a)hanover.edu (Yefim Katsov) kearnes: kearnes(a)fenris.claremont.edu (Keith Kearnes) kelly: kelly_m(a)maths.su.edu.au (Max Kelly) kennaway: jrk(a)sys.uea.ac.uk (Richard Kennaway) kennison: jkennison@clarku (John Kennison) kent: rekent(a)ualr.edu (Robert Kent) kfoury: kfoury(a)bu-cs.bu.edu (Dennis Kfoury) kieboom: rkieboom(a)tena2.vub.ac.be (Rudger Kieboom) kiehn: kiehn(a)informatik.tu-muenchen.de (Astrid Kiehn) klarlund: klarlund(a)cs.cornell.edu (Nils Klarlund) kleisli: kleisli(a)cfruni52.bitnet (Heinrich Kleisli.) klop: jwk(a)cwi.nl (Jan Klop) knijnenburg: peterk(a)cs.ruu.nl (Peter Knijnenburg) knobel: andreas(a)etl.go.jp (Andreas Knobel) knutson: allenk(a)ugcs.caltech.edu (Allan Knutson) kochman: kochman(a)nexus.yorku.ca (Stanley Kochman) kock: matak(a)mi.aau.dk (Anders Kock) kolaitis: kolaitis(a)cs.ucsc.edu (Phokion Kolaitis) kondoh: kondoh(a)harl.hitachi.co.jp (Hidetaka Kondoh) koslowski: aberne(a)dhvrrzn1.uni-hannover.d400.de (Juergen Koslowski) kotov: kotov(a)hplkotov.hpl.hp.com (Vadim Kotov) kozen: kozen(a)cs.cornell.edu (Dexter Kozen) kwiatkowska: mzk(a)leicester.ac.uk (Marta Kwiatkowska) labella: labella(a)sci.uniroma1.it (Anna Labella) labute: labute(a)gauss.math.mcgill.ca (John Labute) ladkin: ladkin(a)icsib8.berkeley.edu (Peter Ladkin) ladner: ladner(a)cs.washington.edu (Richard Ladner) lafont: lafont(a)dmi.ens.fr (Yves Lafont) lair: lair(a)mathp7.jussieu.fr (Christian Lair) lamarche: gfl(a)doc.ic.ac.uk (Francois Lamarche) lambe: lambe(a)math.ethz.ch (Larry Lambe) lambek: lambek(a)triples.math.mcgill.ca (Joachim Lambek) lampe: lampe(a)kahuna.math.hawaii.edu (Bill Lampe) lamport: lamport(a)src.dec.com (Leslie Lamport) lassez: jll(a)watson.ibm.com (Jean-Louis Lassez) latch: dml(a)bklyncis.bitnet (Dana Latch) latting: latting(a)math.berkeley.edu (Chuck Latting) launchbury: jl(a)dcs.glasgow.ac.uk (John Launchbury) lawvere: mthfwl(a)ubvms.cc.buffalo.edu (Bill Lawvere) leavens: leavens(a)iastate.edu (Gary Leavens) leech: leech(a)westmont.edu (Jonathan Leech) leeney: stmt8015(a)iruccvax.ucc.ie (Mark Leeney) leivant: leivant(a)cs.indiana.edu (Daniel Leivant) lent: aflent(a)theory.lcs.mit.edu (Arthur Lent) levin: lnd(a)cs.bu.edu (Leonid Levin) lewin: rlewin(a)mat.puc.cl (Renato Lewin) liao: aliao(a)eagle.wesleyan.edu (Andrew Liao) libkin: libkin(a)saul.cis.upenn.edu (Leonid Libkin) lifschitz: lifschitz(a)cs.stanford.edu (Vladimir Lifschitz) lilius: jli(a)dione.hut.fi (Johan Lilius) lincoln: lincoln(a)cs.stanford.edu (Pat Lincoln) lindemann: lindemann(a)spint.compuserve.com (Ina Lindemann) linton: flinton(a)eagle.wesleyan.edu (Fred Linton) lippincott: lippin(a)math.berkeley.edu (Tom Lippincott) lipton: lipton(a)saul.cis.upenn.edu (Jim Lipton) loader: loader(a)maths.oxford.ac.uk (Ralph Loader) longo: longo(a)dmi.ens.fr (Giuseppe Longo) lord: hlord(a)csupomona.edu (Harriet Lord) loui: mloui(a)note.nsf.gov (Michael Loui) lowry: lowry(a)kestrel.edu (Mike Lowry) lubarsky: r_lubarsky(a)faudm.bitnet (Robert Lubarsky) lubliner: coby(a)ucbcevax.bitnet (Coby Lubliner) luckham: dcl(a)anna.stanford.edu (David Luckham) lynch: lynch(a)holmes.lcs.mit.edu (Nancy Lynch) ma: qingming.ma(a)cs.cmu.edu (Qingming Ma) maccaull: maccaull(a)essex.stfx.ca (Wendy MacCaull) macdonald: johnm(a)math.ubc.ca (John MacDonald) macleod: richardm(a)kean.ucs.mun.ca (Richard MacLeod) maclane: saunders(a)math.uchicago.edu (Saunders Mac_Lane) mackenzie: pm1kchm(a)primea.sheffield.ac.uk (K.Charles.H. Mackenzie) mackie: im(a)doc.ic.ac.uk (Ian Mackie) macon: nmacon(a)nsf.gov (Nat Macon) macqueen: macqueen(a)research.att.com (David Macqueen) maddux: maddux(a)iastate.edu (Roger Maddux) madhav: madhav(a)neon.stanford.edu (Neel Madhav) mahmood: arshad(a)dcs.edinburgh.ac.uk (H. Mahmood) main: main(a)boulder.colorado.edu (Michael Main) majid: shm10(a)phx.cam.ac.uk (Shahn Majid) makkai: makkai(a)triples.math.mcgill.ca (Michael Makkai) manes: manes(a)math.umass.edu (Ernie Manes) manna: manna(a)cs.stanford.edu (Zohar Manna) margolis: stu(a)lovelace.unl.edu (Stu Margolis) marki: h1133mar(a)huella.bitnet (Laszlo Marki) marmolejo: marmol(a)cs.dal.ca (Francisco Marmolejo) marshall: marshacd(a)snypotva.potsdam.edu (Charlie Marshall) marti-oliet: narciso(a)csl.sri.com (Narciso Marti-Oliet) martini: martini(a)di.unipi.it (Simone Martini) mathieu: momathie(a)mathp7.jussieu.fr (Monique Mathieu) mauri: mauri(a)hermes.dsi.unimi.it (Giancarlo Mauri) mawanda: mawanda(a)mango.apc.org (M.W. Mawanda) mccoll: wfm(a)prg.oxford.ac.uk (Bill McColl) jmckay: mckay(a)conu1.bitnet (John McKay) wmckay: wendy(a)cc.umontreal.ca (Wendy McKay) mclarty: cxm7(a)po.cwru.edu (Colin McLarty) mcnulty: mcnulty(a)math.scarolina.edu (George McNulty) mcrobbie: mam(a)arp.anu.edu.au (Michael McRobbie) meakin: meakin(a)hoss.unl.edu (John Meakin) measor: ndm(a)mcs.le.ac.uk (Nick Measor) meloni: meloni(a)imiucca.unimi.it (Gian.Carlo Meloni) melton: austin(a)cis.ksu.edu (Austin Melton) mercouroff: nm(a)cs.brandeis.edu (Nicolas Mercouroff) meseguer: meseguer(a)csl.sri.com (Jose Meseguer) meyer: meyer(a)theory.lcs.mit.edu (Albert Meyer) milner: rm(a)dcs.edinburgh.ac.uk (Robin Milner) mints: mints(a)csli.stanford.edu (Grigori Mints) mislove: mwm(a)tulmath.math.tulane.edu (Michael Mislove) misra: misra(a)cs.utexas.edu (Jay Misra) mitchell: jcm(a)cs.stanford.edu (John Mitchell) miyoshi: miyoshi(a)slab.sfc.keio.ac.jp (Hiroyuki Miyoshi) mochnacki: stefan(a)centaur.astro.utoronto.ca (Stefan Mochnacki) moerdijk: moerdijk(a)math.ruu.nl (Ieke Moerdijk) moggi: moggi(a)disi.unige.it (Eugenio Moggi) moller: fm(a)dcs.edinburgh.ac.uk (Faron Moller) molnar: molnar(a)math.macalstr.edu (Richard Molnar) monro: monro_g(a)maths.su.edu.au (Gordon Monro) montanari: ugo(a)di.unipi.it (Ugo Montanari) demoor: oege.de.moor(a)prg.oxford.ac.uk (Oege.de Moor) moschovakis: ynm(a)math.ucla.edu (Yiannis Moschovakis) moshier: mam(a)pic.ucla.edu (Drew Moshier) moss: lmoss(a)ucs.indiana.edu (Larry Moss) mosses: pdmosses(a)daimi.aau.dk (Peter Mosses) muller: muller(a)harvard.edu (Robert Muller) mulry: psm(a)dcs.edinburgh.ac.uk (Phil Mulry) mulvey: c.j.mulvey(a)cluster.sussex.ac.uk (Chris Mulvey) mumford: mumford(a)zariski.harvard.edu (David Mumford) murphy: david(a)gmdzi.gmd.de (David Murphy) murthy: murthy(a)cs.cornell.edu (Chet Murthy) murty: murty(a)gauss.math.mcgill.ca (Ram Murty) narendran: dran(a)cs.albany.edu (Paliath Narendran) nation: nation(a)kahuna.math.hawaii.edu (James.B. Nation) nelson: nealn(a)cse.ogi.edu (Neal Nelson) nerode: nerode(a)mssun6.msi.cornell.edu (Anil Nerode) nickau: nickau(a)hrz.uni-siegen.de (Hanno Nickau) nico: nico(a)csuhayward.edu (William Nico) denicola: denicola(a)icnucevm.cnuce.cnr.it (Rocco.De Nicola) niefield: niefiels(a)gar.union.edu (Susan Niefield) nongxa: nongxa(a)math.harvard.edu (Loyiso Nongxa) nowakowski: rjn(a)cs.dal.ca (Richard Nowakowski) oates-williams: sw(a)maths.uq.edu.au (Sheila Oates-Williams) ohearn: ohearn(a)top.cis.syr.edu (Peter Ohearn) ohori: ohori(a)okilab.oki.co.jp (Atsushi Ohori) okada: okada(a)concour.cs.concordia.ca (Mitsu Okada) oles: oles(a)watson.ibm.com (Frank Oles) ong: chlo1(a)cl.cam.ac.uk (Luke Ong) oosten: oosten(a)math.ruu.nl (J.van Oosten) orzech: orzechm(a)qucdn.bitnet (Morris Orzech) otto: otto(a)triples.math.mcgill.ca (Jim Otto) overbeek: overbeek(a)anl-mcs.arpa (Russ Overbeek) depaiva: valeria.paiva(a)cl.cam.ac.uk (Valeria.de Paiva) palfy: h1134pal(a)huella.bitnet (P. Palfy) palmquist: 90066900660.1050(a)compuserve.com (Paul Palmquist) panangaden: prakash(a)opus.cs.mcgill.ca (Prakash Panangaden) papert: seymour(a)media-lab.media.mit.edu (Seymour Papert) pare: pare(a)cs.dal.ca (Bob Pare) parikh: ripbc(a)cunyvm.cuny.edu (Rohit Parikh) parker: stott(a)cs.ucla.edu (Stott Parker) paseman: paseman(a)math.berkeley.edu (Gerhard Paseman) mpaterson: msp(a)dcs.warwick.ac.uk (Mike Paterson) rpaterson: rap(a)doc.ic.ac.uk (Ross Paterson) paulson: lcp(a)cl.cam.ac.uk (Larry Paulson) pavlovic: pavlovic(a)triples.math.mcgill.ca (Dusko Pavlovic) pearson: jkp(a)ukc.ac.uk (Justin Pearson) peckhaus: volker.v.peckhaus(a)pc.philosophie.uni-erlangen.de (Volker Peckhaus) pedicchio: pedicchi(a)univ.trieste.it (Cristina Pedicchio) pelletier: jwpell(a)vm2.yorku.ca (Joan Pelletier) penon: penon(a)mathp7.jussieu.fr (Jean Penon) peters: stanley.peters(a)prg.ox.ac.uk (Stanley Peters) pettorossi: adp(a)irmiasi.rm.cnr.it (Alberto Pettorossi) pfenniger: mas034(a)vaxa.bangor.ac.uk (Markus Pfenniger) phillips: phillips(a)uvvm.bitnet (John Phillips) pierce: benjamin.pierce(a)cs.cmu.edu (Benli Pierce) pigozzi: pigozzi(a)iastate.edu (Don Pigozzi) pinter: pinter-shlomit(a)cs.yale.edu (Shlomit Pinter) pitt: dhp(a)mcs.surrey.ac.uk (David Pitt) pitts: ap(a)cl.cam.ac.uk (Andy Pitts) pixley: apixley(a)sif.claremont.edu (Alden Pixley) plaice: plaice(a)ift.ulaval.ca (John Plaice) plaisted: plaisted(a)cs.unc.edu (David Plaisted) platek: richard(a)oracorp.com (Richard Platek) platt: ccm.umanitoba.ca (Craig Platt) plotkin: gdp(a)dcs.edinburgh.ac.uk (Gordon Plotkin) pnueli: amir(a)wisdom.weizmann.ac.il (Amir Pnueli) poigne: ap(a)gmdzi.gmd.de (Axel Poigne) poirot: poirot(a)boole.stanford.edu (Hercule Poirot) pollara: pollara(a)csearn.bitnet (Victor Pollara) porst: porst(a)informatik.uni-bremen.de (Hans-E. Porst) porter: mas013(a)vaxc.bangor.ac.uk (Tim Porter) power: ajp(a)dcs.ed.ac.uk (John Power) pratt: pratt(a)cs.stanford.edu (Vaughan Pratt) priestley: hap(a)vax.oxford.ac.uk (Hilary Priestley) probst: probst(a)bond.crim.ca (Richard Probst) proute: ap(a)mathp7.jussieu.fr (Alain Proute) pym: dpym(a)dcs.edinburgh.ac.uk (David Pym) quackenbush: qbush(a)ccu.umanitoba.ca (Bob Quackenbush) rabin: rabin(a)humus.huji.ac.il (Michael Rabin) rabinovich: alik(a)watson.ibm.com (Alexander Rabinovich) rachev: zarirach(a)bernoulli.ucsb.edu (Zari Rachev) raja: raja(a)tifrvax.bitnet (N. Raja) ramshaw: ramshaw(a)src.dec.com (Lyle Ramshaw) randall: randall(a)elbereth.rutgers.edu (John Randall) raphael: raphael(a)vax2.concordia.ca (Robert Raphael) rattray: cr(a)cs.stir.ac.uk (Charles Rattray) remmel: remmel(a)kleene.ucsd.edu (Jeff Remmel) repin: repin(a)log.mian.su (Nikolai Repin) reyes: reyes(a)mathcn.umontreal.ca (Gonzalo Reyes) reynolds: john.reynolds(a)c.cs.cmu.edu (John Reynolds) riecke: riecke(a)theory.lcs.mit.edu (Jon Riecke) riemens: sriemens(a)vega.math.ualberta.ca (Sherman Riemenschneider) ritter: er(a)cl.cam.ac.uk (Eike Ritter) erobinson: edmundr(a)cogs.susx.ac.uk (Edmund Robinson) krobinson: kenr(a)elecvac.oz.au (Ken Robinson) deroever: wsinwpr(a)eutrc3.urc.tue.nl (Willem.de Roever) rolfsen: dale_rolfsen(a)mtsg.ubc.ca (Dale Rolfsen) roman: lr(a)doc.ic.ac.uk (Leopoldo Roman) romanowska: aroman(a)plwatu21.bitnet (Anna Romanowska) rosebrugh: rrosebrugh(a)macc2.mta.ca (Bob Rosebrugh) rosenthal: rosenthk(a)gar.union.edu (Kimmo Rosenthal) rosicky: rosicky(a)queen.math.muni.cs (Jiri Rosicky) rosolini: rosolini(a)dima.unige.it (Pino Rosolini) rossello: dmifrl0(a)ps.uib.es (Cesc Rossello) rota: rota(a)math.mit.edu (Gian-Carlo Rota) rotman: rotman(a)symcom.math.uiuc.edu (Joseph Rotman) rounds: rounds(a)engin.umich.edu (Bill Rounds) rousseau: geo(a)leicester.ac.uk (George Rousseau) rovan: uniba!rovan(a)relay.eu.net (Branislav Rovan) rowan: rowan(a)garnet.berkeley.edu (W.H. Rowan) rozenberg: rozenber(a)rulcri.leidenuniv.nl (Grzegor Rozenberg) rozenfeld: ar(a)alv.umd.edu (Azriel Rozenfeld) rudich: arie(a)theory.lcs.mit.edu (Arie Rudich) rudie: rudie(a)ecfb.toronto.edu (Karen Rudie) ruitenburg: wimr(a)math.mscs.mu.edu (Wim Ruitenburg) rumbos: rumbos(a)unamvm1.dgsca.unam.mx (Beatriz Rumbos) rus: rus(a)herky.cs.uiowa.edu (Theodor Rus) rutten: jan.rutten(a)cwi.nl (Jan Rutten) rydeheard: david(a)r3.cs.man.ac.uk (David Rydeheard) sain: h1468sai(a)ella.hu (Ildiko Sain) sakurai: a87480(a)tansei.cc.u-tokyo.ac.jp (Takafumi Sakurai) sankappanevar: sankah(a)snynewba.bitnet (Hanamantagouda.P. Sankappanevar) sannella: dts(a)dcs.edinburgh.ac.uk (Don Sannella) santas: santas(a)inf.ethz.ch (Philip Santas) sapir: msapir(a)hoss.unl.edu (Mark Sapir) saramago: matjoao%ptearn.bitnet(a)frmop11.cnusc.fr (Maria Saramago) saraswat: saraswat(a)parc.xerox.com (Vijay Saraswat) sassone: vladi(a)di.unipi.it (Vladimir Sassone) sato: schuko(a)sun4.cc.kyushu-u.ac.jp (Hiroyuki Sato) scedrov: andre(a)cis.upenn.edu (Andre Scedrov) schack: mthsds(a)ubvms.bitnet (Samuel Schack) schelter: wfs(a)cli.com (Bill Schelter) schmid: schmid(a)math-stat.unibe.ch (Jurg Schmid) schmidt: jschmidt(a)daimi.dk (Jorn Schmidt) schroeppel: rcs(a)la.tis.com (Rich Schroeppel) schumacher: dietmar(a)ace.acadiau.ca (Dietmar Schumacher) schwarze: rlewin(a)mat.puc.cl (Maria Schwarze) scollo: scollo(a)cs.utwente.nl (Giuseppe Scollo) scot: gyro-cs(a)zeta-soft.com (Burson Scot) dscott: dana.scott(a)proof.ergo.cs.cmu.edu (Dana Scott) pscott: scpsg(a)acadvm1.uottawa.ca (Phil Scott) seely: rags(a)triples.math.mcgill.ca (Robert Seely) seldin: seldin(a)alcor.concordia.ca (Jonathan Seldin) seligman: jerry(a)phil.indiana.edu (Jerry Seligman) shankar: shankar(a)csl.sri.com (Natarajan Shankar) shapiro: udi(a)wisdom.weizmann.ac.il (Udi Shapiro) shieber: shieber(a)das.harvard.edu (Stuart Shieber) shields: m.shields(a)mcs.surrey.ac.uk (Mike Shields) sichler: sichler(a)ccm.umanitoba.ca (Jiri Sichler) sieber: sieber(a)cs.uni-sb.de (Kurt Sieber) isimon: is(a)ime.usp.br (Imre Simon) simons: simons(a)karlsruhe.gmd.de (Martin Simons) slifker: slifker(a)svax.cs.cornell.edu (Michael Slifker) smaill: smaill(a)aipna.edinburgh.ac.uk (Alan Smaill) small: nwnexus!cjsa!jeff(a)uunet.uu.net (Jeffery Small) gsmith: dalcs!gretchen(a)uunet.uu.net (Gretchen Smith) ssmith: scott(a)cs.jhu.edu (Scott Smith) gsmolka: smolka(a)dfki.uni-sb.de (Gert Smolka) ssmolka: sas(a)cs.sunysb.edu (Scott Smolka) soare: soare(a)gargoyle.uchicago.edu (Bob Soare) sobral: sobral(a)ciuc2.uc.rccn.pt (Manuela Sobral) sokolowski: panss(a)halina.univ.gda.pl (Stefan Sokolowski) spencer: dwights(a)cse.ogi.edu (Dwight Spencer) spooner: spoonerd(a)cpsc.ucalgary.ca (Dave Spooner) spreen: spreen(a)hrz.uni-siegen.de (Dieter Spreen) srinivas: srinivas(a)kestrel.edu (Yellamraju Srinivas) staples: staples(a)uqcspe.cs.uq.edu.au (John Staples) starchenko: starchen(a)cs.sfu.ca (Sergei Starchenko) stark: stark(a)cs.sunysb.edu (Eugene Stark) stasheff: jds(a)charlie.math.unc.edu (James Stasheff) steele: steele(a)think.com (Guy Steele) steiner: maths(a)vme.gla.ac.uk (Richard Steiner) stell: john(a)cs.kl.ac.uk (John Stell) stengel: i51bbvs(a)rz.unibw-muenchen.de (Bernhard.von Stengel) stewart: cstewart(a)watserv1.uwaterloo.ca (Cameron Stewart) stolboushkin: aps1(a)node.ias.msk.su (Alex Stolboushkin) mstone: mgstone(a)acs.ucalgary.ca (Mike Stone) astone: stone(a)math.ubc.ca (Art Stone) stoughton: allen(a)cogs.sussex.ac.uk (Allen Stoughton) stout: lnstout(a)uxh.cso.uiuc.edu (Lawrence Stout) strecker: strecker(a)galois.math.ksu.edu (George Strecker) street: street(a)macadam.mpce.mq.edu.au (Ross Street) streicher: streiche(a)informatik.uni-muenchen.de (Thomas Streicher) subrahmanyam: ramesh(a)linc.cis.upenn.edu (Ramesh Subrahmanyam) subramanian: cayley(a)tifrvax.bitnet (P.S. Subramanian) suenderhauf: sunderhauf(a)mathematik.th-darmstadt.de (Phillipp Suenderhauf) sun: ys4(a)mcs.le.ac.uk (Yong Sun) suppes: suppes(a)csli.stanford.edu (Pat Suppes) suzuki: dai(a)is.s.u-tokyo.ac.jp (Daisuke Suzuki) svensson: svensson(a)unixg.ubc.ca (Anders Svensson) swaminathan: swami(a)cs.dal.ca (S. Swaminathan) szabo: szabo(a)vax2.concordia.ca (Fred Szabo) szendrei: h1029sze(a)huella.bitnet (Agnes Szendrei) takayama: takayama(a)cs.ritsumei.ac.jp (Yukihide Takayama) talcott: clt(a)sail.stanford.edu (Carolyn Talcott) tatsuta: tatsuta(a)sato.riec.tohoku.ac.jp (Makoto Tatsuta) taubner: taubner(a)informatik.tu-muenchen.de (Dirk Taubner) paultaylor: pt(a)doc.ic.ac.uk (Paul Taylor) philiptaylor: p.taylor(a)vax.rhbnc.ac.uk (Philip Taylor) wtaylor: wtaylor(a)boulder.colorado.edu (Walt Taylor) tennent: rdt(a)qucis.queensu.ca (Bob Tennent) thiagarajan: pst(a)ssf.ernet.in (P.S. Thiagarajan) tholen: tholen(a)mathstat.yorku.ca (Walter Tholen) thompson: tierney(a)mipsmath.math.uqam.ca (Richard Thompson) thomson: tom(a)nw.stl.stc.co.uk (Tom Thomson) thurston: wpt(a)math.princeton.edu (Bill Thurston) tierney: tierney(a)math.uqam.ca (Myles Tierney) tischendorf: dc9m(a)mathematik.th-darmstadt.de (Michael Tischendorf) tiuryn: tiuryn(a)cs.bu.edu (Jerzy Tiuryn) tonks: map003(a)vaxa.bangor.ac.uk (Andy Tonks) trakhtenbrot: trakhte(a)math.tau.ac.il (Boris Trakhtenbrot) tranah: dt105(a)phoenix.cambridge.ac.uk (David Tranah) trnkova: trnkova(a)cspguk11.bitnet (Vera Trnkova) tschantz: tschantz(a)athena.cas.vanderbilt.edu (Steven Tschantz) tsuiki: tsuiki(a)kurims.kyoto-u.ac.jp (Hideki Tsuiki) turbak: lyn(a)zurich.ai.mit.edu (Franklyn Turbak) turi: turi(a)cwi.nl (Daniele Turi) urquhart: urquhart(a)ai.toronto.edu (Alasdair Urquhart) valeriote: matt(a)johnny.math.mcmaster.ca (Matthew Valeriote) valiente: dmigva0(a)ps.uib.es (Gabriel Valiente) vanosdol: d_vanosdol(a)unhh.unh.edu (Donovan Van.Osdol) vardi: vardi(a)almaden.ibm.com (Moshe Vardi) velinov: velinov(a)p39.f1.n721.z5.fidonet.org (Yuri Velinov) verity: dom(a)macadam.mpce.mq.edu.au (Dominic Verity) verwer: nico(a)cs.ruu.nl (Nico Verwer) vianu: vdvianu(a)ucsd.edu (Victor Vianu) vickers: sjv(a)doc.ic.ac.uk (Steve Vickers) vigna: vigna(a)pippo.sm.dsi.unimi.it (Sebastiano Vigna) vilcius: vilcius(a)clid.yorku.ca (Al Vilcius) vitanyi: paulv(a)cwi.nl (Paul Vitanyi) voevodsky: vladimir(a)math.harvard.edu (Vladimir Voevodsky) volkov: volkovm(a)math.urgu.e-burg.su (Michail Volkov) vovsi: vovsi(a)math.rutgers.edu (Samuel Vovsi) devries: ferjan(a)cwi.nl (Fer-jan.de Vries) waarts: orli(a)cs.stanford.edu (Orli Waarts) wachter: wachter(a)itd.nrl.navy.mil (Ralph Wachter) wadler: wadler(a)dcs.glasgow.ac.uk (Philip Wadler) ewagner: wagner(a)watson.ibm.com (Eric Wagner) kwagner: kwagner(a)risc.uni-linz.ac.at (Kim Wagner) lwald: linda(a)math.ucla.edu (Linda Wald) dwald: wald(a)theory.lcs.mit.edu (David Wald) walicki: michal(a)eik.ii.uib.no (Michal Walicki) wallen: lw(a)prg.ox.ac.uk (Lincoln Wallen) walters: walters_b(a)maths.su.edu.au (Bob Walters) wand: wand(a)corwin.ccs.northeastern.edu (Mitchell Wand) wasilewska: anita(a)sbcs.sunysb.edu (Anita Wasilewska) weaver: weaver(a)math.berkeley.edu (Nick Weaver) cwells: cfw2(a)pop.cwru.edu (Charles Wells) bwells: wells(a)lynx.cs.usfca.edu (Benjamin Wells) wendt: wendt(a)cs.dal.ca (Michael Wendt) white: bwhite(a)inmet.inmet.com (Bill White) willard: puremath(a)math.waterloo.edu (Ross Willard) williams: ewilliam(a)kean.ucs.mun.ca (Ed Williams) winkler: winkler(a)csl.sri.com (Timothy Winkler) winskel: gwinskel(a)daimi.dk (Glynn Winskel) wirsing: wirsing(a)unipas.fmi.uni-passau.de (Martin Wirsing) wismath: wismaths(a)hg.uleth.ca (Shelly Wismath) rwood: rjwood(a)cs.dal.ca (Richard Wood) jwood: wood(a)math.berkeley.edu (Japheth Wood) wraith: gavinw(a)sussex.ac.uk (Gavin Wraith) wright: gpwsg(a)acadvm1.uottawa.ca (Graham Wright) wyler: wyler(a)cs.cmu.edu (Oswald Wyler) yardini: eyal(a)wisdom.weizmann.ac.il (Eyal Yardini) yarroll: piggy(a)baqaqi.chi.il.us (La.Monte Yarroll) yetter: dyetter(a)math.ksu.edu (David Yetter) yoshida: yoshida(a)icot.or.jp (Kaoru Yoshida) yoshiki: yoshiki(a)etl.go.jp (Kinoshita Yoshiki) young: young(a)xx.lcs.mit.edu (Jonathan Young) zadori: h2865zad(a)huella.bitnet (Laszlo Zadori) zawadowski: marek(a)triples.math.mcgill.ca (Marek Zawadowski) zenith: zenith(a)ensmp.fr (Steven Zenith) zhang: gqz(a)caen.engin.umich.edu (G.Q. Zhang) zimmerman: zimmerman(a)snlndro.cerf.fred.org (Ian Zimmerman) zocco: dean.zocco@klb (Meg Zocco) # # Groups # categories: categories(a)mta.bitnet (Category Theory) clics: clics(a)doc.ic.ac.uk (ESPRIT CLiCS project) ic-seminars: ic-theory-seminars(a)doc.ic.ac.uk (Imperial College) pssl: pssl(a)doc.ic.ac.uk (Peripatetic Seminar on Sheaves and Logic) synthetic: sdt-list(a)doc.ic.ac.uk (Synthetic Domain Theory) types: types(a)dcs.gla.ac.uk (Polymorphic Type Theory) +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++

2 1

papers available
by Anders Kock 28 Jul '93

28 Jul '93

Anders Kock's article MONADS FOR WHICH STRUCTURES ARE ADJOINT TO UNITS (version 3) has been placed at the FTP site at Imperial College. Versions 1 and 2 of this article are from 1973 (!) and 1992, respectively. The present version should be easier to read for people interested in free completions of categories or posets (which is where the motivation came from. In fact, the present article is an outgrowth of the formal aspects of my 1967 Chicago Ph.D. thesis on free completion). A slight strengthening of the equational axiomatics of the above provides GENERATORS AND RELATIONS FOR DELTA AS A MONOIDAL 2-CATEGORY which is the name of another article I placed at the same FTP location. It is almost identical to Aarhus Preprint 1993 No.1 (Jan. 1993). The articles are found as files msau3.dvi and del.dvi in the directory papers/kock in theory.doc.ic.ac.uk. For the former article, a few symbols will have to be added by hand, in case you print it out. I intend to put exact information about these in the file called BY-HAND at the same location. Anders Kock +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++

1 0

CTCS-5
by F.J.de.Vries＠cwi.nl 20 Jul '93

20 Jul '93

------------------ CTCS-5 Category Theory and Computer Science Fifth Biennial Meeting September 7-10, 1993, CWI Amsterdam, the Netherlands ______________________________________________ Preliminary Program and Call for Registration ______________________________________________ PROGRAM AND ORGANIZING COMMITTEE S. Abramsky, P.-L. Curien, P. Dybjer, G. Longo, G. Mints, J. Mitchell, E. Moggi, D. Pitt, A. Pitts, A. Poigne, D. Rydeheard, F.J. de Vries and E. Wagner. LOCAL ARRANGEMENTS Dr. Fer-Jan de Vries Department of Software Technology, CWI, Kruislaan 413, 1098 SJ Amsterdam, The Netherlands CONFERENCE ADMINISTRATOR CTCS-5, c/o CWI Ms. Anna Baanders P.O. Box 4079 1009 AB Amsterdam The Netherlands Tel. +31-20-5924048 Fax. +31-20-5924199 email: anna(a)cwi.nl PROGRAM The program of CTCS-5 will consist of invited lectures and selected presentations in plenary sessions. Invited lectures will be given by: - G. Rosolini (Genova) - N.A. Shanin (St. Petersburg) - A. Joyal (Montreal) - S. Maclane (Chicago) LIST OF SELECTED TALKS: Connected Limits, familial representability and Artin glueing A Carboni and P T Johnstone Graphical Sketches; A finite presentation of infinite graphs Adam Obtulowicz Substitution should not respect equality Alain Proute Why Tricategories A J Power Reductions in Intuitionistic Linear Logic S Soloviev A Syntactic Approach to Modularity in Denotational Semantics Pietro Cenciarelli & Eugenio Moggi Sesqui-Categories and their Applications to Rewriting Systems John G Stell Syntactic Multicategories and Categorical Combinators for Linear Logic Eike Ritter and Valeria de Paiva Fibrations with Indeterminates: Contextual and Functional Completeness for Polymorphic Lambda Calculi Claudio Hermida and Bart Jacobs The Mathematics of Event Automata G Michele Pinna and Axel Poigne Sound and complete axiomatisations of call-by-value control operators Martin Hofmann CPO-categories of Partial Maps Marcelo P Fiore Intuitionistic Ordinals and Tarski's Theorem Paul Taylor On Final Semantics for Applicative and Non-Deterministic Languages Daniele Turi and Bart Jacobs Trees of Traces: A Categorical View S Kasangian, G Mauri and N Sabadini Computing Colimits B P Hilken and D E Rydeheard A Theory of Classes: Proofs and Models B P Hilken and D E Rydeheard Unification in Categories and Proof Search in Intuitionistic Propositional Calculus Akira Mori and Yoshihiro Matsumoto On distributive automata and asynchronous circuits N Sabadini, R F C Walters and Henry Weld AMSTERDAM Famous for its canals, gabled houses, bridges and museums, Amsterdam attracts millions of tourists each year. The old inner city is the most compact in Europe with almost 7000 National Trust buildings dating from the 16th century, when it was Europe's most important commercial center, to the 20th century. Through the centuries, Amsterdam has been characterized by its international orientation and its tolerance of diverse political and religious opinions. Amsterdam is the largest city in the Netherlands and the country's nominal capital. It is a major international center of commerce, banking, press and publishing, and ranks high on the list of cities favored with international conventions. At the beginning of September weather in Amsterdam is relatively mild, with daily highs usually in the 15-20 degrees centigrade range and occasional showers. GETTING THERE Amsterdam has a major international airport served by most international carriers and linked directly to over a hundred cities worldwide. The Schiphol International Airport is about 20 kilometers from Amsterdam's city center. There are frequent trains to Amsterdam's central railway station (Centraal Station, running 24 hours per day). CONFERENCE LOCATION CTCS-5 will be held at CWI, located in the city's eastern part (street address: Kruislaan 413) CWI can be easily reached with public transport from all parts of the city. CONFERENCE EVENTS There will be a reception for delegates on the evening of September 7th. An afternoon-excursion will be organized, followed by a formal conference dinner. REGISTRATION Register and make your hotel reservation in advance using the Registration and Accommodation Form. Mail or email the form to the Conference Administrator. No registration or reservation will be effective until full payment is received. CONFERENCE FEE The conference fee for CTCS-5 is NLG 500 for advance registration (to be paid by 10 August 1993) and NLG 600 after 10 August 1993. The fee includes admission to all sessions, lunches and coffee breaks, the conference dinner and the conference excursion. No refunds of payments will be made for cancellations received less than two weeks before the start of the conference. In other cases NLG 25 administrative charges and hotel no-show costs, if any. ACCOMMODATION A (limited) number of hotelrooms have been reserved at one of the AMS-group Hotels in centre town. Roomrates are NLG 130-170 for single and NLG 190 for double use (sharing a room is the responsibility of the registrant though: no matching service will be provided). To book accommodation, fill out the hotel reservations part of the Registration and Accommodation Form. A deposit of NLG 300 is to be paid in advance to make any reservation effective. This deposit will be deducted from your account when leaving. PAYMENTS Payments, net of all charges, are to be made in Dutch Guilders (NLG) and can be made by either -Banker's draft (bank check), made payable to "Stichting Wiskunde en Informatica Conferenties", and mailed to the conference administrator -Money transfer to account no. 31.35.57.977 of "Stichting Wiskunde en Informatica Conferenties" at the RABO-bank, Middenweg 88, Amsterdam (Postal giro of bank: 187744) Make sure that payments mention "CTCS-5" and your name. REGISTRATION AND ACCOMMODATION CTCS-5 Please type or print Name (last)____________________________ (first)______________ Affiliation_______________________________________________ ______________________________________________________ Address________________________________________________ Postal Code________________ City__________________________ Country________________________________________________ Email__________________________ Fax_____________________ Telephone______________________________________________ Special Requests_________________________________________ registers for CTCS-5. Registration fee: o NLG 500 o NLG 600 (late fee) Hotel Reservations Please reserve a o single/o double room in AMS Hotel Date of arrival:_________________ departure:___________________ Number of nights:_________________________________________ Payment : o NLG 300 Hotel deposit Payment: o I enclose a banker's draft o I transferred the registration fee to your bankaccount Mail to: CTCS-5 Secretariaat, CWI/Ms. Anna Baanders P.O. Box 4079, NL 1009 AB Amsterdam +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++

1 0

new archive site
by CATEGORIES＠mta.ca 15 Jul '93

15 Jul '93

********************************************************* * * * CHANGE OF ARCHIVE SITE FOR CATEGORIES LIST * * * * As noted below, archives of the categories * * list can now be retrieved by ftp from the * * site sun1.mta.ca (138.73.1.12) which is a * * Unix system. For the time being, the older * * archives can also be found on the VMS machine * * macc2.mta.ca * * * * Note also that .dvi files can now be * * usefully archived for anyone without * * access to an ftp site. Within a few * * weeks the list will originate from a * * Unix machine, and the notes below re * * From: fields will change. * * * * Please report any difficulties to * * {categories-request,rrosebrugh}(a)mta.ca * * * ********************************************************* This is the routine distribution for the categories mailing list. It is the file routine.dist in pub/categories and was last updated on July 13, 1993. Subscribers should note that the From: field of a categories posting is categories(a)mta.ca (this is different from some other mailing lists). Thus, an automatic reply is redirected to the entire list (unless another intention is clearly detected by the moderator). Administrative items (address changes etc.) can be sent to categories-request(a)mta.ca, or directly to the moderator. Usually, items of this sort sent to categories(a)mta.ca will not be posted. The archives of postings on categories are held at the ftp site sun1.mta.ca (138.73.1.12) in the directory pub/categories. This is a Unix system. The postings are filed in yearly subdirectories called 90, 91 etc. Within those subdirectories there are monthly files, and an annual list of dates and subjects of postings. In the pub/categories directory there is also a file called ftp.sites with information about ftp sites holding files of interest to subscribers. Several TeX diagram macro packages are in the subdirectory macro. Information about ftp sites with holdings of interest is welcome. This ftp site will also archive files which represent preprints in category theory for persons without access to an ftp archive. It is preferred that these be in TeX, but other submissions will be considered. Submissions should be sent to the moderator by e-mail only, and should include a short abstract suitable for posting to the categories list. Submissions may be ascii files (so TeX source code in any flavour is fine), or dvi files. If you need detailed instructions on how to use ftp, ask anyone knowledgable about the Internet at your site, or write to me. Bob Rosebrugh Phone: +1-506-364-2538 Department of Mathematics and Computer Science Fax: -364-2210 Mount Allison University Sackville, N. B. E0A 3C0 Email: rrosebrugh(a)mta.ca Canada +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++

1 0

Sketch report -- corrections
by cfw2＠po.CWRU.Edu 06 Jul '93

06 Jul '93

I already have some minor revisions to make to my report on sketches that I have made available by ftp. 1) The paper is available in the directory math/wells on ftp.cwru.edu. (I omitted the "math" part.) 2) Add this citation to line 12 of page 12: "Geometric Logic in Computer Science", by Steve Vickers. Available by FTP from theory.doc.ic.ac.uk in directory papers/Vickers. The paper is called GLiCS.dvi. 3) (Important) The discussion in the middle of page 12 concerning conceptual completeness is badly worded. ("Badly worded" means "wrong".) Besides that, it belongs in the section on categorial model theory. It should read In connection with this, one can ask whether, for a particular type of theory, a morphism of theories that induces an equivalence on the category of models must be an equivalence of theories (conceptual completeness). The answer is yes for pretoposes [Makkai and Reyes, 1977], Chapter 8 (see also [Pitts, 1989]). Some form of Morita theory can also explain when categories of models are equivalent (but in this case without necessarily being induced by a morphism of theories); for this, see [references as given in paper]. -- Charles Wells Department of Mathematics Case Western Reserve University +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++

1 0

speaker list for MSRI meeting
by Art Stone 05 Jul '93

05 Jul '93

The following list of speakers and titles for 40 talks came by e-mail (in kind response to a telephone request). Staff at MSRI asked that I post it here on the category net. No times or dates for particular talks are given; they probably have not yet been fixed. There is a rumor (only) that the CATALGS sequence will be given in the first week and the TOPOS sequence in the second. Art Stone ------------------- MATHEMATICAL SCIENCES RESEARCH INSTITUTE 1000 Centennial Drive * Berkeley, CA 94720 * (510) 642-0143 Universal Algebra and Category Theory Conference July 12-23, 1993 Speakers M. Albert Unification K. Baker Varieties (finite basis problems) M. Barr HSP theory for general categories G. Bergman Adjoint functors in algebra J. Berman Finite clones, tame congruences A. Blass TOPOI IV) The logic of geometric morphisms B. Davey Natural dualities R. Freese Congruence modular varieties P. Freyd (tentative) Categorical logic and closed categories J. Gray CATALGS III) Sketches and object oriented-programming M. Haiman TBA J. Hyndman TBA J. Isbell Polynomial origami J. Jezek Varieties (lattices of varieties) P. Johnstone TOPOS III) Classifying toposes and geometric theories A. Joyal The Witt vector construction as a right adjoint K. Kearnes Categorical aspects of congruence modular varieties M. Kelly Maltsev & Goursat categories & central extensions F. W. Lawvere Graphic monoids F. Linton CATALGS I) Monads, algebraic theories and their algebras S. Mac Lane Introductory talk: Modern algebra, universal and categorical ---- TOPOS I) Introduction to topos theory M. Makkai Generalizing from posets of categories and beyond as the heuristics for categorical logic R. McKenzie Varieties (overview) G. McNulty Varieties I. Moerdijk TOPOS II) Introduction to morphisms of topoi S. Niefield CATALGS IV) Algebras for chaos R. ParE Accessible categories J. Rhodes Global semigroup theory M. Sapir Algorithmic problems in varieties S. Seif Tame congruence theory and semigroups R. Street Higher dimensional categories W. Taylor Clones IR II W. Tholen Closure operators M. Tierney The ubiquity of Groupoids in homotopy theory V. Trnkova Topological spaces whose clones have @ segments S. Tschantz Maltsev conditions and clones M. Valeriote Varieties: Decidability, Vaught's conjecture, and tame congruence theory C. Wells CATALGS II) An introduction to sketches R. Willard Tame congruence theory +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++

1 0