From MAILER-DAEMON Mon Jun 25 22:37:33 2007 Date: 25 Jun 2007 22:37:33 -0300 From: Mail System Internal Data Subject: DON'T DELETE THIS MESSAGE -- FOLDER INTERNAL DATA Message-ID: <1182821853@mta.ca> X-IMAP: 1180918415 0000000027 Status: RO This text is part of the internal format of your mail folder, and is not a real message. It is created automatically by the mail system software. If deleted, important folder data will be lost, and it will be re-created with the data reset to initial values. From rrosebru@mta.ca Sun Jun 3 21:50:19 2007 -0300 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Sun, 03 Jun 2007 21:50:19 -0300 Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1Hv0cN-0000n9-1b for categories-list@mta.ca; Sun, 03 Jun 2007 21:40:19 -0300 From: "Lurdes Sousa" To: Subject: categories: Workshop in honour of J Adamek and W Tholen Date: Fri, 1 Jun 2007 13:15:02 +0100 Message-ID: <000b01c7a446$80d8b420$c66410ac@ipv.pt> MIME-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: 7bit Sender: cat-dist@mta.ca Precedence: bulk Status: RO X-Status: X-Keywords: X-UID: 1 Please circulate to all interested colleagues. ==================== A N N O U N C E M E N T ==================== CATEGORICAL METHODS IN ALGEBRA, TOPOLOGY AND COMPUTER SCIENCE WORKSHOP IN HONOUR OF JIRI ADAMEK AND WALTER THOLEN, ON THE OCCASION OF THEIR SIXTIETH BIRTHDAY October 26-28, 2007 University of Coimbra (Portugal) Organizers: Maria Manuel Clementino and Lurdes Sousa Web page: http://www.mat.uc.pt/~cmatcs/ From rrosebru@mta.ca Sun Jun 3 21:50:19 2007 -0300 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Sun, 03 Jun 2007 21:50:19 -0300 Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1Hv0em-0000tX-Tc for categories-list@mta.ca; Sun, 03 Jun 2007 21:42:48 -0300 From: "Marta Bunge" To: categories@mta.ca Subject: categories: FW: Victory: Reed Elsevier gives in Date: Fri, 01 Jun 2007 12:37:45 -0400 Mime-Version: 1.0 Content-Type: text/plain; format=flowed Sender: cat-dist@mta.ca Precedence: bulk Message-Id: Status: O X-Status: X-Keywords: X-UID: 2 >From: "Nick Gill" >To: nickgill@cantab.net >CC: "Tom Stafford" >Subject: Victory: Reed Elsevier gives in >Date: Fri, 1 Jun 2007 17:12:40 +0100 (BST) > >Dear friend, > >Reed Elsevier today announced that they are "withdrawing from the defence >industry". The reason they cite is the criticism that they have received >from the scientific and medical community, as well as from their own >employees. > >Their press release can be found here: >http://www.reed-elsevier.com/index.cfm?articleid=2084 >A message from Sir Crispin Davis, CEO of Reed Elsevier, is copied at the >bottom of this email. > >This announcement represents a brilliant victory for all of you who have >participated in the campaign against Reed Elsevier in a multitude of >different ways. People have signed petitions, joined the boycott, written >personal and collective letters, forwarded emails and told their friends, >attended vigils, protested at Reed's AGM and the list goes on. > >Unfortunately it would appear likely that Reed Elsevier will still >organise the DSEi arms fair in London later this year. This arms fair is >one of the biggest in the world - the 2005 event was targeted by >protestors who highlighted the cluster bombs manufacturers who attended, >as well as representatives of regimes with appalling human rights records. >Nonetheless DSEi 2007 is likely to be one of the very last arms fairs >organised by Reed Elsevier. > >There are still good reasons for academics to dislike Reed Elsevier. I >refer the interested reader to this excellent article by Prof John Baez: >http://math.ucr.edu/home/baez/journals.html > >Best wishes and many, many thanks for your support, >Nick Gill > >------------------------------------------------------------------------- >Message from Sir Crispin Davis, Reed Elsevier CEO: > >Dear Colleagues > >We are announcing today that we plan to exit the defence exhibitions >business. > >Over the last year or so it has become increasingly clear that growing >numbers of important customers and authors, particularly in the science and >medical markets, have very real concerns with our involvement in this >sector. They believe strongly that our presence here is incompatible with >the aims of the science and medical communities. I am also very aware this >is a view shared by a number of our employees. We have listened closely to >these concerns and we have concluded that the long term interests of Reed >Elsevier as a leading publisher of science, medical, legal and business >content would be best served by withdrawing from defence exhibitions. We >intend to complete the withdrawal during the second half of 2007. > >We will of course fulfil all our contractual obligations with our partners >in the defence business in the interim. > >This has not been an easy decision. While the defence exhibitions business >is quite small, accounting for around 0.5% of total Group revenue, it is a >high quality business, with strong management and good growth. It is an >important industry in ensuring countries have effective defence capability, >as enshrined in the UN Charter. Our people in Reed Exhibitions have worked >very hard to make these businesses successful and run them to the highest >standards, for which I would like to thank them. Nevertheless, we believe >the growing and genuine concerns of increasing numbers of our customers >must >be paramount. > >Regards ************************************************ Marta Bunge Professor Emerita Dept of Mathematics and Statistics McGill University 805 Sherbrooke St. West Montreal, QC, Canada H3A 2K6 Office: (514) 398-3810 Home: (514) 935-3618 marta.bunge@mcgill.ca http://www.math.mcgill.ca/~bunge/ ************************************************ From rrosebru@mta.ca Mon Jun 4 16:27:26 2007 -0300 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Mon, 04 Jun 2007 16:27:26 -0300 Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1HvIA3-0002be-VN for categories-list@mta.ca; Mon, 04 Jun 2007 16:24:16 -0300 Mime-Version: 1.0 (Apple Message framework v752.3) From: Ross Street Subject: categories: CT07 Proceedings Date: Mon, 4 Jun 2007 15:00:56 +1000 To: Categories Sender: cat-dist@mta.ca Precedence: bulk Message-Id: Status: O X-Status: X-Keywords: X-UID: 3 International Conference on Category Theory CT2007 June 17-23 Hotel Tivoli Almansor Carvoeiro, Portugal http://www.mat.uc.pt/~categ/ct2007 Proceedings Volume and Call for Papers We are happy to announce that the proceedings of CT2007 will be published in a Special Issue of the journal Applied Categorical Structures (ISSN 0927-2852). We strongly encourage speakers at the conference to submit a paper. As guest-editors we are responsible for the handling and refereeing of all papers for the special issue. Authors should submit their papers through one of us. The deadline for submission is Wednesday 28 November 2007. Instructions for authors and other information about the journal can be found at: . Authors will use the Editorial Manager system In particular, when submitting their paper, they should choose Special Issue CT2007 as Article Type and then designate one of the three guest-editors to handle their paper. We look forward to a lively conference and your cooperation in producing a fine scientific record. Yours truly, Guest Editors for the Special Issue: Samson Abramsky Maria Manuel Clementino Ross Street From rrosebru@mta.ca Mon Jun 4 16:27:26 2007 -0300 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Mon, 04 Jun 2007 16:27:26 -0300 Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1HvI6p-0002Lv-8v for categories-list@mta.ca; Mon, 04 Jun 2007 16:20:55 -0300 Date: Fri, 01 Jun 2007 12:43:10 +0200 From: goedel-fellowship MIME-Version: 1.0 To: undisclosed-recipients:; Subject: categories: Kurt Goedel Fellowships - Call for Submissions Content-Type: text/plain; name="Kurt Goedel Fellowships_Call for Submissions.txt" Content-Transfer-Encoding: quoted-printable Sender: cat-dist@mta.ca Precedence: bulk Message-Id: Status: O X-Status: X-Keywords: X-UID: 4 KURT G=D6DEL CENTENARY RESEARCH PRIZE FELLOWSHIPS The research fellowship prize program is organized by the Kurt G=F6del So= ciety and=20 sponsored by the John Templeton Foundation.It offers: =95 two Ph.D. (pre-doctoral) fellowships of $60,000 US per annum for two = years =95 two post-doctoral fellowships of $ 80,000 US per annum for two years and =95 one senior fellowship of $ 120,000 US per annum for one year=20 based on an international open competition, resulting in the publication = of research papers=20 in a special issue of the Annals of Pure and Applied Logic. The Kurt G=F6del Society invites submissions (from all areas specified in= the scope) to the research fellowship prize program in honor of the celebration of K= urt G=F6del=92s 100th birthday. Scope * model theory * proof theory * recursion theory * set theory * foundations of mathematics * philosophy of mathematics * foundations of computer science (related to logic) * automated reasoning (related to logic) * complexity (related to logic)=20 All fellowship proposals, regardless of subject area, will be judged acco= rding to * the relevance and resemblance of the research (finished and propose= d) to the great insights and originality of Kurt G=F6del * its general interest and clarity of motivation * its rigorous scientific quality and depth * relevance of the awarded fellowhip for the project implementation Young researchers and female researches in particular are strongly encour= aged to apply. Submission Software is online at:http://www.easychair.org/GoedelFellow200= 7/ Submission instructions can be found here: http://kgs.logic.at/goedel-fel= lowship/index.php?instructions Timeline June 30, 2007. Submissions deadline October 2007. Jury decision on the papers for publication in the AP= AL (at most 20) December 15, 2007. Final versions due January 2008. Jury decision on winners due February 2008. Award Ceremony Mar.-Sept.2008. Commencement of the Fellowships Web:http://kgs.logic.at/goedel-fellowship E-mail contact: goedel-fellowship@logic.at From rrosebru@mta.ca Tue Jun 5 10:27:32 2007 -0300 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Tue, 05 Jun 2007 10:27:32 -0300 Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1HvYvj-00038G-MS for categories-list@mta.ca; Tue, 05 Jun 2007 10:18:35 -0300 Mime-Version: 1.0 (Apple Message framework v624) Content-Type: text/plain; charset=US-ASCII; format=flowed Content-Transfer-Encoding: 7bit To: categories@mta.ca From: Paul Taylor Subject: categories: Re: Reed Elsevier gives in Date: Mon, 4 Jun 2007 15:50:40 +0100 Sender: cat-dist@mta.ca Precedence: bulk Message-Id: Status: O X-Status: X-Keywords: X-UID: 5 Dear Marta, Congratulations on the success of your campaign to get Elsevier to withdraw from the arms trade. However, I do not understand what use I am supposed to make of this news. If you tell your child that s/he will not get any chocolate cake until s/he tidies his/her bedroom, and then s/he does so, you are obliged to provide the chocolate cake. Are you now saying that Elsevier was just a naughty child, whom we loved all along really, and that we should start "publishing" (ie privatising) our papers in their expensive journals? It seems to me that the discussion on this list on this issue around Christmas completely failed to address the main point of the journals issue. Well, it nearly got there, but it was at just that point that Bob cut it off. The problem lies with the academic establishment, starting from professors like you who are editors of journals, organisers of conferences or heads of department, through the managements of universities, up to the ministers of education in our respective countries. These are the people who hold the guns to our heads while companies like Elsevier rob us of our intellectual property. If certain of my colleagues want to set up new open-access on-line journals in topology or whatever subject, then I strongly welcome that, and am willing to help if they ask me to do so. However, this does not solve the problem of the pressure that is put on us by our lords and masters, especially when they specify lists of "approved" journals, or employ - inherently fraudulent - methods of bibliometry to "assess" our work. Best wishes, Paul PS Please note the new email address and web site: pt07@PaulTaylor.EU and www.PaulTaylor.EU From rrosebru@mta.ca Tue Jun 5 22:10:15 2007 -0300 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Tue, 05 Jun 2007 22:10:15 -0300 Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1HvjxM-0006Sb-7m for categories-list@mta.ca; Tue, 05 Jun 2007 22:05:00 -0300 Date: Tue, 5 Jun 2007 22:09:31 +0200 (CEST) Subject: categories: Lawvere's Measures on toposes From: B.Spitters@cs.ru.nl To: categories@mta.ca MIME-Version: 1.0 Content-Type: text/plain;charset=iso-8859-1 Content-Transfer-Encoding: 8bit Sender: cat-dist@mta.ca Precedence: bulk Message-Id: Status: O X-Status: X-Keywords: X-UID: 6 Lawvere's lecture: `Measures on toposes' was warmly recommended to me. [LAWVERE, F. W., Measures on toposes, Lectures given at the Workshop on Category Theoretic Methods in Geometry, Aarhus, 1983] However, I seem to be unable to find any written account of it. Any links or pointers about its contents would be very welcome. Bas Spitters From rrosebru@mta.ca Wed Jun 6 14:36:38 2007 -0300 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Wed, 06 Jun 2007 14:36:38 -0300 Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1HvzIp-0000pz-4h for categories-list@mta.ca; Wed, 06 Jun 2007 14:28:11 -0300 Subject: categories: Re: Lawvere's Measures on toposes Date: Wed, 06 Jun 2007 10:32:55 -0400 From: wlawvere@buffalo.edu To: categories@mta.ca MIME-Version: 1.0 Content-Type: text/plain Content-Transfer-Encoding: 8bit Sender: cat-dist@mta.ca Precedence: bulk Message-Id: Status: RO X-Status: X-Keywords: X-UID: 7 Dear Bas Spitters The first application of this notion of distribution to be carried out in detail is to singular coverings in the sense of Fox ("spreads"). This application and the necessary basics are well described in Singular Coverings of Toposes Series: Lecture Notes in Mathematics , Vol. 1890 Bunge, M., Funk, J. 2006, XII, 225 p Projected applications to model theory have not yet been carried out to my knowledge. Note that this notion of distribution is "on" a topos and is rather canonical. Distribution theory "in" a cohesive topos is needed for continuum physics and is hoped to enjoy certain simplications relative to traditional treatments based on contravariant descriptions of cohesion, because of the unique existence of map spaces. Sincerely F William Lawvere Quoting B.Spitters@cs.ru.nl: > Lawvere's lecture: `Measures on toposes' was warmly recommended to > me. > > [LAWVERE, F. W., Measures on toposes, Lectures given at the Workshop > on > Category Theoretic Methods in Geometry, Aarhus, 1983] > > However, I seem to be unable to find any written account of it. Any > links > or pointers about its contents would be very welcome. > > Bas Spitters > > > > > From rrosebru@mta.ca Thu Jun 7 08:02:30 2007 -0300 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Thu, 07 Jun 2007 08:02:30 -0300 Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1HwFf6-0003Uw-Sm for categories-list@mta.ca; Thu, 07 Jun 2007 07:56:16 -0300 From: "Ronnie Brown" To: Subject: categories: Re: Reed Elsevier gives in Date: Thu, 7 Jun 2007 11:12:00 +0100 MIME-Version: 1.0 Content-Type: text/plain;format=flowed; charset="iso-8859-1";reply-type=response Content-Transfer-Encoding: 7bit Sender: cat-dist@mta.ca Precedence: bulk Message-Id: Status: O X-Status: X-Keywords: X-UID: 8 The problems to which Paul refers in his last paragraph seem to me to rest partly in a lack of analysis by the general mathematical community (and in this I tend to exclude category theorists who as part of their trade do analyse directions and foundations) of how mathematics progresses. I make some remarks on this in a recent article `Promoting Mathematics' in MSOR Connections Vol 7 No 2 downloadable from http://mathstore.gla.ac.uk/articles/new.asp, and an analysis of the Research Assessment Exercise Methodology is given on www.bangor.ac.uk/r.brown/publar.html The problem seems to be partly that the great and the good go along with the idea that they can decide which mathematics of today will play a key role in the future, and therefore there should be funding direction to those `important' trends. Paul Adrian Dirac said in one of his last addresses that `You should follow a mathematical idea wherever it leads, however far from the original starting point'. Indeed it seems reasonable to say that a professional methodology is to follow through one's ideas in this way. Many, or some, of the great and the good, however, will take opportunities to use words like `rubbish' and `nonsense' and to criticise work from a sociological viewpoint: Are important others following you? Is it relevant to the `mainstream'? They have not realised the `mainstream' flaps around like the sail on a yacht (to mix metaphors). A visitor to Bangor in 2001 said to me `You are not mainstream.' I retorted `Not yet!'. My impression is that the great and the good in the UK have not heard of the word `pioneering', and are unaware of the history of important mathematical ideas. Indeed they are quite prepared to leave out the words `category' and `groupoid' from an evaluation of 20th century mathematics. (I name no names.) Perhaps this all part of the fight for funding, and for Governments to prove that money is `well spent'. For an individual outside a `top centre', the best bet might be to look for `childish questions' (Grothendieck) which the `top centres' ignore. The history of science shows the hazards of this approach for individuals! There are sociological reasons for this! Part of my argument is also that mathematicians need to argue strongly for their subject, not just for its applications. My friend John Robinson was proud of his last sculpture donation of `Prometheus', to Frome Community College, and the giving of the name `Prometheus' to their new Mathematics Centre. www.fromecollege.somerset.sch.uk/ See also http://www.popmath.org.uk/sculpture/pages/2hearth.html That was John's view of the contribution of mathematics to humanity! Anyone want to argue against it? Or elaborate it? Ronnie > The problem lies with the academic establishment, starting from > professors like you who are editors of journals, organisers of > conferences or heads of department, through the managements of > universities, up to the ministers of education in our respective > countries. These are the people who hold the guns to our heads > while companies like Elsevier rob us of our intellectual property. > > If certain of my colleagues want to set up new open-access on-line > journals in topology or whatever subject, then I strongly welcome > that, and am willing to help if they ask me to do so. > > However, this does not solve the problem of the pressure that is > put on us by our lords and masters, especially when they specify > lists of "approved" journals, or employ - inherently fraudulent - > methods of bibliometry to "assess" our work. From rrosebru@mta.ca Thu Jun 7 08:02:31 2007 -0300 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Thu, 07 Jun 2007 08:02:31 -0300 Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1HwFe0-0003SQ-Vs for categories-list@mta.ca; Thu, 07 Jun 2007 07:55:09 -0300 To: categories@mta.ca Subject: categories: GRADUATE TEACHING ASSISTANT (PhD) - Leicester, UK From: rlc3@mcs.le.ac.uk (Roy L. Crole) Date: Thu, 07 Jun 2007 09:00:56 +0100 MIME-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: quoted-printable Sender: cat-dist@mta.ca Precedence: bulk Message-Id: Status: O X-Status: X-Keywords: X-UID: 9 Dear Colleagues, Please could you bring the following PhD position to the attention of suitable students? Note the tight closing date for applications. Roy Crole.=20 GRADUATE TEACHING ASSISTANT - Ref: S3276 Department of Computer Science, University of Leicester, UK. Applications are invited for a Graduate Teaching Assistant and offer an excellent opportunity to pursue a doctorate in a dynamic and successful department. Research projects centered on both Category Theory and Type Theory are very active. A Graduate Teaching Assistant is expected to undertake teaching-related duties within the Department, not normally exceeding six contact hours per week during term, while undertaking research leading to a PhD supervised by a member of staff. Downloadable application forms and further particulars are available from=20 http://www.le.ac.uk/personnel/supportjobs/s3276a.html Available immediately for 4 years. =A39,073 maintenance grant, Home/EU fee waiver, and salary =A33,527 pa. Closing date: 15 June 2007 From rrosebru@mta.ca Fri Jun 8 11:51:44 2007 -0300 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Fri, 08 Jun 2007 11:51:44 -0300 Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1Hwfe9-00042l-Jl for categories-list@mta.ca; Fri, 08 Jun 2007 11:41:01 -0300 Date: Thu, 7 Jun 2007 09:04:34 -0400 (EDT) From: Michael Barr To: Categories list Subject: categories: Applied Categorical Structures MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII Sender: cat-dist@mta.ca Precedence: bulk Message-Id: Status: O X-Status: X-Keywords: X-UID: 10 Dear colleagues: After thinking about it, I cannot restrain myself from responding to Ross's message that the procedings of CT07 will be published by Applied Categorical Structures. What I say here is what I would do. I cannot recommend what other people should do (especially people without tenure, who are in a peculiar position). I am not going to CT07 (I cannot face crossing the pond in sardine class) nor am I planning to publish a paper in the proceedings. But if I were, I would certainly not publish it in ACS. The proceedings of the Kleislifest in 2000 were published by ACS but my paper went into TAC. ACS is published by Kluwer (now a subsidary of Springer). Kluwer is one of the "gang of five" publishers that are sucking all the life (not to mention money) out of mathematical publication. The journal is not subscribed to by McGill nor by any other university in Montreal. I would actually be surprised if any university in Canada or more than a small handful in the US subscribe. It is no wonder since they charge, as far as I can tell, in the neighbourhood of $3 a page so that the annual subscription of nearly 100 pages costs nearly $3000. The author of a paper published there is legally enjoined from posting it on his own web site. What a perversion of the whole idea of intellectual property (a somewhat dubious concept in any case, especially the way it is practiced today). Imagine, we do all the work, they make all the profit, and then tell us we cannot distribute it freely. When I publish, my interests are served best by the widest possible distribution. If it is category theory, that means TAC. (Unfortunately, my most recent work has been in point-set topology, which has no such alternative.) TAC is freely (in both senses) available and leaves the intellectual property where it belongs, with the author. But even if TAC is unsuitable for your work, there are reasonable alternatives. Two of my recent papers have been published in the Canadian Journal and one in an inexpensive Japanese journal. Even tenure committees might be impressed by those places. Of course, nothing I do would ever be acceptable in "prestige" journals, but that gets into issues that Ronnie Brown has recently expressed better than I can. Michael From rrosebru@mta.ca Fri Jun 8 11:51:45 2007 -0300 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Fri, 08 Jun 2007 11:51:45 -0300 Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1Hwfg9-0004E7-ER for categories-list@mta.ca; Fri, 08 Jun 2007 11:43:05 -0300 From: "Ronnie Brown" To: Subject: categories: Dirac quotation Date: Fri, 8 Jun 2007 10:25:16 +0100 MIME-Version: 1.0 Content-Type: text/plain;charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable Sender: cat-dist@mta.ca Precedence: bulk Message-Id: Status: O X-Status: X-Keywords: X-UID: 11 In my last email I quoted Dirac and Agnes Boskovitz of ANU asked me for = a reference. In fact I have quoted before in `Out of Line'=20 "Mathematics also leads science. The great physicist, Paul Dirac, in one = of=20 his last addresses, explained his own credo (quoted in [12] p.63): "One should allow oneself to be led in the direction which the = mathematics=20 suggests... one must follow up a mathematical idea and see what its=20 consequences are, even though one gets led to a domain which is = completely=20 foreign to what one started with.... Mathematics can lead us in a = direction=20 we would not take if we only followed up physical ideas by themselves." [12] Ferris, T., The world treasury of physics, astronomy and = mathematics,=20 Little, Brown and Co., 1991. The quotation is in the article in this volume taken from `The second = creation' by R.P. Crease and C.C. Mann (Macmillan, 1986).=20 I do not have any more information than that and any more would be = welcome.=20 Ronnie From rrosebru@mta.ca Mon Jun 11 09:38:58 2007 -0300 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Mon, 11 Jun 2007 09:38:58 -0300 Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1Hxj0N-000229-OM for categories-list@mta.ca; Mon, 11 Jun 2007 09:28:19 -0300 Subject: categories: Re: Applied Categorical Structures To: categories@mta.ca Date: Fri, 8 Jun 2007 13:41:32 -0300 (ADT) From: rjwood@mathstat.dal.ca (RJ Wood) Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Message-Id: <20070608164132.EB7FB5C282@chase.mathstat.dal.ca> Sender: cat-dist@mta.ca Precedence: bulk Status: RO X-Status: X-Keywords: X-UID: 15 Well said Mike! Years ago, when we sent type-written material to the journals most of them "added value" by typesetting. About the time we began texing our own papers, journals became prohibitively expensive. Now, many of them subtract value by introducing errors when they reset to a house style and by limiting the author's readership. Most mathematical societies' journals are still good value but surely commercial journals cannot last much longer? (Dalhousie subscribed to Applied Categorical Structures from 1998 to 2003.) Rj Wood Dear colleagues: After thinking about it, I cannot restrain myself from responding to Ross's message that the procedings of CT07 will be published by Applied Categorical Structures. What I say here is what I would do. I cannot recommend what other people should do (especially people without tenure, who are in a peculiar position). I am not going to CT07 (I cannot face crossing the pond in sardine class) nor am I planning to publish a paper in the proceedings. But if I were, I would certainly not publish it in ACS. The proceedings of the Kleislifest in 2000 were published by ACS but my paper went into TAC. ACS is published by Kluwer (now a subsidary of Springer). Kluwer is one of the "gang of five" publishers that are sucking all the life (not to mention money) out of mathematical publication. The journal is not subscribed to by McGill nor by any other university in Montreal. I would actually be surprised if any university in Canada or more than a small handful in the US subscribe. It is no wonder since they charge, as far as I can tell, in the neighbourhood of $3 a page so that the annual subscription of nearly 100 pages costs nearly $3000. The author of a paper published there is legally enjoined from posting it on his own web site. What a perversion of the whole idea of intellectual property (a somewhat dubious concept in any case, especially the way it is practiced today). Imagine, we do all the work, they make all the profit, and then tell us we cannot distribute it freely. When I publish, my interests are served best by the widest possible distribution. If it is category theory, that means TAC. (Unfortunately, my most recent work has been in point-set topology, which has no such alternative.) TAC is freely (in both senses) available and leaves the intellectual property where it belongs, with the author. But even if TAC is unsuitable for your work, there are reasonable alternatives. Two of my recent papers have been published in the Canadian Journal and one in an inexpensive Japanese journal. Even tenure committees might be impressed by those places. Of course, nothing I do would ever be acceptable in "prestige" journals, but that gets into issues that Ronnie Brown has recently expressed better than I can. Michael From rrosebru@mta.ca Mon Jun 11 09:38:58 2007 -0300 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Mon, 11 Jun 2007 09:38:58 -0300 Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1Hxj0r-00024c-SY for categories-list@mta.ca; Mon, 11 Jun 2007 09:28:49 -0300 Date: Fri, 8 Jun 2007 21:39:05 +0200 (CEST) From: Olivier LAURENT To: categories@mta.ca Subject: categories: Jean-Yves Girard's Festschrift MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII; format=flowed Sender: cat-dist@mta.ca Precedence: bulk Message-Id: Status: RO X-Status: X-Keywords: X-UID: 16 In honour of Jean-Yves Girard on the occasion of his 60th birthday year, a Festschrift will be published as a special issue of Theoretical Computer Science, where the "Linear Logic" paper was published twenty years ago. The Festschrift follows the two events organized in Siena (http://www.unisi.it/eventi/LOGIC/) and in Paris (http://www-lipn.univ-paris13.fr/jyg60/) this year. Submissions for this special issue are welcome from all the participants to the workshops as well as from other contributors. More details at: http://www.pps.jussieu.fr/~laurent/girard60/ The guest editors, Thomas Ehrhard (thomas.ehrhard@pps.jussieu.fr) Claudia Faggian (claudia.faggian@pps.jussieu.fr) Olivier Laurent (olivier.laurent@pps.jussieu.fr) From rrosebru@mta.ca Mon Jun 11 09:38:58 2007 -0300 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Mon, 11 Jun 2007 09:38:58 -0300 Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1Hxj1z-0002Az-8G for categories-list@mta.ca; Mon, 11 Jun 2007 09:29:59 -0300 Date: Sat, 9 Jun 2007 09:45:58 -0700 From: John Baez To: categories Subject: categories: Applied Categorical Structures and other overpriced journals Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline Sender: cat-dist@mta.ca Precedence: bulk Message-Id: Status: RO X-Status: X-Keywords: X-UID: 17 Michael Barr wrote: >After thinking about it, I cannot restrain myself from responding to >Ross's message that the procedings of CT07 will be published by Applied >Categorical Structures. [...] Indeed! It's a pity that the proceedings of the main international conference on category theory is going to be buried in this journal. Why not publish it in TAC? >ACS is published by Kluwer (now a subsidary of Springer). Kluwer is one >of the "gang of five" publishers that are sucking all the life (not to >mention money) out of mathematical publication. The journal is not >subscribed to by McGill nor by any other university in Montreal. I would >actually be surprised if any university in Canada or more than a small >handful in the US subscribe. It is no wonder since they charge, as far as >I can tell, in the neighbourhood of $3 a page so that the annual >subscription of nearly 100 pages costs nearly $3000. The author of a >paper published there is legally enjoined from posting it on his own web >site. Is that still true? If so, that's terrible. Even most Reed-Elsevier journals allow you to keep your papers on your own website - and more importantly, on the mathematics arXiv. However, Reed-Elsevier only officially accepted these practices recently. Before that, it worked like this: if you demanded the right to keep your paper on the arXiv, they'd give in and let you do it. I think they were trying to avoid public battles, to keep from looking bad. So, if anybody feels compelled to publish in a Springer/Kluwer/Reed-Elsevier journal for some reason, they should simply refuse to give away the complete electronic rights to their papers. If necessary, amend the copyright form to say you have the right to keep your article on your website and the arXiv. Journals are unlikely to turn away papers for this reason after they've already been accepted for publication. You can read the copyright transfer forms for some math journals here: http://front.math.ucdavis.edu/journals#copyright and many more here: http://www.sherpa.ac.uk/romeo.php Unfortunately, the information about Springer seems a bit contradictory. Best, jb From rrosebru@mta.ca Mon Jun 11 20:10:05 2007 -0300 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Mon, 11 Jun 2007 20:10:05 -0300 Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1Hxsw7-00021l-Mk for categories-list@mta.ca; Mon, 11 Jun 2007 20:04:35 -0300 Date: Mon, 11 Jun 2007 10:55:42 -0400 (EDT) From: Michael Barr To: categories Subject: categories: Re: Applied Categorical Structures and other overpriced journals MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII Sender: cat-dist@mta.ca Precedence: bulk Message-Id: Status: RO X-Status: X-Keywords: X-UID: 18 I did not know that Elsevier had changed it policies in that regard. I did know that if you asked they would send you a different copyright transfer form asking only for a permission to print, but you had to know to ask for it and my last publication in PAA was a dozen years ago. And a colleague of mine got a "lawyer's letter" from some journal demanding that he remove a paper from his own web site. Although I am glad (I suppose) to hear that they have yielded on this point, my basic objection remains. Michael On Sat, 9 Jun 2007, John Baez wrote: > Michael Barr wrote: > > >After thinking about it, I cannot restrain myself from responding to > >Ross's message that the procedings of CT07 will be published by Applied > >Categorical Structures. [...] > > Indeed! It's a pity that the proceedings of the main international > conference on category theory is going to be buried in this journal. > > Why not publish it in TAC? > > >ACS is published by Kluwer (now a subsidary of Springer). Kluwer is one > >of the "gang of five" publishers that are sucking all the life (not to > >mention money) out of mathematical publication. The journal is not > >subscribed to by McGill nor by any other university in Montreal. I would > >actually be surprised if any university in Canada or more than a small > >handful in the US subscribe. It is no wonder since they charge, as far as > >I can tell, in the neighbourhood of $3 a page so that the annual > >subscription of nearly 100 pages costs nearly $3000. The author of a > >paper published there is legally enjoined from posting it on his own web > >site. > > Is that still true? If so, that's terrible. Even most Reed-Elsevier > journals allow you to keep your papers on your own website - and more > importantly, on the mathematics arXiv. > > However, Reed-Elsevier only officially accepted these practices recently. > Before that, it worked like this: if you demanded the right to keep your > paper on the arXiv, they'd give in and let you do it. I think they were > trying to avoid public battles, to keep from looking bad. > > So, if anybody feels compelled to publish in a Springer/Kluwer/Reed-Elsevier > journal for some reason, they should simply refuse to give away the > complete electronic rights to their papers. If necessary, amend the copyright > form to say you have the right to keep your article on your website and > the arXiv. Journals are unlikely to turn away papers for this reason > after they've already been accepted for publication. > > You can read the copyright transfer forms for some math journals here: > > http://front.math.ucdavis.edu/journals#copyright > > and many more here: > > http://www.sherpa.ac.uk/romeo.php > > Unfortunately, the information about Springer seems a bit contradictory. > > Best, > jb > > > > From rrosebru@mta.ca Tue Jun 12 18:11:02 2007 -0300 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Tue, 12 Jun 2007 18:11:02 -0300 Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1HyDTV-0006Gv-21 for categories-list@mta.ca; Tue, 12 Jun 2007 18:00:25 -0300 Date: Mon, 11 Jun 2007 20:13:13 -0400 From: jim stasheff Subject: categories: Re: Applied Categorical Structures and other overpriced journals To: categories MIME-version: 1.0 (Apple Message framework v752.3) Content-type: text/plain; charset=US-ASCII; delsp=yes; format=flowed Content-transfer-encoding: 7bit Sender: cat-dist@mta.ca Precedence: bulk Message-Id: Status: O X-Status: X-Keywords: X-UID: 19 It's always possible to put the ball back in any publisher's court by using their form but crossing out anything objectinable. jim On Jun 11, 2007, at 10:55 AM, Michael Barr wrote: > I did not know that Elsevier had changed it policies in that > regard. I > did know that if you asked they would send you a different copyright > transfer form asking only for a permission to print, but you had to > know > to ask for it and my last publication in PAA was a dozen years > ago. And a > colleague of mine got a "lawyer's letter" from some journal > demanding that > he remove a paper from his own web site. > > Although I am glad (I suppose) to hear that they have yielded on this > point, my basic objection remains. > > Michael > From rrosebru@mta.ca Tue Jun 12 21:06:53 2007 -0300 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Tue, 12 Jun 2007 21:06:53 -0300 Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1HyGIt-0007Ze-5X for categories-list@mta.ca; Tue, 12 Jun 2007 21:01:39 -0300 Date: Tue, 12 Jun 2007 18:03:15 -0300 (ADT) From: Bob Rosebrugh To: categories Subject: categories: list interruption MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII Sender: cat-dist@mta.ca Precedence: bulk Message-Id: Status: O X-Status: X-Keywords: X-UID: 20 The categories moderator will be mostly out of email contact for the period June 14-24, 2007. Postings submitted to categories during that period will be distributed by June 25. Best wishes, Bob Rosebrugh From rrosebru@mta.ca Wed Jun 13 09:12:35 2007 -0300 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Wed, 13 Jun 2007 09:12:35 -0300 Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1HyRc7-0000dy-VB for categories-list@mta.ca; Wed, 13 Jun 2007 09:06:16 -0300 From: Martin Escardo MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Date: Wed, 13 Jun 2007 09:36:28 +0100 To: categories Subject: categories: Re: Applied Categorical Structures and other overpriced journals Sender: cat-dist@mta.ca Precedence: bulk Message-Id: Status: O X-Status: X-Keywords: X-UID: 21 jim stasheff writes: > It's always possible to put the ball back in any publisher's court > by using their form but crossing out anything objectinable. Indeed, I have done this since 1995, and added, by hand, that I reserve the right of posting the papers at my university web page for scholarly purposes, with no objections by the publishers. However, for my last paper, I was sent a copyright form, by IEEE, to be electronically signed. There were no means of crossing things out or adding my own clauses, and no options for printing the form and faxing it! Moreover, there was a short deadline for signing it, on the grounds that otherwise my paper wouldn't make it for the proceedings, and hence no opportunity to negotiate. Martin Escardo From rrosebru@mta.ca Wed Jun 13 11:27:12 2007 -0300 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Wed, 13 Jun 2007 11:27:12 -0300 Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1HyTj0-0001sg-Oo for categories-list@mta.ca; Wed, 13 Jun 2007 11:21:31 -0300 Date: Wed, 13 Jun 2007 09:56:13 -0400 (EDT) From: Phil Scott To: categories@mta.ca Subject: categories: Traces Workshop at LICS/ICALP July 15. MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII; format=flowed Sender: cat-dist@mta.ca Precedence: bulk Message-Id: Status: RO X-Status: X-Keywords: X-UID: 22 Dear Colleagues: For information of the readers here, there will be a workshop on Traced Monoidal Categories, Network Algebra and their applications in logic and theoretical computer science, at the LICS/ICALP/ASL 2007 annual meeting, July 15, 2007 in Wroclaw, Poland. Here is the URL link: http://funinf.cs.unibuc.ro/~gheorghe/org/tmcnaa/tmcnaa07.html Abstracts will be posted. Samson Abramsky Gheorghe Stefanescu Philip Scott (Organizing Committee) ============================================================ On Tue, 12 Jun 2007, Bob Rosebrugh wrote: > The categories moderator will be mostly out of email contact for the > period June 14-24, 2007. Postings submitted to categories during that > period will be distributed by June 25. > > Best wishes, > Bob Rosebrugh > > > > > > > > > > > > > > > > > > > > > From rrosebru@mta.ca Wed Jun 13 11:27:12 2007 -0300 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Wed, 13 Jun 2007 11:27:12 -0300 Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1HyThq-0001mS-Gv for categories-list@mta.ca; Wed, 13 Jun 2007 11:20:18 -0300 Date: Wed, 13 Jun 2007 15:17:27 +0200 From: Jiri Adamek MIME-Version: 1.0 To: categories@mta.ca Subject: categories: A Position in Theoretical Computer Science Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit Sender: cat-dist@mta.ca Precedence: bulk Message-Id: Status: O X-Status: X-Keywords: X-UID: 23 A Position in Theoretical Computer Science At the Institute of Theoretical Computer Science of the Gauss Faculty of the Technical University of Braunschweig a position is available from August 2007. Candidates must have an outstanding undergraduate degree (German Diploma, Master or equivalent) in computer science with a strong theoretical background, or a degree in mathematics. The successful candidate is expected to combine research in the field of algebraic and coalgebraic methods in computer science with teaching (about 4 hours a week) which is expected to be held in German. The position will initially be filled for two years and can be extended for up to six years. The salary ranges between EUR 2800 and 4100 per month depending on age and marital status. Candidates are requested to send their applications * by June 30* to me, preferably by e-mail to the address J.Adamek@tu-bs.de The application should contain a letter of recommendation (written e.g. by the thesis supervisor) and the e-mail address of the author of that letter. For further information please contact me. Preference will be given to equally qualified female or disabled candidates. Prof. Dr. Jiri Adamek Chair Institute of Theoretical Computer Science Technical University Postfach 3329 D-38023 Braunschweig, Germany From rrosebru@mta.ca Mon Jun 25 22:25:51 2007 -0300 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Mon, 25 Jun 2007 22:25:51 -0300 Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1I2zfM-0000Cr-Sq for categories-list@mta.ca; Mon, 25 Jun 2007 22:16:24 -0300 Date: Wed, 13 Jun 2007 11:18:38 -0600 (MDT) Subject: categories: Re: IEEE publications From: mjhealy@ece.unm.edu To: categories@mta.ca MIME-Version: 1.0 Content-Type: text/plain;charset=iso-8859-1 Content-Transfer-Encoding: quoted-printable Sender: cat-dist@mta.ca Precedence: bulk Message-Id: Status: O X-Status: X-Keywords: X-UID: 24 Martin and all, What I've done in the past is call the IEEE and talk to one of the copyright people. For conference proceedings, I've been told it's OK to distribute and, as I recall, even to post the article as long as the IEEE conference is cited. I take the version that appears in the proceedings and post that; it has the IEEE information toward the bottom of the title page. They would like you to call them first or notify them by mail of what you want to do (some such statement used to appear on the electronic copyright form---I haven't looked at the most recent one). Regards, Mike > However, for my last paper, I was sent a copyright form, by IEEE, to > be electronically signed. There were no means of crossing things out > or adding my own clauses, and no options for printing the form and > faxing it! Moreover, there was a short deadline for signing it, on the > grounds that otherwise my paper wouldn't make it for the proceedings, > and hence no opportunity to negotiate. From rrosebru@mta.ca Mon Jun 25 22:25:51 2007 -0300 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Mon, 25 Jun 2007 22:25:51 -0300 Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1I2zgB-0000FE-Al for categories-list@mta.ca; Mon, 25 Jun 2007 22:17:15 -0300 Date: Sun, 17 Jun 2007 17:50:41 GMT From: Oege.de.Moor@comlab.ox.ac.uk To: Subject: categories: PhD on refactoring at Oxford MIME-Version: 1.0 Content-Type: text/plain Sender: cat-dist@mta.ca Precedence: bulk Message-Id: Status: O X-Status: X-Keywords: X-UID: 25 UNIVERSITY OF OXFORD COMPUTING LABORATORY Programming Tools Group Oxford University Computing Laboratory has a fully funded three year research studentship working in the Programming Tools Group with the abc team: http://progtools.comlab.ox.ac.uk http://aspectbench.org PROJECT SUMMARY Software systems are rarely written from scratch: they evolve over long periods of time. When a change is made, this often affects many different locations in a system, and it is hard to make a change consistently. For that reason, automated tools to help the process of software change are desirable. "Refactoring" refers to the process of restructuring an existing piece of software, often prior to introducing new functionality, or to take advantage of a new technology. Refactoring must preserve the behaviour of existing code, and tools that help in refactoring both assist in the restructuring process and in checking that the behaviour has not changed. Unfortunately today's refactoring tools are very hard to construct, they are still quite limited in functionality, and they often contain bugs. This project aims to construct a framework for better refactoring tools. In particular, the work is driven by refactorings for a new set of language features, called `aspect-oriented programming' that have recently been added to Java. Our framework will be based on developments in three separate areas of computer science: * "strategies" to control the process of rewriting program code, from the term rewriting community * "reference attribute grammars" to specify the conditions that guarantee behaviour is preserved, from the compilers community * "incremental evaluation" of declarative rules, from the functional and logic programming community. The quality of our framework will be assessed by coding selected case studies using alternative methods. In particular, we shall implement several refactorings directly in Eclipse, the leading development environment for writing aspect-oriented programs in industry. SELECTION CRITERIA The PhD student will be concerned with the theoretical foundations of the refactoring framework, for instance proofs of correctness for refactorings, and also for the incremental evaluation mechanism. We are thus looking for someone with good mathematical skills, in particular regarding formal properties of type systems and program analyses. Candidates must have an outstanding undergraduate or master's degree in computer science. More generally, candidates must satisfy the usual requirements: http://web.comlab.ox.ac.uk/oucl/prospective/dphil/dphil-criteria.pdf for doing a doctorate at Oxford. HOW TO APPLY The deadline for applications has been extended to July 17, 2007, but earlier applications will be reviewed immediately, so candidates are encouraged to apply as soon as possible. Previous applicants need not re-apply. To apply you need to download the University's application form from: http://www.admin.ox.ac.uk/postgraduate/apply/forms You will need to submit references and a transcript with your application. It is also required to submit a research proposal: in this proposal, please elaborate on the reasons why you are interested in this project, and the research questions you find most exciting and important to address within the scope of the project. To make a convincing proposal, you may wish to consult some of the suggested reading below. Please submit your application to: Mrs. Julie Sheppard Secretary for Graduate Studies Oxford University Computing Laboratory Wolfson Building Parks Road Oxford OX1 3QD United Kingdom AND NOT TO THE ADDRESS ON THE APPLICATION FORM FURTHER INFORMATION We are happy to discuss any of the above informally with prospective candidates. Just email one or all of the project leaders: Oege de Moor (oege@comlab.ox.ac.uk) Torbjorn Ekman (torbjorn@comlab.ox.ac.uk) Mathieu Verbaere (matv@comlab.ox.ac.uk) SUGGESTED READING Avgustinov et al, Semantics of Static Pointcuts in AspectJ, POPL 2007 http://progtools.comlab.ox.ac.uk/members/oege/publications/documents/pcsemantics.pdf Ekman and Hedin. Rewritable Reference Attributed Grammars, ECOOP 2004. http://www.cs.lth.se/gorel/publications/2004-ReRAGs-LNCS.pdf Verbaere, Ettinger and De Moor. JunGL: a Scripting Language forRefactoring, ICSE 2006 http://progtools.comlab.ox.ac.uk/publications/icse06jungl Visser. Program Transformation with Stratego/XT: Rules, Strategies, Tools and Systems in StrategoXT-0.9. Domain-specific program generation. http://www.cs.uu.nl/research/techreps/UU-CS-2004-011.html From rrosebru@mta.ca Mon Jun 25 22:25:52 2007 -0300 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Mon, 25 Jun 2007 22:25:52 -0300 Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1I2zij-0000Lp-6x for categories-list@mta.ca; Mon, 25 Jun 2007 22:19:53 -0300 Date: Thu, 21 Jun 2007 12:30:00 +0200 To: categories@mta.ca From: Michal Walicki Subject: categories: CALCO'07 - call for participation Content-Type: text/plain; charset="iso-8859-1" ; format="flowed" Content-Transfer-Encoding: quoted-printable Sender: cat-dist@mta.ca Precedence: bulk Message-Id: Status: O X-Status: X-Keywords: X-UID: 26 CALCO 2007 2nd Conference on Algebra and Coalgebra in Computer Science CALCO Tools Day August 20-24, 2007, Bergen, Norway July 1 Rgular registration deadline Hotel booking deadline After this date late registration prices take effect, and it may become very difficult to find hotel rooms. ------------------------------------------------------------------ http://www.ii.uib.no/calco07/ ------------------------------------------------------------------ August 20 CALCO-jnr, CALCO-tools August 21-24 CALCO technical programme CALCO'07 takes place at Grand Hotel Terminus in Bergen, one of many historic hotels in Norway. The conference starts Monday with two workshops followed by an official reception Monday evening. The main program runs Tuesday through Friday, each morning starting with an invited speaker. Additional events are excursion by boat in the Bergen archipelago (Wednesday afternoon) and conference dinner on one of the mountains surrounding the city centre (Thursday afternoon). Registration ------------ Registration fee is 3200 NOK (1200 NOK for students), with a noticeable increase for late registration after July 1. The=20 fee includes the full conference with all workshops, a copy of the proceedings, lunches and coffee breaks, and the official reception Monday evening. Registration is via the calco07 web site: http://www.ii.uib.no/calco07/ Note that Bergen is very busy during the tourist season, so early booking of accommodation and transportation is strongly recommended. Main CALCO'07 conference ------------------------ CALCO is a high-level, bi-annual conference. It brings together researchers and practitioners to exchange new results related to foundational aspects and both traditional and emerging uses of algebras and coalgebras in computer science. The study of algebra and coalgebra relates to the data, process and structural aspects of software systems. The accepted papers report results of theoretical work on the mathematics of algebras and coalgebras, the way these results can support methods and techniques for software development, as well as experience with the transition of resulting technologies into industrial practise. Some main key words are: * Abstract models and logics * Specialised models and calculi * Algebraic and coalgebraic semantics * System specification and verification The list of accepted papers is available at the web site. CALCO is Tuesday-Friday, 0900-1700, but ends at 1400 Friday. Invited speakers ---------------- Stephen L. Bloom, Stevens Institute of Technology, NJ, USA Luis Caires, New University of Lisbon, Portugal Barbara K=F6nig, University of Duisburg-Essen, Germany Glynn Winskel, University of Cambridge, United Kingdom CALCO-jnr (CALCO Young Researchers Workshop) -------------------------------------------- CALCO-jnr is dedicated to presentations by PhD students and by those who completed their doctoral studies within the past few years. This year 12 contributions within the theme of CALCO have been accepted. See the overview on the CALCO-jnr web page on the CALCO web site. CALCO-jnr is Monday 0900-1730. CALCO-tools ----------- CALCO-tools is dedicated to presentation and demonstration of tools based on algebraic and coalgebraic principles. These include systems/prototypes/tools developed specifically for design, checking, execution, and verification of (co)algebraic specifications, but also tools targeting different application domains but making core or interesting use of (co)algebraic techniques. A Maude tool environment and a coinductive prover will be showcased this year. CALCO-tools is Monday 1530-1700. -- http://www.ii.uib.no/calco07/ From rrosebru@mta.ca Mon Jun 25 22:25:51 2007 -0300 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Mon, 25 Jun 2007 22:25:51 -0300 Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1I2zk3-0000QR-4q for categories-list@mta.ca; Mon, 25 Jun 2007 22:21:15 -0300 Subject: categories: papers From: Eduardo Dubuc Date: Mon, 25 Jun 2007 12:20:46 -0300 (ART) To: categories@mta.ca MIME-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: QUOTED-PRINTABLE Sender: cat-dist@mta.ca Precedence: bulk Message-Id: Status: O X-Status: X-Keywords: X-UID: 27 I call to your atention the following yet unpublished papers: 1. arXiv:0706.1771 [ps, pdf, other] Title: The fundamental progroupoid of a general topos Authors: Eduardo J. Dubuc Comments: 19 pages Subjects: Category Theory (math.CT); Algebraic Topology (math.AT) Here we introduce a new notion of covering projections in a topos E. Th= ey are a particular kind of locally constant objects. When the topos is locally connected, all locally constant objects are covering projection= s. Given a fix cover U =3D {U_i}, we show how to construct the set of conn= ected components in the topos E_U of covering projections trivialized by U, e= ven if the topos E is not locally connected. Our theory generalize to an arbritrary topos the whole theory of the fundamental progroupoid known = for locally connected topos. The following two papers are in the area of categorical topology, or topological categories. arXiv:math/0612727 [ps, pdf, other] Title: Quasitopoi over a base category Authors: Eduardo J. Dubuc, Luis Espa=C3=B1ol Comments: 23 pages Subjects: Category Theory (math.CT) 3. arXiv:math/0611701 [ps, pdf, other] Title: Topological functors as familiarly-fibrations Authors: Eduardo J. Dubuc, Luis Espa=C3=B1ol Comments: 16 pages Subjects: Category Theory (math.CT) From rrosebru@mta.ca Tue Jun 26 13:06:22 2007 -0300 Status: X-Status: X-Keywords: Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Tue, 26 Jun 2007 13:06:22 -0300 Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1I3DT6-00031J-TL for categories-list@mta.ca; Tue, 26 Jun 2007 13:00:40 -0300 Date: Tue, 26 Jun 2007 10:53:09 -0400 (EDT) From: Robert Seely To: Categories List Subject: categories: CT2007 slides MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII; format=flowed Sender: cat-dist@mta.ca Precedence: bulk Message-Id: I have put my slides for my CT2007 talk on my website www.math.mcgill.ca/rags/ partly for the benefit of those who asked me to, but mainly as an encouragement to the other speakers, whose slides would be very welcome to many of us who attended the meeting, and perhaps even more welcome to those who didn't. (Perhaps the organisers could set up a page of slides, as was done for CT2006.) Re the content of my own slides: I have added three slides from my FMCS 2007 talk which show how the comonad S (or !) arises naturally from the additive structure; together with a result we (B.C.S.) proved during the CT2007 meeting, this goes a long way to answering (in the affirmative) a question of Anders Kock as to whether the differential structure in a differential category is "property" rather than "structure". If you are interested in this material you should look at our MSCS paper "Differential Categories" (linked on my webpage, where you will find my slides from my 2006 talks as well, which fill in more of the story). -= rags =- -- From rrosebru@mta.ca Wed Jun 27 12:17:59 2007 -0300 Status: X-Status: X-Keywords: Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Wed, 27 Jun 2007 12:17:59 -0300 Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1I3Z8A-0006g0-7a for categories-list@mta.ca; Wed, 27 Jun 2007 12:08:30 -0300 MIME-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: quoted-printable Subject: categories: First Call for Papers --- ICALP 2008 Date: Wed, 27 Jun 2007 07:46:41 -0000 From: "Icalp08" To: Sender: cat-dist@mta.ca Precedence: bulk Message-Id: ___________________________________________________________________ CALL FOR PAPERS - ICALP'08 35th International Colloquium on Automata, Languages and Programming July 6-13, 2008, Reykjavik, Iceland http://www.ru.is/icalp08 =20 ___________________________________________________________________ The 35th International Colloquium on Automata, Languages and Programming, the main conference and annual meeting of the European Association for Theoretical Computer Science (EATCS), will take place from the 6th to the 13th of July 2008 in Reykjavik, Iceland. Following the successful experience of the last three editions, ICALP 2008 will complement the established structure of the scientific program based on Track A on Algorithms, Automata, Complexity and Games, and Track B on Logic, Semantics, and Theory of Programming, corresponding to the two main streams of the journal Theoretical Computer Science, with a special Track C on Security and Cryptography Foundations. The aim of Track C is to allow a deeper coverage of a particular topic, to be specifically selected for each year's edition of ICALP on the basis of its timeliness and relevance for the theoretical computer science community. In addition to the main conference, ICALP 2008 will also feature pre- and post-conference workshops on July 6, 12, and 13, 2008. A call for workshop is now open, and details on the submission of workshop proposals may be found at http://www.ru.is/icalp08/cfw.html. Papers presenting original research on all aspects of theoretical computer science are sought. Typical but not exclusive topics of interest are: Track A - Algorithms, Automata, Complexity and Games: * Algorithmic Aspects of Networks * Algorithmic Game Theory * Approximation Algorithms * Automata Theory * Combinatorics in Computer Science * Computational Biology * Computational Complexity * Computational Geometry * Data Structures * Design and Analysis of Algorithms * Internet Algorithmics * Machine Learning * Parallel, Distributed and External Memory Computing * Randomness in Computation * Quantum Computing=20 Track B - Logic, Semantics, and Theory of Programming: * Algebraic and Categorical Models * Automata and Formal Languages * Emerging and Non-standard Models of Computation * Databases, Semi-Structured Data and Finite Model Theory * Principles of Programming Languages * Logics, Formal Methods and Model Checking * Models of Concurrent, Distributed, and Mobile Systems * Models of Reactive, Hybrid and Stochastic Systems * Program Analysis and Transformation * Specification, Refinement and Verification * Type Systems and Theory, Typed Calculi=20 Track C - Security and Cryptography Foundations: * Cryptographic Notions, Mechanisms, Systems and Protocols * Cryptographic Proof Techniques, Lower bounds, Impossibilities * Foundations of Secure Systems and Architectures * Logic and Semantics of Security Protocols * Number Theory and Algebraic Algorithms (Primarily in Cryptography) * Pseudorandomness, Randomness, and Complexity Issues * Secure Data Structures, Storage, Databases and Content * Security Modeling: Combinatorics, Graphs, Games, Economics * Specifications, Verifications and Secure Programming * Theory of Privacy and Anonymity * Theory of Security in Networks and Distributed Computing * Quantum Cryptography and Information Theory=20 SUBMISSION GUIDELINES Authors are invited to submit an extended abstract of no more than 12 pages in LNCS style presenting original research on the theory of Computer Science. Submissions should indicate to which track (A, B, or C) the paper is submitted. No simultaneous submission to other publication outlets (either a conference or a journal) is allowed. The proceedings will be published in the Lecture Notes in Computer Science Series by Springer-Verlag. It is recommended that submissions adhere to the specified format and length. Submissions that are clearly too long may be rejected immediately. Additional material intended for the referee but not for publication in the final version - for example details of proofs - may be placed in a clearly marked appendix that is not included in the page limit. INVITED SPEAKERS (Preliminary list) * Ran Canetti (IBM T.J. Watson Research Center and MIT, USA) * Bruno Courcelle (Labri, Universite Bordeaux, France) * Javier Esparza (Technische Universitaet Muenchen, Germany) * Muthu Muthukrishnan (Google, USA) * Peter Winkler (Dartmouth, USA) IMPORTANT DATES (Provisional) * Workshop proposals due: October 31, 2007 * Submission: 23:59 GMT February 10, 2008. * Notification: April 9, 2008 * Final version due: April 30, 2008=20 PROGRAM COMMITTEE Track A * Michael Bender (State Univ of New York at Stony Brook, USA) * Magnus Bordewich (Durham University, UK) * Peter Bro Miltersen (University of Aarhus, Denmark) * Lenore Cowen (Tufts University, USA) * Pierluigi Crescenzi (Universita' di Firenze, Italy) * Artur Czumaj (University of Warwick, UK) * Edith Elkind (University of Southampton, UK) * David Eppstein (University of California at Irvine, USA) * Leslie Ann Goldberg (University of Liverpool, UK) (chair) * Martin Grohe (Humboldt-Universitaet zu Berlin, Germany) * Giuseppe Italiano (Universita' di Roma "Tor Vergata", Italy) * Christos Kaklamanis (University of Patras, Greece) * Michael Mitzenmacher (Harvard University, USA) * Ian Munro (University of Waterloo, Canada) * Ryan O'Donnell (Carnegie Mellon University, USA) * Dana Ron (Tel-Aviv University, Israel) * Tim Roughgarden (Stanford University, US) * Christian Scheideler (Technische Universitaet Muenchen, Germany) * Christian Sohler (University of Paderborn, Germany) * Luca Trevisan (University of California at Berkeley, USA) * Berthold Vocking (RWTH Aachen University, Germany) * Gerhard Woeginger (Eindhoven University of Technology, the= Netherlands) Track B * Parosh Abdulla (Uppsala University, Sweden) * Luca de Alfaro (University of California, Santa Cruz, USA * Christel Baier (Technische Universitaet Dresden, Germany) * Giuseppe Castagna (Universite Paris 7, France) * Rocco de Nicola (Universita' di Firenze, Italy) * Javier Esparza (Technische Universitaet Muenchen, Germany) * Marcelo Fiore (University of Cambridge, UK) * Erich Graedel (RWTH Aachen, Germany) * Jason Hickey (California Institute of Technology, USA) * Martin Hofmann (Ludwig-Maximilians-Universitdt M|nchen, Germany) * Hendrik Jan Hoogeboom (Leiden University, NL) * Radha Jagadeesen (DePaul University, USA) * Madhavan Mukund (Chennai Mathematical Institute, India) * Luke Ong (Oxford University, UK) * Dave Schmidt (Kansas State University, USA) * Philippe Schnoebelen (ENS Cachan, France) * Igor Walukiewicz (Labri, Universite Bordeaux, France) (chair) * Mihalis Yannakakis (Columbia University, USA) * Wieslaw Zielonka (Universite Paris 7, France) Track C * Christian Cachin (IBM Research Zurich, CH) * Jan Camenisch (IBM Research Zurich, CH) * Ivan Damgaard (University of Aarhus, Denmark) (chair) * Stefan Dziembowski ((Universita' di Roma "La Sapienza", Italy) * Dennis Hofheinz (CWI Amsterdam, the Netherlands) * Susan Hohenberger (Johns Hopkins University, USA) * Yuval Ishai (Technion Haifa, Israel) * Lars Knudsen (DTU Copenhagen, Denmark) * Arjen Lenstra (EPFL Lausanne, CH) * Anna Lysyanskaya (Brown University, USA) * Rafael Pass (Cornell University, USA) * David Pointcheval (ENS Paris, France) * Dominique Unruh (Saarland University, Germany) * Serge Vaudenay (EPFL Lausanne, CH) * Bogdan Warinschi (Bristol University, UK) * Douglas Wikstroem * Stefan Wolf (ETH Zurich, CH) ORGANIZING COMMITTEE: ********************* Luca Aceto Magnus M. Halldorsson Anna Ingolfsdottir CONTACT ADDRESSES: ****************** Luca Aceto, Magnus M. Halldorsson and Anna Ingolfsdottir=20 Department of Computer Science Reykjavik University Kringlan 1, 103 Reykjavik, Iceland E-mail: icalp08@ru.is For further information see: http://www.ru.is/icalp08/ Vinsamlega athugi=F0 a=F0 uppl=FDsingar =ED t=F6lvup=F3sti =FEessum og vi= =F0hengi eru eing=F6ngu =E6tla=F0ar =FEeim sem p=F3stinum er beint til og g= =E6tu innihaldi=F0 uppl=FDsingar sem eru tr=FAna=F0arm=E1l. Sj=E1 n=E1nar:= http://www.ru.is/trunadur Please note that this e-mail and attachments are intended for the named= addresses only and may contain information that is confidential and= privileged. Further information: http://www.ru.is/trunadur From rrosebru@mta.ca Wed Jun 27 19:57:53 2007 -0300 Status: X-Status: X-Keywords: Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Wed, 27 Jun 2007 19:57:53 -0300 Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1I3gNm-0004R1-Fy for categories-list@mta.ca; Wed, 27 Jun 2007 19:53:06 -0300 Date: Wed, 27 Jun 2007 18:54:00 +0100 (BST) From: Bob Coecke To: categories@mta.ca Subject: categories: Categorical Quantum Logic in Oxford, August 11-12 MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII; format=flowed Sender: cat-dist@mta.ca Precedence: bulk Message-Id: Announcement of a workshop on CATEGORICAL QUANTUM LOGIC August 11-12 Oxford University Invited speakers: * Rick Blute (Ottawa, Canada) * Marcelo Fiore (Cambridge, UK) * John Harding (New Mexico, US) * Chris Isham (Imperial College, UK) * Dusko Pavlovic (Kestrel Institute, US) More details, including other speakers, participants, and modes of participation, can be obtained from: * http://se10.comlab.ox.ac.uk:8080/FOCS/COQL_en.html or by contacting the workshop organiser: * Bob Coecke This workshop will be partly adjacent to and partly interleaved with one on COALGEBRAIC LOGIC which takes place August 10-11 and is organised by Alexander Kurz, and both of these are preceded by the conference ALGEBRAIC AND TOPOLOGICAL METHODS IN NON-CLASSICAL LOGICS: * http://www.maths.ox.ac.uk/notices/events/special/tancl07/ which takes place August 5-9 and is organised by Hilary Priestley and Mai Gehrke, and at which: * Samson Abramsky (Oxford, UK) will be giving an invited address on his work in the area of categorical quantum logic. From rrosebru@mta.ca Thu Jun 28 11:08:32 2007 -0300 Status: X-Status: X-Keywords: Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Thu, 28 Jun 2007 11:08:32 -0300 Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1I3uaY-0005uo-5K for categories-list@mta.ca; Thu, 28 Jun 2007 11:03:14 -0300 From: ak155@mcs.le.ac.uk To: categories@mta.ca Subject: categories: COALGEBRAIC LOGIC in Oxford, August 10-11 Date: 28 Jun 2007 09:27:33 +0100 Message-ID: Mime-Version: 1.0 Content-Type: text/plain; format=flowed; charset=ISO-8859-1 Sender: cat-dist@mta.ca Precedence: bulk ================================================= Announcement of a workshop on COALGEBRAIC LOGIC August 10-11 Oxford University Invited speakers: * Marcelo Fiore (Cambridge, UK) * Rob Goldblatt (Wellington, New Zealand) * H.Peter Gumm (Marburg, Germany) * Bart Jacobs (Nijmegen, The Netherlands) * Lawrence Moss (Bloomington, US) * Yde Venema (Amsterdam, The Netherlands) More details, including modes of participation, can be obtained from: * http://se10.comlab.ox.ac.uk:8080/FOCS/COQL_en.html or by contacting the workshop organiser: * Alexander Kurz This workshop will be partly adjacent to and partly interleaved with one on CATEGORICAL QUANTUM LOGIC which takes place August 11-12 and is organised by Bob Coecke, and both of these follow on from the conference ALGEBRAIC AND TOPOLOGICAL METHODS IN NON-CLASSICAL LOGICS III: * http://www.maths.ox.ac.uk/notices/events/special/tancl07/ which takes place August 5-9 and is organised by Hilary Priestley and Mai Gehrke. From rrosebru@mta.ca Fri Jun 29 08:42:00 2007 -0300 Status: X-Status: X-Keywords: Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Fri, 29 Jun 2007 08:42:00 -0300 Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1I4EhP-0000Rf-PU for categories-list@mta.ca; Fri, 29 Jun 2007 08:31:39 -0300 Date: Thu, 28 Jun 2007 11:26:14 -0300 From: "Robert J. MacG. Dawson" MIME-Version: 1.0 To: categories@mta.ca Subject: categories: Re: COALGEBRAIC LOGIC in Oxford, August 10-11 Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit Sender: cat-dist@mta.ca Precedence: bulk Message-Id: ak155@mcs.le.ac.uk wrote: > This workshop will be partly adjacent to and partly interleaved with one > on CATEGORICAL QUANTUM LOGIC which takes place August 11-12 and is > organised by Bob Coecke, Should that read "entangled with"? -Robert Dawson From rrosebru@mta.ca Sun Jul 1 12:24:39 2007 -0300 Status: X-Status: X-Keywords: Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Sun, 01 Jul 2007 12:24:39 -0300 Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1I518P-0007Gg-6I for categories-list@mta.ca; Sun, 01 Jul 2007 12:14:45 -0300 From: "Ronnie Brown" To: Subject: categories: John Robinson, Sculptor Date: Fri, 29 Jun 2007 22:32:32 +0100 MIME-Version: 1.0 Content-Type: text/plain;charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable Sender: cat-dist@mta.ca Precedence: bulk Message-Id: An appreciation of John's work is published in=20 www.isama.org/hyperseeing June 2007.=20 I have also published an I hope provocative article on `Promoting = Mathematics' =20 in=20 MSOR Connections Vol 7, No 2, May 2007=20 downloadable from=20 http://mathstore.ac.uk/newsletter/may2007/pdf/24_brown_r_promotingmaths.p= df It has some Grothendieck quotations and a theme is promoting mathematics = to students! MSOR would I think welcome further debate and argument.=20 Ronnie Brown