From cat-dist Tue Sep 2 09:20:57 1997 Received: by mailserv.mta.ca; id AA23716; Tue, 2 Sep 1997 09:19:15 -0300 Date: Tue, 2 Sep 1997 09:19:15 -0300 (ADT) From: categories To: categories Subject: preprint available Message-Id: Mime-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII Status: O X-Status: Date: Mon, 1 Sep 1997 14:47:02 +0200 (MET DST) From: Koslowski Dear Colleagues, An updated preprint of my paper "Beyond the Chu-construction", which I presented in Vancouver in July, is now available on my web-page http://www.iti.cs.tu-bs.de/TI-INFO/koslowj/koslowski.html The abstract follows below. From a symmetric monoidal closed (= autonomous) category Po-Hsiang Chu originally constructed a *-autonomous one, ie, a self-dual autonomous category where the duality is realized by means of a dualizing object. Recently, Michael Barr introduced an extension for the non-symmetric, but closed, case that after an initial step utilized monads and modules between them. Since these tools are well-understood in a bicategorical setting, we introduce a notion of local *-autonomy for closed bicategories that turns out to be inherited by the bicategories of monads and the bicategory of interpolads. Since the first step of Barr's construction carries over directly to the bicategorical setting, we recover his main result as an easy corollary. Furthermore, the Chu-construction at this level may be viewed as a procedure to turn the endo-1-cells of a bicategory into the objects of a new bicategory, and hence is conceptually close to the constructions of bicategories of monads and of interpolads. Best regards, -- J"urgen -- J"urgen Koslowski % If I don't see you no more in this world ITI % I meet you in the next world TU Braunschweig % and don't be late! koslowj@iti.cs.tu-bs.de % Jimi Hendrix (Voodoo Child) From cat-dist Wed Sep 3 15:29:44 1997 Received: by mailserv.mta.ca; id AA11097; Wed, 3 Sep 1997 15:28:55 -0300 Date: Wed, 3 Sep 1997 15:28:55 -0300 (ADT) From: categories To: categories Subject: preprint available: not yet :-( Message-Id: Mime-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII Status: O X-Status: Date: Tue, 2 Sep 1997 15:19:46 +0200 (MET DST) From: koslowj@iti.cs.tu-bs.de Dear Colleagues, A technical glitch prevents me from puttting the preprint "Beyond the Chu-Construction", announced yesterday, on my web page ("no space on device", which doesn't make sense). I won't be able to fix this until I return from CTCS97 next Sunday, since our technician isn't here right now. Please wait until next Monday or Tuesday before downloading the paper. I'm sorry about this problem. -- J"urgen -- J"urgen Koslowski % If I don't see you no more in this world ITI % I meet you in the next world TU Braunschweig % and don't be late! koslowj@iti.cs.tu-bs.de % Jimi Hendrix (Voodoo Child) From cat-dist Thu Sep 4 11:57:43 1997 Received: by mailserv.mta.ca; id AA06428; Thu, 4 Sep 1997 11:56:42 -0300 Date: Thu, 4 Sep 1997 11:56:42 -0300 (ADT) From: categories To: categories Subject: new preprint archive on scholarly communications Message-Id: Mime-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII Status: O X-Status: [Note from moderator: Jim Stasheff suggested that this archive might be of interest to readers of categories. Though the archive is not relevant to the topic of the list, I am forwarding the information as a follow-up to the discussion of related issues in Vancouver, Regards to all, Bob Rosebrugh ] Date: Thu, 4 Sep 1997 09:08:20 -0400 (EDT) From: Mark Steinberger Paul Ginsparg has set up an archive for discussion of scholarly communications. Please do contribute any papers you have on the subject. The archive is called sch-comm. You have to register as an author before it will process submissions. The interface for browsing papers is http://xxx.lanl.gov/archive/sch-comm . You can subscribe to receive abstracts of new postings by sending a message to sch-comm@xxx.lanl.gov with Subject: subscribe . Cheers, Mark -------------------------------------------------------------------------- Mark Steinberger | Dept. of Math. & Stat | Nonlinear similarity begins in dimension six. SUNY at Albany | Albany, NY 12222 | mark@csc.albany.edu | http://math.albany.edu:8800/~mark -------------------------------------------------------------------------- From cat-dist Fri Sep 5 17:03:12 1997 Received: by mailserv.mta.ca; id AA13741; Fri, 5 Sep 1997 17:02:22 -0300 Date: Fri, 5 Sep 1997 17:02:22 -0300 (ADT) From: categories To: categories Subject: Barrfest proceedings (reminder) Message-Id: Mime-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII Status: O X-Status: Date: Tue, 2 Sep 1997 17:38:22 -0400 From: Robert A. G. Seely This is a reposting of the call-for-papers for the Barrfest. This notice may also be found on the CRTC/CTRC WWW home page: or CENTRE de RECHERCHE en THEORIE des CATEGORIES CATEGORY THEORY RESEARCH CENTER C ---------> R | / | | / | | / | | / | v / v T ---------> C BARRFEST PROCEEDINGS - CALL FOR PAPERS There will be a special issue of the Journal of Pure and Applied Algebra dedicated to Michael Barr, in honour of his 60th birthday, and nominally the proceedings of the BarrFest, held in Montreal 29 - 31 May 1997. We invite submissions to these Proceedings from anyone interested; papers submitted will undergo the usual JPAA referee process, and we are hopeful that the final Proceedings will be ready before summer 1998. Topics suitable for the Proceedings include any of the subjects to which Michael Barr has contributed, such as homological algebra, triples, embeddings, exact catgeories, torsion theories, topos theory, topology, *-autonomous categories, universal algebra, logic, linear logic, computer science, or linguistics. The submission deadline for the BarrFest Proceedings is 15 September 1997. Please send five (5) (paper) copies before then to R.A.G. Seely Department of Mathematics McGill University 805 Sherbrooke St W Montreal H3A 2K6 Quebec, Canada (If possible) please send an email message to rags@math.mcgill.ca indicating the title (and authors, if other than the sender of the email) of the paper, as well as an abstract (in standard ascii format, maximum 1 page) of the paper. If you are able to provide a uuencoded, compressed PostScript file (300 dpi), please mention this in your email as well. If having the electronic file will speed up the refereeing process, we will get in touch with you to request such files. For further information, please contact Robert Seely . F.W. Lawvere (guest editor) T. Fox, R.A.G. Seely (co-editors) From cat-dist Mon Sep 8 15:07:46 1997 Received: by mailserv.mta.ca; id AA08783; Mon, 8 Sep 1997 15:06:41 -0300 Date: Mon, 8 Sep 1997 15:06:41 -0300 (ADT) From: categories To: categories Subject: For Category Bulletin: New Preprint Message-Id: Mime-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII Status: O X-Status: Date: Mon, 8 Sep 1997 16:27:35 +0100 (BST) From: Ronnie Brown Groupoids and Crossed Objects in Algebraic Topology Ronald Brown Notes for Lectures at the Summer School on the `Foundations of Algebraic Topology', Grenoble, June 14 -July 5, 1997 (71 pages). Abstract: The notes concentrate on the background, intuition, proof and applications of the 2-dimensional Van Kampen Theorem (for the fundamental crossed module of a pair), with sketches of extensions to higher dimensions. One of the points stressed is how the extension from groups to groupoids leads to an extension from the abelian homotopy groups to non abelian higher dimensional generalisations of the fundamental group, as was sought by the topologists of the early part of this century. This links with J.H.C. Whitehead's efforts to extend combinatorial group theory to higher dimensions in terms of combinatorial homotopy theory, and which analogously motivated his simple homotopy theory. Available from http://www.bangor.ac.uk/~mas010/brownpr.html (gzipped postscript). Ronnie Brown Prof R. Brown, School of Mathematics, University of Wales, Bangor Dean St., Bangor, Gwynedd LL57 1UT, United Kingdom Tel. direct:+44 1248 382474|office: 382475 fax: +44 1248 383663 World Wide Web: home page: http://www.bangor.ac.uk/~mas010/ New article: Higher dimensional group theory Symbolic Sculpture and Mathematics: http://www.bangor.ac.uk/SculMath/ Mathematics and Knots: http://www.bangor.ac.uk/ma/CPM/exhibit/welcome.htm From cat-dist Thu Sep 18 18:55:44 1997 Received: by mailserv.mta.ca; id AA14664; Thu, 18 Sep 1997 18:54:45 -0300 Date: Thu, 18 Sep 1997 18:54:45 -0300 (ADT) From: categories To: categories Subject: Lambekfest Message-Id: Mime-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII Status: RO X-Status: Date: Mon, 15 Sep 1997 14:35:50 -0400 From: Michael Barr Jim Lambek's colleagues, former students, and friends will host a one day conference in his honour on the occasion of his 75th birthday. Date: Friday December 5, 1997. Place: Room B45, Burnside Hall, McGill University, Montreal. In recognition of Jim's substantial contributions to ring theory, category theory and mathematical linguistics, the tentative program is: Program. 10:00-10:30 Welcoming remarks and biographical sketch 10:30-11:00 Break 11:00-12:00 David Handelman, University of Ottawa. 12:00- 2:00 Lunch 2.00- 3:00 Robert Pare, Dalhousie University. 3:00- 3:30 Tea 3:30- 4:30 V. Michele Abrusci, Universita di Bari, Italy. 6:30- Banquet Registration: The entire mathematical community is welcome to attend, and Lambek's former colleagues and students are particularly encouraged to do so. Registration fees will cover the cost of the banquet and of a gift for Professor Lambek. Couples are encouraged to attend. The cost for one person is $60 and for two is $100. In order to be able to organize the banquet, please register by November 15. People who wish to contribute to the gift without coming to the banquet are invited to send $20. Cheques payable to McGill University should be mailed to Elaine Tremblay Dept. of Math. & Stats. McGill University 805 Sherbrooke St., West Montreal, QC H3A 2K6 Canada Please indicate if you prefer vegetarian food. Hotels: The hotels and motels listed at the end are located near McGill and offer lower academic rates. The organizing committee. Michael Barr, McGill University, Robert Raphael, Concordia University, Georg Schmidt, McGill University. J. Lambek fetera son 75'ieme anniversaire ce decembre prochain. A cette occasion ses collegues, ses anciens etudiants et ses amis vous proposent un colloque en son honneur. Date: vendredi le 5 decembre 1997. Lieu: Salle B45, Pavillon Burnside, Universite McGill, Montreal. Afin de refleter les contributions importantes de J. Lambek dans la theorie des anneaux, la theorie des categories, ainsi que dans la linguistique mathematique, nous suggerons le programme suivant: 10;00-10;30 Mots de bienvenue et esquisse biographique, 10;30-11;00 Pause, 11;00-12;00 David Handelman, Universite d"Ottawa 12;00-2;00 Lunch 14;00-15;00 Robert Pare, Universite Dalhousie, 15;00-15;30 the 15;30-16;30 V. Michele Abrusci, Universita de Bari, Italie, 18;30 Banquet Inscription: Toute la communaute mathematique est invitee:la presence des anciens collegues et etudiants de Lambek est particulierement sollicitee. Les frais d'inscription comprennent le banquet et un cadeau qui sera offert a M. Lambek. Les couples sont les bienvenus. Les frais sont de $60 pour une personne et de $100 pour un couple. Ceux qui desirent contribuer au cadeau sans toutefois assister au banquet peuvent faire parvenir un cheque au montant de $20. Pour faciliter l'organisation du banquet nous vous prions de vous inscrire avant le 15 novembre. Les cheques -a l'ordre de l'Universite McGill-doivent etre addresses a Mme. Elaine Tremblay, Department de Mathematiques et Statistiques, Universite McGill, 805 Sherbrooke ouest Montreal H3A 2K6. Priere d'indiquer votre preference pour un repas vegetarien. Accomodation: Les hotets et motels suivants se trouvent a proximite de l'Universite McGill et offrent des tarifs reduits aux universitaires. Le comite de planification Michael Barr, McGill University, Robert Raphael, Concordia University, Georg Schmidt, McGill University. Ritz-Carlton Kempinski Montreal The Ritz-Carlton Kempinski Montreal is a five-star deluxe property, minutes away from McGill University. The hotel features 230 tastefully decorated rooms including 45 suites, 24-hour room service, one dining room, an outside garden in the summer season, two bars and a newfully furnished exercise room. The Ritz has 12 meeting rooms with a capacity up to 550. McGill Rates: $129.00 (Cdn.) - SINGLE/DOUBLE (June 1, 1997 - May 31, 1998) Address: 1228 Sherbrooke West, Montreal, Quebec H3G 1H6 Tel: (514) 842-4212 Toll-free: 1-800-363-0366 (in Canada & U.S.) Internal: 398-8082 http://www.ritz-carlton-montreal.com/ ==================================================================== Delta Montreal Minutes away from the McGill Campus, in the hub of the business, entertainment, shopping, and dining district, the completely renovated Delta Montreal boasts 453 oversized rooms (most with a balcony), 13 meeting rooms, and a ballroom which seats 650 people. Special features: Complete spa and health club facilities, including indoor/outdoor pools, exercise room, two squash courts, and more. McGill Rates: $115.00 (Cdn.) - SINGLE/DOUBLE (June 1, 1997 - Oct. 31, 1997) $105.00 (Cdn.) - SINGLE/DOUBLE (Nov. 1, 1997 - May 31, 1998) Address: 450 Sherbrooke West, Montreal, Quebec H3A 2T4 Tel: (514) 286-1986 Toll-free: 1-800-268-1133 Internal: 398-8090 http://www.deltahotels.com ======================================================================= Chateau Versailles The Chateau Versailles is located downtown on fashionable Sherbrooke Street West (corner of St. Mathieu), 5 minutes walking distance to McGill University. Our 176 rooms are located in two separate buildings: the historic Chateau section built in 1912 or our new modern Tower section. For your meetings we have four conference rooms for groups up to 50 as well as our four diamond award winning Champs Elysees Restaurant. McGill Rates: $89.00 (Cdn.) -SINGLE/DOUBLE (June 1, 1997 - May 31, 1998) Address: 1659 Sherbrooke West, Montreal, Quebec H3H 1E3 Tel: (514) 933-3611 Toll-free: 1-800-361-7199 (in Canada & U.S.) Internal: 398-8091 http://www.montrealnet.ca/versailles to register on-line. In order to receive the McGill reduced rate be sure to request the McGill rate in the special requirements box. ============================================================================ Best Western Ville-Marie Totally renovated the Best Western Ville-Marie Hotel & Suites is located adjacent to McGill Campus, corner of Peel & Sherbrooke. Our new corporate suites are equiped with voice mail, fax modem, hook ups, coffee makers and full amenities. Our new Health Club features state of the art equipment. For meetings, conventions or any type of social events our 10 banquet halls can accommodate 5 to 400 people. McGill Rates: $75.00 (Cdn.) -SINGLE/DOUBLE (STANDARD) $99.00 (Cdn.) -SINGLE/DOUBLE (DELUXE) (01/11/97 - 31/05/98) $90.00 (Cdn.) -SINGLE/DOUBLE (STANDARD) $110.00 (Cdn.) -SINGLE/DOUBLE (DELUXE) (01/06/97 - 31/10/97) Address: 3407 Peel Street, Montreal, Quebec H3A 1W7 Tel: (514) 288-4141 Toll-free: 1-800-361-7791 Internal: 398-8081 http://www.bwvillemarie.com/67012 ==================================================================== Hotel-Plaza Howard Johnson The Hotel-Plaza Howard Johnson, located two blocks from McGill Campus, is within walking distance from the business district, Place des Arts, underground shopping centres and various museums. Our unique European style hotel can pamper you with our full service personnel, 194 guestrooms including 89 suites, 13 meeting/banquet rooms. Special features: in-room coffee machines, room service, dry cleaning service, fitness facilities, outdoor terrace and valet parking. McGill Rates: $89.00 (Cdn.) - SINGLE/DOUBLE (Superior) (June 1, 1997 - May 31, 1998) Address: 475 Sherbrooke West, Montreal, Quebec H3A 2L9 Tel: (514) 842-3961 Toll-free: 1-800-842-3961 Internal: 398-8177 (No web address) From cat-dist Thu Sep 18 18:55:51 1997 Received: by mailserv.mta.ca; id AA07824; Thu, 18 Sep 1997 18:55:49 -0300 Date: Thu, 18 Sep 1997 18:55:49 -0300 (ADT) From: categories To: categories Subject: Categories for concurrency Message-Id: Mime-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII Status: O X-Status: Date: Tue, 16 Sep 1997 13:34:00 +0200 (MET DST) From: Supratik Mukhopadhyay Dear Sir, I am working on Concurrency.Can you please recommend me a book/tutorial on the applications of category theory in Concurrency. I have searched many textbooks on Category Theory but could not find enough material on concurrency.I hope you can recommend me something. With Regards, Supratik Mukhopadhyay From cat-dist Fri Sep 19 17:55:52 1997 Received: by mailserv.mta.ca; id AA19523; Fri, 19 Sep 1997 17:55:14 -0300 Date: Fri, 19 Sep 1997 17:55:14 -0300 (ADT) From: categories To: categories Subject: ICALP '98: Call for Papers and Workshops Message-Id: Mime-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII Status: RO X-Status: Date: Thu, 18 Sep 1997 13:53:26 +0200 (MET DST) From: Uffe Henrik Engberg Call for Papers and Workshops =============== I C A L P '98 =============== 25th International Colloquium on Automata, Languages, and Programming July 13 - 17, 1998 BRICS, Aalborg, Denmark Important dates: --------------------------------------------- Workshop suggestions due: December 1, 1997 Paper submissions due: January 14, 1998 Notification: March 16, 1998 Final Copies due: April 17, 1998 --------------------------------------------- The 25th annual meeting of the European Association for Theoretical Computer Science (EATCS) will be hosted by the Center for Basic Research in Computer Science (BRICS) at Aalborg University. Aalborg is the fourth largest city in Denmark. The Programme Committee represents both tracks of the journal Theoretical Computer Science, covering algorithms and formal methods. If enough good papers are submitted, there will be parallel sessions. Papers presenting original contributions in any area of theoretical computer science are being sought. Topics include (but are not limited to): computability, automata, formal languages, new computing paradigms, term rewriting, analysis and design of algorithms, computational geometry, computational complexity, symbolic and algebraic computation, cryptography and security, data types and data structures, theory of data bases and knowledge bases, semantics of programming languages, program specification and verification, foundations of functional and logic programming, parallel and distributed computation, theory of concurrency, theory of robotics, theory of logical design and layout. Authors are invited to submit seven copies of an extended abstract not exceeding 12 pages by January 14, 1998. Electronic submission of papers is solicited. Instructions can be found at http://www.cs.auc.dk/icalp98/submit.html. In addition we invite suggestions for workshops by December 1, 1997. All correspondence to Prof. Kim G. Larsen -- ICALP'98 Department of Computer Science Aalborg University Fredrik Bajers Vej 7E DK - 9220 Aalborg Denmark e-mail: icalp98-subm@cs.auc.dk Authors from countries where access to copying machines is difficult may submit a single copy of their abstract. Simultaneous submission of papers to any journal or to another conference with published proceedings is not allowed. Invited speakers ---------------- Gilles Brassard, University of Montreal Mark Overmars, Utrecht University Leslie G. Valiant, Harvard University Avi Wigderson, Hebrew University Martin Abadi, DEC Andrew Pitts, Cambridge University Thomas A. Henzinger, University of California at Berkeley Amir Pnueli, Weizmann Institute Programme committee ------------------- Kim G. Larsen, Aalborg (chair) Sven Skyum, Aarhus (vice-chair) Susanne Albers, Saarbrucken Mark de Berg, Utrecht Ronald Cramer, Zurich Faith Fich, Toronto Burkhard Monien, Paderborn Mike Paterson, Warwick Arto Salomaa, Turku Mikkel Thorup, Copenhagen Ugo Vaccaro, Salerno Shmuel Zaks, Haifa Glynn Winskel, Aarhus (vice-chair) Gerard Boudol, INRIA Sophia-Antipolis Julian Bradfield, Edinburgh Pierre-Louis Curien, Paris Pierpaolo Degano, Pisa Jean-Pierre Jouannaud, Paris Edmund Robinson, QMW, London Bernhard Steffen, Passau Andrzej Tarlecki, Warsaw Frits Vaandrager, Nijmegen Organising Committee -------------------- Kim G. Larsen (chair) Helle Andersen Hans Huttel Ole Hoegh Jensen Lene Mogensen Arne Skou WWW-page -------- For further information, or a postscript version of this document, see http://www.cs.auc.dk/icalp98 From cat-dist Fri Sep 19 17:56:15 1997 Received: by mailserv.mta.ca; id AA13580; Fri, 19 Sep 1997 17:55:45 -0300 Date: Fri, 19 Sep 1997 17:55:45 -0300 (ADT) From: categories To: categories Subject: PSSL65 - First Announcement Message-Id: Mime-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII Status: RO X-Status: Date: Fri, 19 Sep 1997 13:39:07 +0200 (MET DST) From: Carsten Butz ---------------------------------------------------------- Peripatetic Seminar on Sheaves and Logic, PSSL 65 FIRST ANNOUNCEMENT The 65th meeting of the Peripatetic Seminar on Sheaves and Logic will take place in Aarhus (Denmark) over the weekend of 1-2 November 1997. As usual, we welcome talks on category theory, sheaves, logic, and related areas. To register, please fill out the form below and return (preferably by email) to Carsten Butz (butz@brics.dk, postal address below). We would be pleased if you could register before October 20th. We maintain a WWW-page with information for the seminar, although this is only in addition to the standard procedures (which means: registration, confirmation, hotel and travel information will be sent out by email or snail mail, as usually). The URL is http://www.brics.dk/~butz/PSSL65/pssl65.html The home page contains links to travel information; we point out that there are several direct flights from London (Heathrow) and Amsterdam to Aarhus Airport. Also, the airport of Billund has many international connections (including direct flights from Amsterdam, Berlin, Birmingham, Brussels, Paris, Frankfurt, London and Manchester). Both airports are connected to Aarhus City by a good bus service. >From Central Europe, Aarhus can by reached by train via Hamburg/Flensburg. Looking forward to meeting you in Aarhus, Carsten Butz and Anders Kock Postal address: Carsten Butz BRICS Computer Science Department Aarhus University Ny Munkegade, Building 540 8000 Aarhus C Denmark email: butz@brics.dk (PSSL65 email address) WWW: http://www.brics.dk/~butz/PSSL65/pssl65.html ---------------------------------------------------------------- I want to attend the 65th PSSL in Aarhus, Denmark. Name: Address: : : : email: WWW (if available): I wish to give a talk entitled: I wish to reserve accommodation for the following nights (single/double): ------------------------------------------------------------------ From cat-dist Sat Sep 20 15:33:53 1997 Received: by mailserv.mta.ca; id AA11824; Sat, 20 Sep 1997 15:33:17 -0300 Date: Sat, 20 Sep 1997 15:33:17 -0300 (ADT) From: categories To: categories Subject: Article by Lakoff and Nunez Message-Id: Mime-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII Status: O X-Status: Date: Sat, 20 Sep 1997 10:54:57 -0400 From: Charles Wells I would like to recommend the article by Lakoff and Nunez (bibliographical data below). It seems to me that some of the points they makes are points Bill Lawvere and Walter Noll have been making for years, and it is a pity that they didn't mention the work in categorial foundations, synthetic differential geometry, etc that makes some of the ideas rigorous. The article: George Lakoff and Rafael E. Nunez, The Metaphorical Structure of Mathematics: Sketching Out Cognitive Foundations for a Mind-Based Mathematics, in Mathematical Reasoning: Analogies, Metaphors and Images, edited by Lyn D. English, Lawrence Erlbaum Associates, 1997, pages 21-92. Too bad it is buried in the math ed ghetto. Charles Wells, Department of Mathematics, Case Western Reserve University, 10900 Euclid Ave., Cleveland, OH 44106-7058, USA. EMAIL: charles@freude.com. OFFICE PHONE: 216 368 2893. FAX: 216 368 5163. HOME PHONE: 440 774 1926. HOME PAGE: URL http://www.cwru.edu/artsci/math/wells/home.html "Some have said that I can't sing. But no one will say that I _didn't_ sing." --Florence Foster Jenkins  From cat-dist Mon Sep 22 17:39:24 1997 Received: by mailserv.mta.ca; id AA02355; Mon, 22 Sep 1997 17:38:46 -0300 Date: Mon, 22 Sep 1997 17:38:46 -0300 (ADT) From: categories To: categories Subject: CfP Concur98 Message-Id: Mime-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII Status: RO X-Status: Date: Mon, 22 Sep 1997 13:31:38 +0200 From: Robert Desimone [Apologies for multiple copies] Preliminary Call for Papers CONCUR'98 9th International Conference on Concurrency Theory Nice, France, September 8-11, 1998 Important dates ~~~~~~~~~ Paper submissions: March 10, 1998 Notifications: May 8, 1998 Final versions: June 10, 1998. CONCUR 98: Purpose and Scope ~~~~~~~~~~~~~~~~~~~~~~~~~~~~ The purpose of the CONCUR conferences is to bring together researchers, developers and students in order to advance the theory of concurrency, and promote its applications. Interest in this topic is continuously growing, as a consequence of the importance and ubiquity of concurrent systems and applications, and of the scientific relevance of their foundations. The scope of CONCUR'98 covers all areas of semantics, logics and verification techniques for concurrent systems. A list of specific topics includes (but is not limited to) concurrency related issues about models of computation and semantic domains, process algebras, Petri nets, event structures, real-time systems, hybrid systems, decidability, model-checking, verification techniques, refinement techniques, term and graph rewriting, distributed programming, logic constraint programming, object-oriented programming, typing systems and algorithms, applications, case studies, tools and environments for programming and verification. Submissions: ~~~~~~~~~~~~~ Submissions consist of a 100-200 word ASCII abstract and a 15 page summary. Electronic submissions in PostScript(tm) are strongly encouraged. Program Committee ~~~~~~~~~~~~~~~~~~~ M. Abadi (Digital,Systems Research Center) A. Asperti (University of Bologna) J. Bradfield (University of Edinburgh) E. Clarke (Carnegie Mellon University) R. de Simone (INRIA Sophia-Antipolis, co-chair) J. Esparza (Technische Universitat Munchen) P. Gastin (University of Paris 7) R. van Glabbeek (Stanford University) G. Gonthier (INRIA Rocquencourt) M. Hennessy (Sussex University) O. Maler (Verimag Grenoble) F. Moller (Uppsala University) U. Montanari (University of Pisa) M. Mukund (SMI Madras) M. Nielsen (University of Aarhus) P. Panangaden (Mc Gill University) J. Parrow (Royal Institute of Technology, Stockholm) A. Rensink (University of Hildesheim) D. Sangiorgi (INRIA Sophia-Antipolis, co-chair) C. Talcott (Stanford University) J. Winkowski (Polish Academy of Sciences) Steering Committee ~~~~~~~~~~~~~~~~~~ The Steering Committee of CONCUR is composed of Jos Baeten (chair, Eindhoven), Eike Best (Hildesheim), Kim Larsen (Aalborg), Ugo Montanari (Pisa), Scott Smolka (Stony Brook) and Pierre Wolper (Liege). Proceedings ~~~~~~~~~~~~ The proceedings will be published by Springer-Verlag in the LNCS series. Venue and local arrangements ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ Nice is ideally located on the French Riviera. September is still bathing season, while less crowded as full summer. Nice's international airport is well-connected to all major european and non-european cities. The Organizing Committee of CONCUR 98 is composed of Amar Bouali, Gerard Boudol, Ilaria Castellani, Silvano Dalzilio and Massimo Merro. An effort will be made to have reasonably low conference fee and accommodation expenses. For further information, check URL , or mailto: concur98@sophia.inria.fr. From cat-dist Wed Sep 24 09:13:22 1997 Received: by mailserv.mta.ca; id AA10380; Wed, 24 Sep 1997 09:12:25 -0300 Date: Wed, 24 Sep 1997 09:12:25 -0300 (ADT) From: categories To: categories Subject: Final Billfest timetable Message-Id: Mime-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII Status: RO X-Status: Date: Tue, 23 Sep 1997 21:45:39 GMT From: Michael Barr This is it, unless somebody cancels at the last minute. \documentstyle[12pt]{article} \textwidth 6.3in \oddsidemargin -.1in \pagestyle{empty} \begin{document} \begin{tabular}{|r@{--}r|l|p{3.4in}|}\hline \multicolumn4{|c|}{Friday, September 26\vrule height 15pt depth 5pt width 0pt}\\ \hline \multicolumn2{|c|}{} && \\[-10pt]\hline 8:45 & 9:30 &Andr\'e Joyal & The theory of $h$-categories \\ \hline 9:40 & 10:10 &Marta Bunge &Functions vs Distributions on Grothendieck toposes\\ \hline 10:20 & 10:50 &Peter Freyd &Topoi and $\lambda$-calculus\\ \hline \multicolumn2{|c|}{} && \\[-12pt]\hline 2:30 & 3:15 &Pierre Cartier & Computation and visualization: a new philosophy of categories \\ \hline 3:25 & 3:55 &Phil Mulry & Remarks on Categorical Fixed Points \\ \hline 4:05 & 4:35 &Jim Otto & From NNO to Complexity \\ \hline 4:45 & 5:15 &Robert Par\'e & On the Cardinality of Functors \\ \hline \multicolumn4{|c|}{Saturday, September 27\vrule height 15pt depth 5pt width 0pt}\\ \hline \multicolumn2{|c|}{} && \\[-10pt]\hline 8:45 & 9:30 &Bill Lawvere & Toposes of Laws of Motion\\ \hline 9:40 & 10:10 &Gonzalo Reyes & The law of motion in special relativity \\ \hline 10:20 & 10:50 &Anders Kock & Geometric Construction of the Levi-Civita Parallelism \\ \hline \multicolumn2{|c|}{} && \\[-12pt]\hline 2:30 & 3:15 &Peter Gabriel & Categories and Representation Theory\\ \hline 3:25 & 3:55 &Alex Heller & Semistabilization and infinite loop-spaces \\ \hline 4:05 & 4:35 &Kimmo Rosenthal& Multirelations and power quantales \\ \hline 4:45 & 5:15 &Fred Linton& Triples vs. Theories---one last time\\ \hline \multicolumn4{|c|}{Sunday, September 28\vrule height 15pt depth 5pt width 0pt}\\ \hline \multicolumn2{|c|}{} && \\[-10pt]\hline 8:45 & 9:30 &Mikhail Kapranov & Dg-thickenings of classifying spaces \\ \hline 9:40 & 10:10 &Ross Street & The Petit Topos of Globular Sets\\ \hline 10:20 & 10:50 &Todd Trimble & Opetopes and bar constructions \\ \hline \multicolumn2{|c|}{} && \\[-12pt]\hline 2:30 & 3:15 &Steve Schanuel & Objective number theory \\ \hline 3:25 & 3:55 &Aurelio Carboni & Syntactic characterizations of various classes of locally presentable categories \\ \hline 4:05 & 4:35 &Jim Lambek &What is the category of sets---A tribute to Bill Lawvere \\ \hline 4:45 & 5:15 &Claudio Hermida&Higher-dimensional multicategories \\ \hline \end{tabular} \end{document} |=======================================================================| | Friday, September 26 | |=======================================================================| |=======================================================================| | 8:45- 9:30| Andr\'e Joyal | The theory of h-categories | |------------|---------------------|------------------------------------| | 9:40-10:10| Marta Bunge | Functions vs Distributions | | | | on Grothendieck toposes | |------------|---------------------|------------------------------------| | 10:20-10:50| Peter Freyd | Topoi and lambda-calculus | |============|=====================|====================================| | 2:30- 3:15| Pierre Cartier | Computation and visualization: | | | | a new philosophy of categories | |------------|---------------------|------------------------------------| | 3:25- 3:55| Phil Mulry | Remarks on Categorical Fixed Points| |------------|---------------------|------------------------------------| | 4:05- 4:35| Jim Otto | From NNO to Complexity | |------------|---------------------|------------------------------------| | 4:45- 5:15| Robert Par\'e | On the Cardinality of Functors | |=======================================================================| | | | | |=======================================================================| | Saturday, September 27 | |=======================================================================| |=======================================================================| | 8:45- 9:30| Bill Lawvere | Toposes of Laws of Motion | |------------|---------------------|------------------------------------| | 9:40-10:10| Gonzalo Reyes | The law of motion in | | | | special relativity | |------------|---------------------|------------------------------------| | 10:20-10:50| Anders Kock | Geometric Construction of | | | | the Levi-Civita Parallelism | |============|=====================|====================================| | 2:30- 3:15| Peter Gabriel |Categories and Representation Theory| |------------|---------------------|------------------------------------| | 3:25- 3:55| Alex Heller | Semistabilization and | | | | infinite loop-spaces | |------------|---------------------|------------------------------------| | 4:05- 4:35| Kimmo Rosenthal | Multirelations and power quantales | |------------|---------------------|------------------------------------| | 4:45- 5:15| Fred Linton |Triples vs. Theories--one last time | |=======================================================================| | | | | |=======================================================================| | Sunday, September 28 | |=======================================================================| |=======================================================================| | 8:45- 9:30| Mikhail Kapranov |Dg-thickenings of classifying spaces| |------------|---------------------|------------------------------------| | 9:40-10:10| Ross Street | The Petit Topos of Globular Sets | |------------|---------------------|------------------------------------| | 10:20-10:50| Todd Trimble | Opetopes and bar constructions | |============|=====================|====================================| | 2:30- 3:15| Steve Schanuel | Objective number theory | |------------|---------------------|------------------------------------| | 3:25- 3:55| Aurelio Carboni | Syntactic characterizations of | | | | various classes of locally | | | | presentable categories | |------------|---------------------|------------------------------------| | 4:05- 4:35| Jim Lambek | What is the category of sets-- | | | | A tribute to Bill Lawvere | |------------|---------------------|------------------------------------| | 4:45- 5:15| Claudio Hermida | Higher-dimensional multicategories | |=======================================================================| From cat-dist Wed Sep 24 13:55:17 1997 Received: by mailserv.mta.ca; id AA29954; Wed, 24 Sep 1997 13:54:57 -0300 Date: Wed, 24 Sep 1997 13:54:56 -0300 (ADT) From: categories To: categories Subject: topology atlas Message-Id: Mime-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII Status: O X-Status: Date: Wed, 24 Sep 1997 10:49:17 +0200 (MET DST) From: koslowj@iti.cs.tu-bs.de Dear Colleagues, This Summer I was made aware of the Topology Atlas, a web-project centering around all aspects of topology. You can find it at http://www.unipissing.ca/topology/ Would a similar project be useful for category theory? Best regards, -- J"urgen -- J"urgen Koslowski % If I don't see you no more in this world ITI % I meet you in the next world TU Braunschweig % and don't be late! koslowj@iti.cs.tu-bs.de % Jimi Hendrix (Voodoo Child) From cat-dist Thu Sep 25 20:01:30 1997 Received: by mailserv.mta.ca; id AA00012; Thu, 25 Sep 1997 20:00:16 -0300 Date: Thu, 25 Sep 1997 20:00:16 -0300 (ADT) From: categories To: categories Subject: Billfest weather Message-Id: Mime-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII Status: O X-Status: Date: Thu, 25 Sep 1997 07:45:41 -0400 (EDT) From: Peter Freyd FORECAST FOR WESTERN QUEBEC ISSUED BY ENVIRONMENT CANADA MONTREAL AT 05.30 AM EDT THURSDAY 25 SEPTEMBER 1997 FOR TODAY AND FRIDAY. SYNOPSIS CLOUDS ASSOCIATED WITH SHOWERS OR RAIN ARE FORECAST FOR MOST REGIONS TODAY AS A DISTURBANCE COMING FROM NORTHERN ONTARIO CROSSES WESTERN QUEBEC. IN THE WAKE OF THE LOW SKIES WILL CLEAR OVER MOST REGIONS SO SUNSHINE WILL PREVAIL ON DAY. TEMPERATURE WILL REMAIN COOL BOTH DAYS. MONTREAL METROPOLITAIN TODAY.. CLOUDY WITH 70 PERCENT PROBABILITY OF SHOWERS. COOL. HIGH NEAR 15. WINDS SOUTHWESTERLY 20 TO 40 KM/H. TONIGHT.. CLOUDY. LOW NEAR 7. FRIDAY.. GRADUAL CLEARING IN THE MORNING. HIGH NEAR 16. EXTENDED FORECAST FOR SATURDAY SUNDAY AND MONDAY FOR WESTERN QUEBEC ISSUED BY ENVIRONMENT CANADA MONTREAL AT 05.00 AM EDT THURSDAY 25 SEPTEMBER 1997. MONTREAL METROPOLITAIN SATURDAY.. SUNNY. LOW NEAR 5. HIGH NEAR 14. SUNDAY.. MOSTLY SUNNY. LOW NEAR 7. HIGH NEAR 16. MONDAY.. MOSTLY CLOUDY. A FEW SHOWERS. LOW NEAR 9. HIGH NEAR 18. PROBABILITY OF PRECIPITATION 60 PERCENT. NORMALS FOR THE PERIOD.. LOW 8. HIGH 18. From cat-dist Tue Sep 30 19:31:24 1997 Received: by mailserv.mta.ca; id AA31815; Tue, 30 Sep 1997 19:30:27 -0300 Date: Tue, 30 Sep 1997 19:30:27 -0300 (ADT) From: categories To: categories Subject: 2nd cfp MPC'98: Mathematics of Program Construction 98 Message-Id: Mime-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII Content-Transfer-Encoding: QUOTED-PRINTABLE Status: RO X-Status: Date: Mon, 29 Sep 1997 18:03:05 +0200 (MET DST) From: Johan Jeuring MPC '98 Fourth International Conference on=20 MATHEMATICS OF PROGRAM CONSTRUCTION ----------------------------------- http://www.md.chalmers.se/Conf/MPC98/ =20 June 15 - 17, 1998 Marstrand, Sweden Post-conference workshops:=20 * Workshop on Generic Programming, WGP'98 http://www.cse.ogi.edu/PacSoft/conf/wgp/ * International Workshop on Constructive Methods for=20 Parallel Programming, CMPP'98 http://brahms.fmi.uni-passau.de/cl/cmpp98/index.html * Formal Techniques for Hardware and Hardware-like=20 Systems, FTH'98 http://www.cs.chalmers.se/~ms/FTH98/ CALL FOR PAPERS The general theme of this series of conferences is the use of crisp, clear mathematics in the discovery and design of algorithms and in the development of corresponding software or hardware. The conference theme reflects the growing interest in formal, mathematically based methods for the construction of software and hardware. The goal of the MPC conferences is to report on and significantly advance the state of the art in this area. Previous conferences were held in 1989 at Twente, The Netherlands, organised by the Rijksuniversiteit Groningen, in 1992 at Oxford, United Kingdom, and in 1995 at Kloster Irsee, Germany, organised by Augsburg University. SUBMISSION =20 Full papers should be submitted in Postscript format by e-mail to reach Johan Jeuring by December 15, 1997. The details of the submission procedure can be found at http://www.md.chalmers.se/Conf/MPC98/how_to_submit.html=20 Although there is no page limit, submissions should strive for brevity. Simultaneous submission to the conference and a post-conference workshop is allowed. TOPICS The emphasis is on the combination of c o n c i s e n e s s and=20 p r e c i s i o n in c a l c u l a t i o n a l t e c h n i q u e s=20 for program construction. We solicit high quality papers on original research, typically in one of the following areas: - formal specification of sequential and concurrent programs; - constructing implementations to meet specifications; in particular, - program transformation; - program analysis; - program verification; - convincing case studies. While this list is not exclusive it is intended to show the focus of the conference. We expect to publish the proceedings as a Springer LNCS, ready at the conference. VENUE Marstrand is a small island on the beautiful westcoast of Sweden, 40 km from G=F6teborg. The charming old houses, the fortress, the walking paths, and the absence of cars make this island a very pleasant resort. There are direct flights to G=F6teborg Landvetter from most European main cities, and busses from G=F6teborg to Marstrand. PROGRAMME COMMITTEE=20 Ralph-Johan Back Finland =20 Roland Backhouse The Netherlands =20 Richard Bird UK =20 Eerke Boiten UK =20 Dave Carrington Australia =20 Robin Cockett Canada =20 David Gries USA =20 Lindsay Groves New Zealand=20 Wim Hesselink The Netherlands=20 Zhenjiang Hu Japan=20 Barry Jay Australia=20 Johan Jeuring Sweden (Chair)=20 Dick Kieburtz USA =20 Christian Lengauer Germany =20 Lambert Meertens The Netherlands =20 Sigurd Meldal Norway =20 Bernhard M=F6ller Germany Chris Okasaki USA=20 Jose Oliveira Portugal Ross Paterson UK =20 Mary Sheeran Sweden =20 Doug Smith USA =20 LOCAL ORGANISATION MPC '98 is organised by the Computing Science department of Chalmers University of Technology and University of G=F6teborg. The organisation committee consists of the following people: Patrik Jansson Johan Jeuring Marie Larsson Mary Sheeran IMPORTANT DATES Submission December 15, 1997 Notification February 9, 1998 Final version due March 30, 1998 POST-CONFERENCE WORKSHOPS The following one-day workshops are being organised in conjunction with=20 MPC '98 and will take place after the main conference. * International Workshop on Generic Programming.=20 http://www.cse.ogi.edu/PacSoft/conf/wgp/ * International Workshop on Constructive Methods for=20 Parallel Programming, CMPP'98: http://brahms.fmi.uni-passau.de/cl/cmpp98/index.html * Formal Techniques for Hardware and Hardware-like Systems, FTH'98: http://www.cs.chalmers.se/~ms/FTH98/ CORRESPONDENCE Johan Jeuring (MPC '98) Department of Computing Science Chalmers University of Technology S-412 96 G=F6teborg Sweden E-mail: mpc98@cs.chalmers.se Fax: +46 31 165655