From rrosebru@mta.ca Sat Jan 3 07:50:56 2004 -0400 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Sat, 03 Jan 2004 07:50:56 -0400 Received: from Majordom by mailserv.mta.ca with local (Exim 4.10) id 1AckCL-0000u4-00 for categories-list@mta.ca; Sat, 03 Jan 2004 07:44:05 -0400 Message-ID: <011f01c3d1ed$9c787460$cff64c51@brown1> From: "Ronald Brown" To: categories@mta.ca Subject: categories: Mathematics at Bangor Date: Sat, 3 Jan 2004 11:34:54 -0000 MIME-Version: 1.0 Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: 7bit Sender: cat-dist@mta.ca Precedence: bulk Status: RO X-Status: X-Keywords: X-UID: 1 The future of Mathematics at Bangor This future is still in doubt. I have had to prepare my own web site giving information on this at http://mysite.freeserve.com/maths_at_bangor We would like to thank all those who wrote, since these letters gave a tremendous boost to morale. I hope they also gave food for thought to the authorities at the University of Wales, Bangor. They are also of interest for the general issues some of them raise, and I hope to use this url to bring out these and further issues. Perhaps more will be clear by the end of January. I hope those who wrote in are happy for their letters to appear in this way. As I am going on holiday from the afternoon of January 4 till January 12, I can do nothing more till I get back. Some of you might like to ask for further information as suggested. Best wishes and thanks from all of us. Ronnie Brown From rrosebru@mta.ca Mon Jan 5 09:36:26 2004 -0400 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Mon, 05 Jan 2004 09:36:26 -0400 Received: from Majordom by mailserv.mta.ca with local (Exim 4.10) id 1AdUpF-0005wQ-00 for categories-list@mta.ca; Mon, 05 Jan 2004 09:31:21 -0400 Date: Mon, 5 Jan 2004 14:00:23 +0100 (CET) From: Jiri Adamek To: Subject: categories: CMCS'04: deadline prolongation Message-ID: MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII X-Scanned-By: MIMEDefang 2.37 Sender: cat-dist@mta.ca Precedence: bulk Status: O X-Status: X-Keywords: X-UID: 2 Excuse multiple copies The deadline for submissions to CMCS 2004 has been prolonged to January 12. A copy of the second announcement follows: +++++++++++++++++ SUBMISSION DEADLINE: JANUARY 12, 2004 +++++++++++++++ +----------------------------------------------------------+ | | | | | 7th International Workshop on | | Coalgebraic Methods in Computer Science | | | | C M C S 2004 | | | | | | Barcelona, March 27-29, 2004 | | http://www.iti.cs.tu-bs.de/~cmcs/ | | | +----------------------------------------------------------+ The workshop is held in conjunction with ETAPS 2004 (7th European Joint Conferences on Theory Theory and Practice of Software, March 27- April 4,2004) http://www.lsi.upc.es/etaps04/ AIMS AND SCOPE During the last few years, it is becoming increasingly clear that a great variety of state-based dynamical systems, like transition systems, automata, process calculi and class-based systems can be captured uniformly as coalgebras. Coalgebra is developing into a field of its own interest presenting a deep mathematical foundation, a growing field of applications and interactions with various other fields such as reactive and interactive system theory, object oriented and concurrent programming, formal system specification, modal logic, dynamical systems, control systems, category theory, algebra, analysis, etc. The aim of the workshop is to bring together researchers with a common interest in the theory of coalgebras and its applications. The topics of the workshop include, but are not limited to: - the theory of coalgebras (including set theoretic and categorical approaches); - coalgebras as computational and semantical models (for programming languages, dynamical systems, etc.); - coalgebras in (functional, object-oriented, concurrent) programming; - coalgebras and data types; - (coinductive) definition and proof principles for coalgebras (with bisimulations or invariants); - coalgebras and algebras; - coalgebraic specification and verification; - coalgebras and (modal) logic; - coalgebra and control theory (notably of discrete event and hybrid systems). The workshop will provide an opportunity to present recent and ongoing work, to meet colleagues, and to discuss new ideas and future trends. Previous workshops of the same series have been organized in Lisbon, Amsterdam, Berlin, Genova, Grenoble, and Warsaw. The proceedings appeared as "Electronic Notes in Theoretical Computer Science (ENTCS)", Volumes 11, 19, 33, 41, 65.1 and 82.1. Selected papers have been/are being published in Theoretical Computer Science, Theoretical Informatics and Applications, and Mathematical Structures in Computer Science. You can get an idea of the types of papers presented at previous meetings by looking at the tables of content of the above ENTCS volumes from these meetings. They are available via the ENTCS page http://www.elsevier.nl/gej-ng/31/29/23/show/Products/notes/contents.htt PROGRAM COMMITTEE Jiri Adamek, chair (Braunschweig), Corina Cirstea (Southampton), H. Peter Gumm (Marburg), Alexander Kurz (Leicester), Ugo Montanari (Pisa), Larry Moss (Bloomington, IN), Ataru T. Nakagawa (Tokyo), Dirk Pattinson (Muenchen) Grigore Rosu (Urbana, ILL), Jan Rutten (Amsterdam), James Worrell (New Orleans). LOCATION CMCS 2004 will be held in Barcelona on March 27-29, 2004. It is a satellite workshop of ETAPS 20034, the European Joint Conferences on Theory and Practice of Software. For venue, registration and suggested accommodation see the ETAPS 2004 Web page: http://www.lsi.upc.es/etaps04/ INVITED SEPAKERS Prakash Panangaden (McGill University, Montreal) Alex Simpson (University of Edinburgh) SUBMISSIONS Submissions will be evaluated by the Program Committee for inclusion in the proceedings, which will be published in the ENTCS series. Papers must contain original contribution, be clearly written, and include appropriate reference to and comparison with related work. Papers (of at most 15 pages) should be submitted electronically as PostScript files at the address J.Adamek@tu-bs.de. A separate message should also be sent, with a text-only one-page abstract and with mailing addresses (both postal and electronic), telephone number and fax number of the corresponding author. IMPORTANT DATES Deadline for submission: January 12, 2004 Notification of acceptance: February 16, 2004 Final version due: February 30, 2004 Workshop dates: March 27-29, 2004 For more information, please contact: Jiri Adamek, Technical University of Braunschweig phone: (0049) 5319521 fax: (0049) 5319529 e-mail: J.Adamek@tu-bs.de + + + CMCS '04 + + + SECOND ANNOUNCEMENT + + + CALL FOR PAPERS + + From rrosebru@mta.ca Wed Jan 7 17:02:30 2004 -0400 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Wed, 07 Jan 2004 17:02:30 -0400 Received: from Majordom by mailserv.mta.ca with local (Exim 4.10) id 1AeKiY-0006R3-00 for categories-list@mta.ca; Wed, 07 Jan 2004 16:55:54 -0400 Content-Type: text/plain; charset="us-ascii" Date: Tue, 6 Jan 2004 16:58:25 +0000 To: AMAST04 mailing list:;;@cs.stir.ac.uk From: Carron Shankland Subject: categories: AMAST 2004: EXTENDED DEADLINE Sender: cat-dist@mta.ca Precedence: bulk Message-Id: Status: O X-Status: X-Keywords: X-UID: 3 Dear all, You still have time to write your AMAST paper. We have extended the deadline to 26th January. The full call is attached; please distribute to colleagues. Thanks, Carron Shankland (on behalf of the AMAST organising committee) --------------------------------------------- CALL FOR PAPERS AMAST 2004: 10th International Conference on Algebraic Methodology And Software Technology http://www.cs.stir.ac.uk/events/amast2004/ ****** Paper Submissions: 26th January 2004 ****** --------------------------------------------- AMAST 2004 July 12th - 16th, 2004 Stirling, Scotland, UK. SPEAKERS -------- * Roland Backhouse (Nottingham) * Don Batory (Texas) * Michel Bidoit (CNRS) * Muffy Calder (Glasgow) * Bart Jacobs (Nijmegen) * JJ Meyer (Utrecht) The major goal of the AMAST Conferences is to promote research that may lead to the setting of software technology on a firm, mathematical basis. This goal is achieved by a large international cooperation with contributions from both academia and industry. The virtues of a software technology developed on a mathematical basis have been envisioned as being capable of providing software that is (a) correct, and the correctness can be proved mathematically, (b) safe, so that it can be used in the implementation of critical systems, (c) portable, i.e., independent of computing platforms and language generations, and (d) evolutionary, i.e., it is self-adaptable and evolves with the problem domain. CO-LOCATED EVENTS ----------------- AMAST will be co-located with MPC (Mathematics of Program Construction) and ARTS (AMAST Real Time workshop). TOPICS ------ As in previous years, we will invite papers reporting original research on setting software technology on a firm mathematical basis. We expect two kinds of submissions for this conference: technical papers and system demonstrations. Of particular interest is research on using algebraic, logic, and other formalisms suitable as foundations for software technology, as well as software technologies developed by means of logic and algebraic methodologies. Topics of interest include, but are not limited to, the following: SOFTWARE TECHNOLOGY: * systems software technology * application software technology * concurrent and reactive systems * formal methods in industrial software development * formal techniques for software requirements, design * evolutionary software/adaptive systems PROGRAMMING METHODOLOGY: * logic programming, functional programming, object paradigms * constraint programming and concurrency * program verification and transformation * programming calculi * specification languages and tools * formal specification and development case studies ALGEBRAIC AND LOGICAL FOUNDATIONS: * logic, category theory, relation algebra, computational algebra * algebraic foundations for languages and systems, coinduction * theorem proving and logical frameworks for reasoning * logics of programs SYSTEMS AND TOOLS (for system demonstrations or ordinary papers): * software development environments * support for correct software development * system support for reuse * tools for prototyping * component based software development tools * validation and verification * computer algebra systems * theorem proving systems PUBLICATION ----------- As in the past, the proceedings of AMAST 2004 will be published by Springer in the Lecture Notes in Computer Science series. We invite prospective authors to submit electronically previously unpublished papers of high quality. Submissions should not have been published and should not be under consideration for publication elsewhere. Papers must be no longer than 15 pages (6 pages for system demonstrations) and should be prepared using LaTeX and the LNCS style that can be downloaded from http://www.springer.de/comp/lncs/authors.html. Please send a fully self-contained PostScript file to amast@cs.stir.ac.uk. If for any reason it is impossible to submit a paper electronically, authors should send six copies of their submission to the program chair at the address below. All papers will be refereed by the programme committee, and will be judged based on their significance, technical merit, and relevance to the conference. Papers should be received by January 19, 2004. Address for non-electronic submissions: Charles Rattray AMAST'2004 Program Chair Department of Computing Science and Mathematics University of Stirling Stirling FK9 4LA UK PRIZES ------ There will be a prize for the best paper overall, and for the best student paper. These prizes are sponsored by BCS-FACS (the British Computing Society special interest group Formal Aspects of Computing Science). Each prize winner will receive a year's membership of BCS-FACS and a year's subscription to the Formal Aspects of Computing journal. IMPORTANT DATES --------------- * Paper submissions: January 26, 2004. * Notification of paper acceptance: March 1, 2004 * Camera ready papers due: April 5, 2004 * AMAST'2004 Conference: July 12-16, 2004 LOCATION -------- The conference will be held at the University of Stirling http://www.stir.ac.uk/ CONTACT ------- For further information, send email to amast@cs.stir.ac.uk --------------------------------------------------------------------- Dr Carron Shankland Email: ces@cs.stir.ac.uk Computing Science & Mathematics Tel: 01786-467444 University of Stirling http://www.cs.stir.ac.uk/~ces Stirling FK9 4LA --------------------------------------------------------------------- -- The University of Stirling is a university established in Scotland by charter at Stirling, FK9 4LA. Privileged/Confidential Information may be contained in this message. If you are not the addressee indicated in this message (or responsible for delivery of the message to such person), you may not disclose, copy or deliver this message to anyone and any action taken or omitted to be taken in reliance on it, is prohibited and may be unlawful. In such case, you should destroy this message and kindly notify the sender by reply email. Please advise immediately if you or your employer do not consent to Internet email for messages of this kind. From rrosebru@mta.ca Wed Jan 7 17:02:30 2004 -0400 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Wed, 07 Jan 2004 17:02:30 -0400 Received: from Majordom by mailserv.mta.ca with local (Exim 4.10) id 1AeKkH-0006hX-00 for categories-list@mta.ca; Wed, 07 Jan 2004 16:57:41 -0400 Message-Id: Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Date: Wed, 7 Jan 2004 13:07:13 +0100 To: categories@mta.ca From: kock Subject: categories: New and old preprint available Sender: cat-dist@mta.ca Precedence: bulk Status: O X-Status: X-Keywords: X-UID: 4 A new and an old preprint available. The new preprint is: "Envelopes - notion and definiteness", Aarhus Preprint Series No. 12 (2003), http://www.imf.au.dk/publications/matppt/2003/12.pdf Abstract: We examine critically some of the existing descriptions of the envelope of a 1-parameter family of surfaces in 3-space. Using the formalism of Synthetic Differential Geometry, the characteristic curves (which make up the envelope) can be described as intersections of 1st order neighbour surfaces. In the classical literature, such a description is presented as having "heuristic" value, only. The old preprint is: "Postulated colimits and left exactness of Kan-extensions", Aarhus Preprint Series 1989/90 No. 9. It has never been published, but due to some recent interest in the results, I have digitalized this preprint; it can be obtained from http://home.imf.au.dk/kock/postulated.pdf My Home Page has been improved, and contains now links AND short abstracts for other of my recent articles, including the 2002 version of "Algebra of Principal Fibre Bundles, and Connections" http://www.imf.au.dk/publications/matppt/2003/13.pdf The address of the home page is http://home.imf.au.dk/kock/ Anders Kock From rrosebru@mta.ca Wed Jan 7 17:02:31 2004 -0400 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Wed, 07 Jan 2004 17:02:31 -0400 Received: from Majordom by mailserv.mta.ca with local (Exim 4.10) id 1AeKkc-0006jH-00 for categories-list@mta.ca; Wed, 07 Jan 2004 16:58:02 -0400 Date: Wed, 7 Jan 2004 17:46:48 +0100 (MET) From: Reiner Haehnle To: dv-alla@cs.chalmers.se Subject: categories: New PhD Positions Department of Computing Science, Chalmers University Message-ID: MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable Sender: cat-dist@mta.ca Precedence: bulk Status: O X-Status: X-Keywords: X-UID: 5 Please pass on to interested students. Apologies for multiple copies. --------------------------------------------------------------------- New PhD Positions (DEADLINE 15 February 2004! See "How to apply" below) Department of Computing Science, Chalmers University of Technology & G=F6teborg University Gothenburg, Sweden http://www.cs.chalmers.se/Cs/ The Department has about 80 researchers, half being faculty members and half PhD students. Our focus is on programming logic, type theory, functional programming, formal methods, distributed and concurrent systems, security, algorithms, bioinformatics, interaction design, and language technology, but research is not restricted to these topics. For more information, see http://www.cs.chalmers.se/Cs/Research. PhD positions are for 5 years. There is no tuition fee. A PhD position is a regular job with social benefits; the salary amounts currently to about 20600 SEK per month in the first year (the exact amount depends on teaching duties, usually 20% of your time). Knowledge of Swedish is not a prerequisite for application. English is our working language for research. Both Swedish and English are used in undergraduate courses. Half of our researchers and PhD students are native Swedes; the rest come from more than 20 different countries. Applicants must have a very good undergraduate degree in Computing Science or in a related subject with a strong Computing Science component. They must also have a strong, documented interest in doing research. You may even apply if you have not yet completed your degree, but expect to do so by 1 September 2004. You are also invited to apply for our new International Master's Programme in Dependable Computer Systems, which can help you to obtain the necessary qualification, if you do not yet have it (see http://www.cs.chalmers.se/Cs/Education/dcs/). The School especially welcomes female applicants. How to apply ------------ First, immediately register your intention to apply using the electronic application form on the WWW via http://www.cs.chalmers.se/~reiner/PhD/phd-04-en.thtml The full application should contain 1 A letter of application, listing specific research interests 2 A curriculum vitae 3 Attested copies of degrees and other certificates 4 Copies of relevant work, for example dissertations or articles, that you have authored or co-authored 5 A description of: a previous teaching experience, documented b previous PhD studies, also in other subjects; state financial support obtained for these, if any c previous work experience 6 Letters of recommendation from your teachers or employers *** You MUST include Letters of Recommendation: we typically get over 100 apps, and it is simple not feasible for us to request individual letters *** If you have financial support of your own (industry job, grant, etc.), please state this fact clearly. It will increase your chances to be accepted considerably, because you need not compete for the limited number of fully financed positions. The reference number of this job opportunity is 1/2004. Send your full application (paper mail - application by email cannot be accepted) to Department of Computing Science School of Computer Science and Engineering Chalmers University of Technology 412 96 Gothenburg Sweden to arrive by 15 February 2004. You will know the result of your application by 1 May 2004. From rrosebru@mta.ca Wed Jan 7 17:02:31 2004 -0400 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Wed, 07 Jan 2004 17:02:31 -0400 Received: from Majordom by mailserv.mta.ca with local (Exim 4.10) id 1AeKi1-0006Nl-00 for categories-list@mta.ca; Wed, 07 Jan 2004 16:55:21 -0400 From: Gaucher Philippe Reply-To: gaucher@pps.jussieu.fr Organization: PPS To: categories@mta.ca Subject: categories: Two announcements Date: Tue, 6 Jan 2004 14:38:42 +0100 User-Agent: KMail/1.5.3 MIME-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: 7bit Content-Disposition: inline Message-Id: <200401061438.42970.gaucher@pps.jussieu.fr> X-Miltered: at shiva.jussieu.fr by Joe's j-chkmail ("http://j-chkmail.ensmp.fr")! X-Antivirus: scanned by sophie at shiva.jussieu.fr Sender: cat-dist@mta.ca Precedence: bulk Status: O X-Status: X-Keywords: X-UID: 6 Dear all, I wish you an happy new year 2004. Here are two announcements: One new preprint: Title: S-homotopy as an analogue of homotopy of spaces Abstract: We check that there exists a structure of model category on the category of flows whose weak equivalences are the S-homotopy equivalences. This model structure is simplicial, but not topological. Url: ArXiv math.AT/0401033 or http://www.pps.jussieu.fr/~gaucher/ ---------------------------------------------------------------------------------------------------- One new version of another preprint: Title: Homotopy branching space and weak dihomotopy Comments: new results about globular complexes added ; one technical proof posponed to the appendix Url: ArXiv math.AT/0304112 or http://www.pps.jussieu.fr/~gaucher/ pg. From rrosebru@mta.ca Wed Jan 7 17:02:31 2004 -0400 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Wed, 07 Jan 2004 17:02:31 -0400 Received: from Majordom by mailserv.mta.ca with local (Exim 4.10) id 1AeKjX-0006cw-00 for categories-list@mta.ca; Wed, 07 Jan 2004 16:56:55 -0400 Message-Id: Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Date: Wed, 7 Jan 2004 11:08:31 +0100 To: categories@mta.ca From: Marco Grandis Subject: categories: Preprint: Inequilogical spaces, directed homology and noncommutative geometry Sender: cat-dist@mta.ca Precedence: bulk Status: O X-Status: X-Keywords: X-UID: 7 The following preprint is available. It is a sequel of my previous work on the homology of equilogical spaces, announced in November. M. Grandis Inequilogical spaces, directed homology and noncommutative geometry Dip. Mat. Univ. Genova, Preprint 494 (2004), 22 p. Abstract. We introduce a preordered version of D. Scott's equilogical spaces, called *inequilogical spaces*, as a possible setting for Directed Algebraic Topology. The new structure can also express 'formal quotients' of spaces, which are not topological spaces and are of interest in noncommutative geometry, with finer results than the ones obtained with equilogical spaces, in a previous paper. This setting is compared with other structures which have been recently used for Directed Algebraic Topology: spaces equipped with an order, or a local order, or distinguished paths or distinguished cubes. http://www.dima.unige.it/~grandis/pEql.pdf http://www.dima.unige.it/~grandis/pEql.ps ________________ Marco Grandis Dipartimento di Matematica Universita` di Genova via Dodecaneso 35 16146 GENOVA, Italy e-mail: grandis@dima.unige.it tel: +39.010.353 6805 fax: +39.010.353 6752 http://www.dima.unige.it/~grandis/ From rrosebru@mta.ca Fri Jan 9 09:44:14 2004 -0400 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Fri, 09 Jan 2004 09:44:14 -0400 Received: from Majordom by mailserv.mta.ca with local (Exim 4.10) id 1Aewrl-0001JL-00 for categories-list@mta.ca; Fri, 09 Jan 2004 09:39:57 -0400 Date: Thu, 8 Jan 2004 15:15:31 -0800 (PST) From: Galchin Vasili Subject: categories: Question about the internal language of a topos To: categories@mta.ca 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: 8 Hello Cat Community, Is the internal language of a topos E capable of expressing metamathematical statements like "arrow J is a subobject of the object X"? Kind regards, Bill Halchin From rrosebru@mta.ca Fri Jan 9 14:28:02 2004 -0400 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Fri, 09 Jan 2004 14:28:02 -0400 Received: from Majordom by mailserv.mta.ca with local (Exim 4.10) id 1Af1L7-0004QN-00 for categories-list@mta.ca; Fri, 09 Jan 2004 14:26:33 -0400 Date: Fri, 9 Jan 2004 14:15:42 -0400 (AST) From: Bob Rosebrugh To: categories Subject: categories: TAC Contents: Volume 11 Message-ID: MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII Sender: cat-dist@mta.ca Precedence: bulk Status: RO X-Status: X-Keywords: X-UID: 9 The table of contents of Volume 11 and subscription information for the journal Theory and Applications of Categories is below. This is to also draw attention to the series Reprints in Theory and Applications of Categories where three items have been re-published as noted below. The journal and reprints are available from www.tac.mta.ca/tac/ Reprints in Theory and Applications of Categories 1. Metric spaces, generalized logic and closed categories F. W. Lawvere 2. Triples, Algebras and Cohomology Jonathan Mock Beck 3. Abelian Categories Peter Freyd THEORY AND APPLICATIONS OF CATEGORIES ISSN 1201-561X Volume 11 - 2003 1. Categorical models and quasigroup homotopies George Voutsadakis, 1-14 2. Morphisms and modules for poly-bicategories J.R.B. Cockett, J. Koslowski, and R.A.G. Seely, 15-74 3. The branching nerve of HDA and the Kan condition Philippe Gaucher, 75-106 4. Isomorphisms between left and right adjoints H. Fausk, P. Hu, and J.P. May, 107-131 5. The Wirthmuller isomorphism revisited J.P. May, 132-142 6. Characterization of protomodular varieties of universal algebras Dominique Bourn and George Janelidze, 143-147 7. Resolutions by polygraphs Franois Mtayer, 148-184 8. Cubical sets and their site Marco Grandis and Luca Mauri, 185-211 9. Characterization of pointed varieties of universal algebras with normal projections Zurab Janelidze, 212-214 10. Some algebraic applications of graded categorical group theory A.M. Cegarra and A.R. Garzon, 215-251 11. Continuous categories revisited J. Adamek, F. W. Lawvere, J. Rosicky, 252-282 12. Ring epimorphisms and C(X) Michael Barr, W.D. Burgess and R. Raphael, 283-308 13. Partial toposes Jean Benabou and Thomas Streicher, 309-320 14. Some calculus with extensive quantities: wave equation Anders Kock and Gonzalo E. Reyes, 321-336 15. Exponentiability in categories of lax algebras Maria Manuel Clementino, Dirk Hofmann and Walter Tholen, 337-352 16. The category of opetopes and the category of opetopic sets Eugenia Cheng, 353-374 17. Modules J.R.B. Cockett, J. Koslowski, R.A.G. Seely, and R.J. Wood, 375-396 18. Symmetric monoidal completions and the exponential principle among labeled combinatorial structures Matias Menni, 397-419 19. Composition-representative subsets Gary Griffing, 420-437 20. The strong amalgamation property and (effective) codescent morphisms Dali Zangurashvili, 438-449 SUBSCRIPTION/ACCESS TO ARTICLES Subscribers to the journal receive abstracts of accepted papers by electronic mail. Compiled TeX (.dvi), Postscript and PDF files of the full articles are available by Web/ftp. To subscribe, send a request to tac@mta.ca, including your name and a postal address. The journal is free to individuals. From rrosebru@mta.ca Mon Jan 12 08:28:32 2004 -0400 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Mon, 12 Jan 2004 08:28:32 -0400 Received: from Majordom by mailserv.mta.ca with local (Exim 4.10) id 1Ag14S-0005z7-00 for categories-list@mta.ca; Mon, 12 Jan 2004 08:21:28 -0400 Mime-Version: 1.0 X-Sender: awodey@cyrus.andrew.cmu.edu Message-Id: Date: Sat, 10 Jan 2004 16:39:43 -0500 To: categories@mta.ca From: Steve Awodey Subject: categories: ASL-MFPS Session Content-Type: text/plain; charset="us-ascii" ; format="flowed" Sender: cat-dist@mta.ca Precedence: bulk Status: O X-Status: X-Keywords: X-UID: 10 Dear Colleagues, There will be a special session on "Logical foundations of programming semantics" at the up-coming joint Association for Symbolic Logic - Mathematical Foundations of Programming Semantics meeting, to be held at Carnegie Mellon University, May 19 - 23 - 26, 2004. For more information see: http://www.aladdin.cs.cmu.edu/asl/ http://www.aslonline.org/Meetings.htm http://www.math.tulane.edu/MFPS.html Please let me know if you might be interested in giving a talk in this session. I don't yet know how many speakers I will have room for, so I can't promise everyone who's interested a slot (although ASL does take essentially all contributed papers in the general sessions). Cheers, Steve Awodey From rrosebru@mta.ca Thu Jan 15 15:42:16 2004 -0400 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Thu, 15 Jan 2004 15:42:16 -0400 Received: from Majordom by mailserv.mta.ca with local (Exim 4.10) id 1AhDId-0000D6-00 for categories-list@mta.ca; Thu, 15 Jan 2004 15:37:03 -0400 From: Alex Simpson To: categories@mta.ca Subject: categories: Preprint: Comparing cartesian closed categories of (core) compactly generated spaces Message-ID: <1074011310.40041caea3c41@mail.inf.ed.ac.uk> Date: Tue, 13 Jan 2004 16:28:30 +0000 (GMT) MIME-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 8bit Sender: cat-dist@mta.ca Precedence: bulk Status: O X-Status: X-Keywords: X-UID: 11 The following preprint may be of interest to some categories readers. --- Comparing cartesian closed categories of (core) compactly generated spaces Martin Escardo, Jimmie Lawson and Alex Simpson It is well known that, although the category of topological spaces is not cartesian closed, it possesses many cartesian closed full subcategories, e.g.: (i) compactly generated Hausdorff spaces; (ii) quotients of locally compact Hausdorff spaces, which form a larger category; (iii) quotients of locally compact spaces without separation axiom, which form an even larger one; (iv) quotients of core compact spaces, which is at least as large as the previous; (v) sequential spaces, which are strictly included in (ii); and (vi) quotients of countably based spaces, which are strictly included in the category (v). We give a simple and uniform proof of cartesian closedness for many categories of topological spaces, including (ii)-(v), and implicitly (i), and we also give a self-contained proof that (vi) is cartesian closed. Our main aim, however, is to compare the categories (i)-(vi), and others like them. When restricted to Hausdorff spaces, (ii)-(iv) collapse to (i); and most non-Hausdorff spaces of interest, such as those which occur in domain theory, are already in (ii). Regarding the cartesian closed structure, finite products coincide in (i)-(vi). Function spaces are characterized as coreflections of both the Isbell and natural topologies. In general, the function spaces differ between the categories, but those of (vi) coincide with those in any of the larger categories (ii)-(v). Finally, the topologies of the spaces in the categories (i)-(iv) are analysed in terms of Lawson duality. http://www.dcs.ed.ac.uk/home/als/Research/comparing.ps.gz http://www.dcs.ed.ac.uk/home/als/Research/comparing.pdf --- Alex Simpson, LFCS, School of Informatics, Univ. of Edinburgh Email: Alex.Simpson@ed.ac.uk Tel: +44 (0)131 650 5113 Web: http://www.dcs.ed.ac.uk/home/als Fax: +44 (0)131 667 7209 From rrosebru@mta.ca Thu Jan 15 15:42:17 2004 -0400 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Thu, 15 Jan 2004 15:42:17 -0400 Received: from Majordom by mailserv.mta.ca with local (Exim 4.10) id 1AhDKR-0000Qg-00 for categories-list@mta.ca; Thu, 15 Jan 2004 15:38:56 -0400 Message-ID: <4006C74B.15F9C427@bangor.ac.uk> Date: Thu, 15 Jan 2004 17:00:59 +0000 From: Ronnie Brown X-Mailer: Mozilla 4.79 [en] (Win98; U) X-Accept-Language: en MIME-Version: 1.0 To: Categories Subject: categories: preprint: A van Kampen theorem for the homotopy double groupoid of a Hausdorff space Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Sender: cat-dist@mta.ca Precedence: bulk Status: O X-Status: X-Keywords: X-UID: 12 Preprint available http://www.informatics.bangor.ac.uk/public/mathematics/research/preprints/04/algtop04.html#04.01 04.01 : BROWN, R., KAMPS, K.H. & PORTER, T. A van Kampen theorem for the homotopy double groupoid of a Hausdorff space Summary: We show that the homotopy double groupoid of a Hausdorff space defined by the authors in a previous paper satisfies a version of the van Kampen theorem, and so is a suitable tool for non abelian, 2-dimensional, local-to-global problems. The methods are analogous to those developed by Brown and Higgins for similar theorems for other higher homotopy groupoids. There is a detailed discussion of commutative cubes in a double category with connections, and a proof of the key result that any composition of commutative cubes is commutative. Ronnie Brown Professor Emeritus R. Brown, Department of Mathematics, University of Wales, Bangor Dean St., Bangor, Gwynedd LL57 1UT, United Kingdom Tel. direct:+44 1248 382474|office: 382681 fax: +44 1248 361429 World Wide Web: home page: http://www.bangor.ac.uk/~mas010/ (Links to survey articles: Higher dimensional group theory Groupoids and crossed objects in algebraic topology) Centre for the Popularisation of Mathematics: http://www.cpm.informatics.bangor.ac.uk/ (reorganised site with new sculpture animations) From rrosebru@mta.ca Sun Jan 18 13:59:19 2004 -0400 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Sun, 18 Jan 2004 13:59:19 -0400 Received: from Majordom by mailserv.mta.ca with local (Exim 4.10) id 1AiH9O-0006DI-00 for categories-list@mta.ca; Sun, 18 Jan 2004 13:55:54 -0400 From: J=FCrgen Koslowski Message-Id: <200401181021.i0IAL7f27742@lxt5.iti.cs.tu-bs.de> Subject: categories: revised preprint: A monadic approach to polycategories To: categories@mta.ca (categories list) Date: Sun, 18 Jan 2004 11:21:07 +0100 (CET) MIME-Version: 1.0 Content-Type: text/plain; charset=3Dus-ascii Content-Transfer-Encoding: 7bit Sender: cat-dist@mta.ca Precedence: bulk Status: O X-Status: X-Keywords: X-UID: 13 Dear Colleagues, Belated best wishes for 2004! A substantially revised (and improved ;-) version of my CTCS02 paper "A monadic approach to polycategories" is available on my WEB-page: http://www.iti.cs.tu-bs.de/TI-INFO/koslowj/RESEARCH/Moapp.ps.gz The abstact is appended below. -- Juergen Koslowski %% Abstract for: A monadic approach to polycategories Polycategories should form a rather natural generalization of multicategories: besides the domains also the codomains of morphisms are allowed to be strings of objects. But while small multicategories can be elegantly characterized as monoids in a bicategory of set-spans with free set-monoids as domains, no such description of small polycategories seems to have been known so far. To address this problem, we first investigate distributive laws in the sense of Beck between cartesian monads S and T on a category X with pullbacks. Some ot these can serve as tools for constructing new bicategories of S-T-spans over X, and monoids in such bicategories should be viewed as S-T-categories. We identify a class of ``super-cartesian'' distributive laws that indeed produce such bicategories in a straightforward manner. However, if S and T coincide with the free monoid monad (_)^* on set, there is no distributive law to get this construction off the ground. Since polycategories display a high degree of symmetry, a more symmetric substitute for distributive laws would be desirable. If we decompose (_)^* into the free semigroup monad and the exception monad, a relation on (_)^{**} can be defined by means of three super-cartesian distributive laws that still allows us to construct a bicategory of (_)^*-}(_)^*-spans. Its monoids turn out to be precisely the small planar polycategories. General polycategories, as introduced by Szabo, require a different construction and a span instead of a relation. However, only the notion of planar polycategory admits a 2-dimensional generalization, where objects are replaced by typed 1-cells. The resulting ``fc polycategories'' have essentially the same characterization as planar polycategories, but over the base grph rather than set. In view of other shortcomings of Szabo's general concept this suggests that the planar variant of polycategories may be the ``correct'' generalization of multicategories. One of the three distributive laws used in the construction above behaves like a ``complementation'' on the free semigroup monad and seems to be new. We identify its algebras as associative double semigroups. In fact, the free such structure on a set B can be extended from B^{++} to an associative double monoid structure on B^{**}. We then turn to the fundamental question, which spans between TS and ST correctly generalize (super-cartesian) distributive laws and provide an essentially associative composition for S-T-spans over X with canonical units. This contrasts with Elisabeth Burroni's approach [BurroniE73], who weakened the notion of associativity for her notion of D-categories in order to encompass the non-cartesian power-set monad. Our definition of (super-cartesian) generalized distributive law is best formulated in the fc-multicategory of spans and morphisms in [X,X]; this clarifies the notion of (super-cartesian) distributive law and justifies the added generality. Finally, we show how by first quotienting the bicategory X-spn the constructions outlined above can be used even for weakly cartesian monads . In particular this applies to the free commutative monoid monad, which fails to be cartesian. We than adapt the construction for planar polycategories to obtain symmetric polycategories in a similar fashion. --=20 Juergen Koslowski If I don't see you no more on this world ITI, TU Braunschweig I'll meet you on the next one koslowj@iti.cs.tu-bs.de and don't be late! http://www.iti.cs.tu-bs.de/~koslowj Jimi Hendrix (Voodoo Child, SR) From rrosebru@mta.ca Wed Jan 21 09:41:22 2004 -0400 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Wed, 21 Jan 2004 09:41:22 -0400 Received: from Majordom by mailserv.mta.ca with local (Exim 4.10) id 1AjIYD-0003Gg-00 for categories-list@mta.ca; Wed, 21 Jan 2004 09:37:45 -0400 Message-ID: <400D4D8D.9050903@itu.dk> Date: Tue, 20 Jan 2004 16:47:25 +0100 From: Thomas Hildebrandt User-Agent: Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.0.2) Gecko/20030208 Netscape/7.02 X-Accept-Language: en-us, en MIME-Version: 1.0 To: categories@mta.ca Subject: categories: 2nd CFP: Category Theory and Computer Science (CTCS'04), Graduate Student Summer School and CMCIM Workshop Content-Type: text/plain; charset=us-ascii; format=flowed Content-Transfer-Encoding: 7bit X-Virus-Scanned: by amavisd-new at itu.dk Sender: cat-dist@mta.ca Precedence: bulk Status: O X-Status: X-Keywords: X-UID: 14 10th CONFERENCE ON CATEGORY THEORY AND COMPUTER SCIENCE (CTCS'04) AUGUST 12-14, 2004 AND FIRST GRADUATE STUDENT SUMMER SCHOOL AUGUST 9-11, 2004 AND (new!) 3rd WORKSHOP ON CATEGORICAL METHODS FOR CONCURRENCY, INTERACTION AND MOBILITY (CMCIM 2004) AUGUST 11, 2004 IT University of Copenhagen (ITU) Copenhagen, Denmark SECOND CALL FOR PAPERS and CALL FOR PARTICIPATION --------------------------------------------------------------------------- IMPORTANT DATES April 9th, 2004: CTCS Submission deadline June 1st, 2004: CTCS Notification of authors of accepted papers July 1st, 2004: CTCS Registration deadline, and Revised papers due ---------------------------------------------------------------------------- CTCS'04 is the 10th Conference on Category Theory and Computer Science. The purpose of the conference series is the advancement of the foundations of computing using the tools of category theory. The emphasis is upon applications of category theory, but it is recognized that the area is highly interdisciplinary. Typical topics of interest include, but are not limited to, category-theoretic aspects of the following: coalgebras and computing concurrent and distributed systems constructive mathematics declarative programming and term rewriting domain theory and topology foundations of computer security linear logic modal and temporal logics models of computation program logics, data refinement, and specification programming language semantics type theory Previous meetings have been held in Guildford (Surrey), Edinburgh (twice), Manchester, Paris, Amsterdam, Cambridge, S. Margherita Ligure (Genova), and Ottawa. The proceedings of the conference will be published as a special issue of ENTCS (Electronic Notes in Theoretical Computer Science). Invited Speakers: Francois Bergeron Martin Hyland Robin Milner Andrew Pitts Thomas Streicher PROGRAMME COMMITTEE: Lars Birkedal, Chair (IT University of Copenhagen) Marcelo Fiore (University of Cambridge) Masahito Hasegawa (Kyoto University) Bart Jacobs (University of Nijmegen) Ugo Montanari (University of Pisa) Valeria de Paiva (Palo Alto Research Center) Dusko Pavlovic (Kestrel Institute) John Power (University of Edinburgh) Edmund Robinson (Queen Mary, University of London) Peter Selinger (University of Ottawa) ORGANIZING COMMITTEE E. Moggi, Chair, (Genova) S. Abramsky (Oxford) P. Dybjer (Chalmers) B. Jay (Sydney) A. Pitts (Cambridge) LOCAL ORGANIZING COMMITTEE C. Butz T. Hildebrandt A.L. Moerk SUBMISSION OF PAPERS Papers should be submitted, preferably in electronic form, to ctcs04@itu.dk. Papers are limited to 15 pages, and must be submitted in dvi, postscript, or pdf format, possibly gzipped and/or uuencoded, or sent as a standard email attachment. All submissions must be received by April 9th, 2004. If you cannot submit your paper electronically, please contact the program chair at ctcs04@itu.dk. SUMMER SCHOOL Inspired by the success of the graduate student preconference of CTCS'02 in Ottawa, the CTCS of this year will have a similar event: A summer school from August 9-11. The goal is to prepare students - both graduate and undergraduate, with basic knowledge of category theory - for CTCS, through mini-courses in the basic areas underlying some of the fields of the conference. The school will offer the following mini-courses (5 lectures): * Stone Duality, Coalgebras, and Modal Logic (Lecturer: Alexander Kurz) * Game Semantics (Lecturer: Guy McCusker) * Operational Semantics (Lecturer: Pawel Sobocinski) * Categorical Models for Concurrency (Lecturer: Thomas Hildebrandt) CMCIM WORKSHOP (new) In between the summer school and the CTCS conference, August 11th, there will be a half-day workshop on Categorical Methods in Concurrency, Interaction and Mobility. The workshop has previously been held in connection with CONCUR 2002 and CONCUR 2003. We invite submissions of extended abstracts (less than 5 pages), presenting recent results, challenges or work in progress. There will be no formal proceedings of the workshop, informal proceedings will be distributed at the workshop. Thus, accepted material may be published elsewhere at a later date. Workshop participation is free, but requires registration before 1st of July, by sending an email to hilde@itu.dk, containing `CMCIM2004-registration' in the subject, and your full name and affiliation in the body. Submissions should be sent before 21th of June, as PostScript files to: hilde@itu.dk, containing `CMCIM-submission' in the subject, and in the body the full names of the author(s), title, and a text-only abstract. Workshop Organizers: Thomas Hildebrandt Alexander Kurz STUDENT GRANTS (new) A limited number of grants is available for funding the stay of international students at a nearby youth hostel during the summer school and conference. CONFERENCE, SUMMER SCHOOL and WORKSHOP HOMEPAGE Updated information is available from http://www.itu.dk/research/theory/ctcs2004/ (Information about student grants and suggested accommodation will appear soon....) SPONSORSHIP The conference and summer school are APPSEM-II events, sponsored by the FIRST graduate school (www.first.dk) and the Theory Department at the IT University of Copenhagen (www.itu.dk/English/research/theory/ From rrosebru@mta.ca Wed Jan 21 09:41:22 2004 -0400 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Wed, 21 Jan 2004 09:41:22 -0400 Received: from Majordom by mailserv.mta.ca with local (Exim 4.10) id 1AjIXZ-0003E8-00 for categories-list@mta.ca; Wed, 21 Jan 2004 09:37:05 -0400 From: Marcus Kracht Reply-To: kracht@humnet.ucla.edu Organization: UCLA To: categories Subject: categories: NASSLLI04 Last Call for Proposals Date: Mon, 19 Jan 2004 08:59:31 -0800 User-Agent: KMail/1.5.1 MIME-Version: 1.0 Content-Disposition: inline Message-Id: <200401182021.16348.kracht@humnet.ucla.edu> Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: 7bit Sender: cat-dist@mta.ca Precedence: bulk Status: O X-Status: X-Keywords: X-UID: 15 [Apologies for multiple postings.] NASSLLI04 June 21-25, UCLA, Los Angeles (North American Summer School in Logic, Language and Information 2004) Last CALL for PROPOSALS Deadline: January 31, 2004 The third NASSLLI (after a successful start with NASSLLI02 in Stanford and NASSLLI03 in Bloomington) will be held at UCLA, June 21 - 25, 2004. The summer school will consist of a number of courses and workshops, selected on the basis of the proposals. Proposals are invited that present interdisciplinary work between the areas of logic, linguistics, computer science, philosophy and artificial intelligence, though work in just one area is within the scope of the summer school if it can be applied in other fields. Submission Details: Submissions should indicate 1) person(s) and affiliation 2) type of event (one week course or workshop, 2 hours a day) 3) an outline of the course up to 500 words 4) an indication of whether special equipment is needed to teach that course (beamer, computer ...) 5) a statement about the instructor's experience in teaching in interdisciplinary settings 6) expected costs (whether you want to be paid hotel and/or travel, or whether you are able to find funding) Final Material: We expect material for the actual courses at least *one month* ahead of the conference if hardcopies of any material are to be made available by us. Financial Details: A course may be taught by one or two persons. Conference fees are waived for all instructors. However, we are only able to pay for the full travel and expenses of one instructor per course. If two persons are lecturing, they may share a lump sum paid for both. Workshops are more complicated, and a proposal for a workshop should include a plan to obtain some outside funding for the speakers. Deadline for submission: January 31, 2004 Program Committee: Dominique Sportiche, UCLA, chair Mai Gehrke, New Mexico State University John Horty, University of Maryland Mark Johnson, Brown University Phokion Kolaitis, UC Santa Cruz Marcus Kracht, UCLA Philippe Schlenker, UCLA & Institut Jean-Nicod Bart Selman, Cornell University Ed Stabler, UCLA Web site: News will be posted at http://www.linguistics.ucla.edu/nassllli04/ Inquiries can be sent to the following email address: kracht@humnet.ucla.edu and: Marcus Kracht Department of Linguistics UCLA 3125 Campbell Hall PO Box 951543 405 Hilgard Avenue Los Angeles, CA 90095-1543 kracht@humnet.ucla.edu From rrosebru@mta.ca Wed Jan 21 09:41:22 2004 -0400 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Wed, 21 Jan 2004 09:41:22 -0400 Received: from Majordom by mailserv.mta.ca with local (Exim 4.10) id 1AjIYj-0003Ld-00 for categories-list@mta.ca; Wed, 21 Jan 2004 09:38:17 -0400 From: Massimo Felici Date: Tue, 20 Jan 2004 16:45:35 GMT MIME-Version: 1.0 To: categories@mta.ca Subject: categories: ETAPS 2005: CALL FOR SATELLITE EVENT PROPOSALS Message-ID: <60694_31984_1074617135_1@crowdie.dcs.ed.ac.uk> Content-ID: <60694_31984_1074617135_2@crowdie.dcs.ed.ac.uk> Content-type: text/plain Sender: cat-dist@mta.ca Precedence: bulk Status: O X-Status: X-Keywords: X-UID: 16 [With apologies for multiple copies] ------------------------------------------------------------------- ETAPS 2005: CALL FOR SATELLITE EVENT PROPOSALS ------------------------------------------------------------------- ETAPS 2005 European Joint Conferences on Theory And Practice of Software 2-10 April 2005 Edinburgh, Scotland, United Kingdom http://www.etaps05.inf.ed.ac.uk -- ABOUT ETAPS -- The European Joint Conferences on Theory and Practice of Software (ETAPS) is the primary European forum for academic and industrial researchers working on topics relating to Software Science. ETAPS is an annual event which takes place in Europe each spring since 1998. The eighth meeting, ETAPS 2005, will take place 2-10 April 2005 in Edinburgh, Scotland, hosted by the University of Edinburgh. The main conferences of ETAPS are: - FOSSACS: Foundations of Software Science and Computation Structures - FASE: Fundamental Approaches to Software Engineering - ESOP: European Symposium on Programming - CC: International Conference on Compiler Construction - TACAS: Tools and Algorithms for the Construction and Analysis of Systems These conferences will take place 4-8 April 2005. -- SATELLITE EVENTS -- The ETAPS 2005 Organizing Committee invites proposals for Satellite Events that will complement the main ETAPS conferences. They should fall within the scope of ETAPS. This encompasses all aspects of the system development process, including specification, design, implementation, analysis and improvement, as well as the languages, methodologies and tools which support these activities, covering a spectrum from practically-motivated theory to soundly-based practice. Satellite Events provide an opportunity to discuss and report on emerging research approaches and practical experience relevant to theory and practice of software. ETAPS 2005 Satellite Events will be held immediately before and after the main conferences, on 2-3 and 9-10 April 2005. -- SUBMISSION OF SATELLITE EVENT PROPOSALS -- Researchers and practitioners wishing to organise Satellite Events are invited to submit proposals in ASCII, PDF or Postscript format by e-mail to the Satellite Events Chair, Massimo Felici, massimo.felici@ed.ac.uk A proposal should not exceed two pages and should include: - Satellite Event name / acronym - the names and contact information of the organizers - the preferred period: 2-3 or 9-10 April - the duration of the workshop: one-day or two-day event - 120-word description of the workshop topic for later use in publicity material - a brief explanation of the workshop topic and its relevance to ETAPS - a schedule for paper submission, notification of acceptance, and final versions (which should be no later than 18 February 2005) - expected number of participants - any other relevant information, e.g., event format, invited speakers, publication policy, demo sessions, special space requirements, etc. The proposals will be evaluated by the ETAPS 2005 organizing committee on the basis of their assessed benefit for prospective participants to ETAPS 2005. The titles and brief information about accepted Satellite Events will be included in the ETAPS 2005 web site, call for papers and call for participation. Satellite Events organizers will be responsible for - producing the event's call for papers and call for participations - publicising the event through specialist mailing lists etc. to complement publicity for ETAPS as a whole - hosting and maintaining a web site for the event - reviewing and making acceptance decisions on submitted papers - producing the event proceedings, if any; facilities for printing will be made available by the ETAPS organizers - scheduling workshop activities in consultation with the local organizers Prospective organizers may wish to consult the satellite events, as examples, of ETAPS 2004: http://www.lsi.upc.es/etaps04/ and ETAPS 2003: http://www.mimuw.edu.pl/etaps03/ -- IMPORTANT DATES -- Satellite Event Proposals Deadline: 31 January 2004 Notification of acceptance: 16 February 2004 -- FURTHER INFORMATION AND ENQUIRIES -- http://www.etaps05.inf.ed.ac.uk etaps2005@inf.ed.ac.uk Massimo Felici ETAPS 2005 Satellite Events Chair massimo.felici@ed.ac.uk -- THE HOST CITY -- One of the greenest and most beautiful cities in Europe, Edinburgh annually attracts over 2 million visitors, not just for its architecture, but as a city rich in social, cultural, learning and sporting facilities. Edinburgh is a thriving commercial and financial centre, the site of the new Scottish Parliament and a gateway to the coastline, hills and open country of the Scottish Highlands. Edinburgh is a beautiful, dynamic, prosperous European city that benefits from a unique architectural heritage and a magnificent natural setting. ------------------------------------------------------------------- you received this e-mail via the individual or collective address categories@mta.ca to unsubscribe from ETAPS list: contact etaps2005@inf.ed.ac.uk ------------------------------------------------------------------- From rrosebru@mta.ca Wed Jan 21 09:41:22 2004 -0400 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Wed, 21 Jan 2004 09:41:22 -0400 Received: from Majordom by mailserv.mta.ca with local (Exim 4.10) id 1AjIZJ-0003Nk-00 for categories-list@mta.ca; Wed, 21 Jan 2004 09:38:53 -0400 From: ETAPS 2004 Date: Wed, 21 Jan 2004 10:25:47 +0100 (MET) Message-Id: <200401210925.KAA19847@luxuria.lsi.upc.es> To: categories@mta.ca Subject: categories: ETAPS 2004: CALL FOR PARTICIPATION Sender: cat-dist@mta.ca Precedence: bulk Status: O X-Status: X-Keywords: X-UID: 17 Excuse us if you receive multiple copies of this message. ********************************************************** *** ETAPS 2004 *** *** March 27 - April 4, 2004 *** *** Barcelona, SPAIN *** *** *** *** http://www.lsi.upc.es/etaps04/ *** ********************************************************** The European Joint Conferences on Theory and Practice of Software (ETAPS) is the primary European forum for academic and industrial researchers worki= ng on topics related to Software Science. It is a confederation of five main conferences, a number of satellite workshops and other events. ------------------------------------------------------------------------- 5 Conferences - 22 Satellite Workshops - 1 Tutorial - Tool Demonstrations ------------------------------------------------------------------------- ********************************************************** *** *** *** CALL FOR PARTICIPATION *** *** Early Registration Deadline: February 15, 2004 *** *** *** ********************************************************** ----------------------------------------------------------------------- Conferences ----------------------------------------------------------------------- CC 2004: International Conference on Compiler Construction http://www.research.ibm.com/CC2004/home.html Chair: Evelyn Duesterwald (IBM, USA) duester@us.ibm.com ESOP 2004, European Symposium On Programming http://www.cis.ksu.edu/santos/esop2004/ Chair: David Schmidt (Kansas, USA) schmidt@cis.ksu.edu FASE 2004, Fundamental Approaches to Software Engineering http://ctp.di.fct.unl.pt/~mw/conf/fase04/ Co-Chairs: Tiziana Margaria (Dortmund, Germany) tmargaria@metaframe.de Michel Wermelinger (Lisboa, Portugal) mw@di.fct.unl.pt FOSSACS 2004 Foundations of Software Science and Computation Structures http://www.labri.fr/Perso/~igw/FOSSACS/ Chair: Igor Walukiewicz (Bordeaux, France) igw@labri.fr TACAS 2004, Tools and Algorithms for the Construction and Analysis of Syste= ms http://www.daimi.au.dk/~cpn/tacas04/ Co-Chairs: Kurt Jensen (Aarhus, Denmark) kjensen@daimi.au.dk Andreas Podelski (Saarbr=FCcken, Germany) podelski@mpi-sb.mpg.d= e ----------------------------------------------------------------------- Satellite Workshops ----------------------------------------------------------------------- * AVIS'04 - Third International Workshop on Automatic Verification of Infinite-State Systems Contact: Dr. Ramesh Bharadwaj (ramesh@itd.nrl.navy.mil) URL: http://chacs.nrl.navy.mil/AVIS04 * CMCS 2004 - Coalgebraic Methods in Computer Science 2004 Contact: Jiri Adamek (J.Adamek@tu-bs.de) URL: http://www.iti.cs.tu-bs.de/~cmcs/ * COCV - 3rd International Workshop on Compiler Optimization Meets Compiler Verification Contact: Jens Knoop (Jens.Knoop@FernUni-Hagen.De) URL: http://sunshine.cs.uni-dortmund.de/~knoop/COCV2004/cocv2004.html * CP+CV'04 - Workshop on Constraint Programming and Constraints for Verification Contact: Thom Fruehwirth (Thom.Fruehwirth@informatik.uni-ulm.de) URL: http://www.informatik.uni-ulm.de/pm/mitarbeiter/fruehwirth/cp_etaps= 04.html * DCC - Designing Correct Circuits Contact: Mary Sheeran (ms@cs.chalmers) and Tom Melham (Tom.Melham@comlab.ox.ac.uk) URL: http://www.cs.chalmers.se/~ms/DCC04/ * eTX - eclipse Technology eXchange Contact: Brian Barry (brian@bedarra.com) or Oege de Moor (oege@comlab.ox.ac.uk URL: http://web.comlab.ox.ac.uk/oucl/work/oege.de.moor/etxpage/eclipse.ht= ml * FESCA - Formal Foundation of Embedded Software and Component-based Software Architectures Contact: Juliana K=FCster Filipe (jkfilipe@inf.ed.ac.uk) URL: http://www.csse.monash.edu.au/fesca email: fesca-04@inf.ed.ac.uk * FUSE 2004 - Foundations of Unanticipated Software Evolution Contact: Tom Mens, (Tom.Mens@vub.ac.be) URL: http://joint.org/fuse2004/ * GT-VMT - Graph Transformation and Visual Modelling Techniques Contact: Reiko Heckel URL: http://www.uni-paderborn.de/cs/ag-engels/GT-VMT04 email: gtvmt04@upb.de * INT - Third International Workshop on Integration of Specification Techniques for Applications in Engineering Contact: Hartmut Ehrig (ehrig@cs.tu-berlin.de) and Gunnar Schroeter (schroetg@cs.tu-berlin.de) URL: http://tfs.cs.tu-berlin.de/~gschroet/int04/index.html * LDTA - Fourth Workshop on Language Descriptions, Tools and Applications Contact: Joao Saraiva (jas@di.uminho.pt) URL: http://www.di.uminho.pt/LDTA04 * MBT 2004 - International Workshop on Model-Based Testing Contact: Alexander Kossatchev (kos@ispras.ru) URL: http://www.ispras.ru/news/MBT2004.html * QAPL'04 - 2nd Workshop on Quantitative Aspects of Programming Languages Contact: Alessandra Di Pierro URL: http://qapl04.di.unipi.it/ email: qapl04@di.unipi.it * RV'04 - Fourth Workshop on Runtime Verification Contact: Klaus Havelund (havelund@email.arc.nasa.gov) URL: http://ase.arc.nasa.gov/rv2004 * SC 2004 - Software Composition Contact: Uwe Assmann (uweas@ida.liu.se) URL: http://www.ida.liu.se/~uweas/sc2004 * SFEDL - Semantic Foundations of Engineering Design Languages Contact: Michael Mendler (michael.mendler@wiai.uni-bamberg.de) URL: http://www.uni-bamberg.de/~ba7gi99/sfedl04/ * SLAP 2004 : Synchronous Languages, Applications, and Programs Contact: Florence Maraninchi (Florence.Maraninchi@imag.fr) URL: http://www.inrialpes.fr/pop-art/people/girault/Slap04 * SPIN - 11th International Workshop on Model-Checking of Software Contact: Susanne Graf, Verimag/CNRS (spin04@imag.fr) URL: http://www-verimag.imag.fr/SPIN-2004 * TACoS - Test and Analysis of Component-Based Systems Contact: Mauro Pezz=E8 (pezze@disco.unimib.it) URL: www.lta.disco.unimib.it/tacos * WADT'04 - 17th International Workshop on Algebraic Development Techniques Contact: Peter Mosses (wadt2004@brics.dk) URL: http://www.lsi.upc.es/etaps04/wadt2004/index.html * WITS'04 - Workshop on Issues in the Theory of Security Contact: Peter Y A Ryan (peter.ryan@ncl.ac.uk) URL: http://www.dsi.unive.it/IFIPWG1_7/wits2004.html * WRLA 2004 - 5th International Workshop on Rewriting Logic and its Applications Contact: Narciso Marti-Oliet (narciso@sip.ucm.es) URL: http://www.fdi.ucm.es/wrla2004 email: wrla2004@sip.ucm.es ----------------------------------------------------------------------- Tutorial ----------------------------------------------------------------------- See the Tutorials page at http://www.lsi.upc.es/etaps04 for details ----------------------------------------------------------------------- INVITED SPEAKERS ----------------------------------------------------------------------- Serge Abiteboul, INRIA-Rocquencourt, France Hubert Comon, Cachan, France Robin Milner, Cambridge, UK Peter O'Hearn, London, UK Gruia-Catalin Roman, Washington Univ., USA Mary Lou Soffa, Pittsburgh, USA Antti Valmari, Tampere, Finland ----------------------------------------------------------------------- Tool Demonstrations ----------------------------------------------------------------------- Demonstrations of tools presenting advances on the state of the art have been selected and are integrated in the programmes of the main conferences. Have a look at the Program page at http://www.lsi.upc.es/etaps04 ----------- you received this e-mail via the individual or collective address categories@mta.ca to unsubscribe from ETAPS list: contact etaps04@lsi.upc.es ----------- From rrosebru@mta.ca Wed Jan 21 09:41:22 2004 -0400 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Wed, 21 Jan 2004 09:41:22 -0400 Received: from Majordom by mailserv.mta.ca with local (Exim 4.10) id 1AjIVs-00035W-00 for categories-list@mta.ca; Wed, 21 Jan 2004 09:35:20 -0400 Date: Mon, 19 Jan 2004 13:49:10 GMT Message-Id: <200401191349.i0JDnAq31554@cuillin.inf.ed.ac.uk> X-Authentication-Warning: cuillin.inf.ed.ac.uk: als set sender to als+lics-junk@inf.ed.ac.uk using -f To: LICS List From: Alex Simpson Subject: categories: LICS 2004: Final CFP Reply-To: als+lics-junk@dcs.ed.ac.uk Sender: cat-dist@mta.ca Precedence: bulk Status: O X-Status: X-Keywords: X-UID: 18 The deadlines for submitting to LICS 2004 are approaching: Titles & Short Abstracts Due : January 26, 2004 Extended Abstracts Due : February 2, 2004 ----- FINAL CALL FOR PAPERS Nineteenth Annual IEEE Symposium on LOGIC IN COMPUTER SCIENCE (LICS 2004) July 14th - 17th, 2004, Turku, Finland http://www.lfcs.informatics.ed.ac.uk/lics/ The LICS Symposium is an annual international forum on theoretical and practical topics in computer science that relate to logic in a broad sense. We invite submissions on that theme. Suggested, but not exclusive, topics of interest for submissions include: automata theory, automated deduction, categorical models and logics, concurrency and distributed computation, constraint programming, constructive mathematics, database theory, domain theory, finite model theory, proof theory, formal aspects of program analysis, formal methods, hybrid systems, lambda and combinatory calculi, linear logic, logical aspects of computational complexity, logics in artificial intelligence, logical representation of knowledge, logics of programs, logic programming, modal and temporal logics, model checking, programming language semantics, reasoning about security, rewriting, specifications, type systems and type theory, and verification. Important Dates: Authors are required to submit electronically a paper title and a short abstract of about 100 words before submitting the extended abstract of the paper. Titles & Short Abstracts Due : January 26, 2004 Extended Abstracts Due : February 2, 2004 Author Notification : March 27, 2004 Camera-ready Papers Due : April 25, 2004 All deadlines are firm; late submissions will not be considered. Detailed information about electronic paper submission are available from the LICS website. Submission Instructions: Extended abstracts must be submitted electronically in the IEEE Proceedings two-column camera-ready format. Each abstract must be in English and provide sufficient detail to allow the program committee to assess the merits of the paper. It should begin with a succinct statement of the issues, a summary of the main results, and a brief explanation of their significance and relevance to the conference and to computer science, all phrased for the non-specialist. Technical development directed to the specialist should follow. References and comparisons with related work should be included. Extended abstracts may be no longer than 10 pages including references, and must be formatted in the IEEE Proceedings two-column camera-ready style (IEEE style files are accessible from the LICS website). If necessary, detailed proofs of technical results can be included in a clearly-labelled appendix in the same two-column format following the 10-page extended abstract. This material may be read at the discretion of the program committee. Extended abstracts not conforming to the above requirements concerning format and length may be rejected without further consideration. The results must be unpublished and not submitted for publication elsewhere, including the proceedings of other symposia or workshops. All authors of accepted papers will be expected to sign copyright release forms. One author of each accepted paper will be expected to present it at the conference. Short Presentations: LICS 2004 will have a session of short (5--10 minutes) presentations. This session is intended for descriptions of work in progress, student projects, and relevant research being published elsewhere; other brief communications may be acceptable. Submissions for these presentations, in the form of short abstracts (1 or 2 pages long), should be entered at the LICS 2004 submission site between March 27th and April 4th, 2004. Authors will be notified of acceptance or rejection by April 17th, 2004. Kleene Award for Best Student Paper: An award in honor of the late S.C. Kleene will be given for the best student paper, as judged by the program committee. For a submission to be eligible, the research presented in the paper must have been carried out while all authors were full-time students. The program committee may decline to make the award or may split it among several papers. Affiliated Workshops: As in previous years, there will be a number of workshops affiliated with LICS 2004; information will be posted at the LICS website. Program Chair: Harald Ganzinger MPI Informatik, Saarbruecken, Germany http://www.mpi-sb.mpg.de/~hg/ Program Committee: Rajeev Alur, U. of Pennsylvania Andrew Appel, Princeton U. Albert Atserias, UPC, Barcelona Franz Baader, Dresden U. Samuel Buss, U. of California, San Diego Roberto Di Cosmo, U. de Paris VII Gilles Dowek, Ecole Polytechnique, Paris Harald Ganzinger, MPI, Saarbruecken (chair) Martin Hofmann, LMU Muenchen Achim Jung, U. of Birmingham Kim Larsen, Aalborg U. Leonid Libkin, U. of Toronto Rocco de Nicola, U. di Firenze Damian Niwinski, Warsaw U. Prakash Panangaden, McGill U., Montreal Albert Rubio, UPC, Barcelona Vitaly Shmatikov, SRI International Moshe Vardi, Rice U., Houston Helmut Veith, TU Wien Andrei Voronkov, U. of Manchester Conference Chair: Lauri Hella Department of Math., Stat., and Phil. Kanslerinrinne 1 33014 University of Tampere, Finland Email: lauri.hella@uta.fi Workshops Chair: Phil Scott, U. of Ottawa Email: phil@site.uottawa.ca Publicity Chair: Alex Simpson, U. of Edinburgh Email: Alex.Simpson@ed.ac.uk General Chair: Phokion G. Kolaitis, UC Santa Cruz Email: kolaitis@cse.ucsc.edu Organizing Committee: S. Abramsky, A. Broder, E. Clarke, A. Felty, H. Ganzinger, H. Gabow, J. Halpern, L. Hella, U. Kohlenbach, P. Kolaitis (chair), D. Leivant, G. Longo, H. Mairson, A. Middeldorp, J. Mitchell, M. Nielsen, P. Panangaden, G. Plotkin, F. Pfenning, P. Scott, R. Shore, A. Simpson, I.A. Stewart. Advisory Board: Y. Gurevich, C. Kirchner, D. Kozen, U. Martin, L. Pacholski, V. Pratt, A. Scedrov, M.Y. Vardi, G. Winskel. Sponsorship: The symposium is sponsored by the IEEE Technical Committee on Mathematical Foundations of Computing in cooperation with the Association for Symbolic Logic, and the European Association for Theoretical Computer Science. Invited Speakers: The following distinguished speakers have agreed to give invited talks at LICS 2004 : Samson Abramsky (Oxford U.), Robert Harper (Carnegie Mellon University), Alexander Razborov (IAS, Princeton, and Steklov Math. Inst., Moscow), Davide Sangiorgi (U. di Bologna), Igor Walukiewicz (U. Bordeaux), and Mihalis Yannakakis (Stanford U.). Collocated events: ICALP'04 will be collocated with LICS'04; for details see http://www.math.utu.fi/ICALP04/. From rrosebru@mta.ca Fri Jan 23 13:11:29 2004 -0400 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Fri, 23 Jan 2004 13:11:29 -0400 Received: from Majordom by mailserv.mta.ca with local (Exim 4.10) id 1Ak4lt-0002bJ-00 for categories-list@mta.ca; Fri, 23 Jan 2004 13:07:05 -0400 Date: Wed, 21 Jan 2004 11:22:14 -0500 (EST) From: Peter Freyd Message-Id: <200401211622.i0LGME7g024430@saul.cis.upenn.edu> To: categories@mta.ca Subject: categories: it's official Sender: cat-dist@mta.ca Precedence: bulk Status: O X-Status: X-Keywords: X-UID: 19 Professor Martin Hyland is officially a professor at Cambridge. Congratulations Cambridge! From rrosebru@mta.ca Sun Jan 25 16:16:48 2004 -0400 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Sun, 25 Jan 2004 16:16:48 -0400 Received: from Majordom by mailserv.mta.ca with local (Exim 4.10) id 1Akqbq-00024I-00 for categories-list@mta.ca; Sun, 25 Jan 2004 16:11:54 -0400 Message-ID: <3855-22004102534649927@ISABEL> From: "JELIA'04" To: "categories@mta.ca" Subject: categories: CFP: JELIA'04 - 9th European Conference on Logics in Artificial Intelligence Date: Sun, 25 Jan 2004 03:46:49 -0000 MIME-Version: 1.0 Content-type: text/plain; charset=windows-1252 Content-Transfer-Encoding: quoted-printable X-OriginalArrivalTime: 25 Jan 2004 03:46:47.0525 (UTC) FILETIME=[DB938950:01C3E2F5] Sender: cat-dist@mta.ca Precedence: bulk Status: O X-Status: X-Keywords: X-UID: 20 /------------------------------------------------------------------/ CALL FOR PAPERS 9th European Conference on Logics in Artificial Intelligence JELIA'04 Lisbon, Portugal, September 27-30 http://centria=2Edi=2Efct=2Eunl=2Ept/~jelia2004 Submission deadline: May 9th (abstracts due May 6th) /------------------------------------------------------------------/ INTRODUCTION Logics have, for many years, laid claim to providing a formal basis for the study and development of applications and systems in Artificial Intelligence=2E With the depth and maturity of formalisms, methodologies and logic-based systems today, this claim is stronger than ever=2E The European Conference on Logics in Artificial Intelligence (or Journ=E9es Europ=E9ennes sur la Logique en Intelligence Artificielle - JELIA) began back in 1988, as a workshop, in response to the need for a European forum for the discussion of emerging work in this field=2E Since then, JELIA has been organised biennially, with English as official language, and with proceedings published in Springer-Verlag's Lecture Notes in Artificial Intelligence=2E Previous meetings took place in Roscoff, France (1988), Amsterdam, Netherlands (1990), Berlin, Germany (1992), York, U=2EK=2E (1994), =C9vora, Portugal (1996), Dagstuhl, Germany (1998), M=E1laga, Spain (2000) and Cosenza, Italy (2002)=2E The increasing interest in this forum, its international level with growing participation from researchers outside Europe, and the overall technical quality, has turned JELIA into a major biennial forum for the discussion of logic-based approaches to artificial intelligence=2E AIM AND SCOPE The aim of the 9th European Conference on Logics in Artificial Intelligence, JELIA'04, is to bring together active researchers interested in all aspects concerning the use of logics in artificial intelligence to discuss current research, results, problems and applications of both a theoretical and practical nature=2E JELIA strives to foster links and facilitate cross-fertilisation of ideas among researchers from various disciplines, among researchers from academia and industry, and between theoreticians and practitioners=2E Authors are invited to submit papers presenting original and unpublished research in all areas related to the use of Logics in AI=2E A non-exhaustive list of topics of interest includes: -Abductive and inductive reasoning -Applications of logic-based systems -Automated reasoning and theorem proving -Computational complexity and expressiveness in AI -Description logics -Foundations of logic programming and knowledge-based systems -Hybrid reasoning systems -Knowledge representation and reasoning -Logic based AI systems -Logic based applications to the Semantic Web -Logic based planning and diagnosis -Logic programming and nonmonotonic reasoning -Logics and multi-agent systems -Logics in machine learning -Modal, temporal, spacial and hybrid logics -Non-classical logics -Nonmonotonic reasoning, belief revision and updates -Reasoning about actions, causal reasoning and causation -Uncertain and probabilistic reasoning SUBMISSIONS Papers should be written in English, formatted according to the Springer LNCS style, and not exceed 13 pages including figures, references, etc=2E Please refer to the conference web pages for further instructions concerning the submission procedures=2E IMPORTANT DATES Abstract Submission: May 6th, 2004 Paper Submission: May 9th, 2004 Notification: June 21st, 2004 Camera Ready Copy: July 5th, 2004 PROCEEDINGS Proceedings will be published by Springer-Verlag as a volume of the Lecture Notes on Artificial Intelligence series=2E It is also foreseen the publication of a special issue of a journal collecting extended versions of selected papers presented at the conference=2E SYSTEM PRESENTATIONS There will be a special session devoted to the presentation of implemented systems=2E Please refer to the conference web pages for further information=2E CONFERENCE OFFICIALS Conference Chair: Jo=E3o Leite, Universidade Nova de Lisboa, Portugal Program Chair: Jos=E9 J=FAlio Alferes, Universidade Nova de Lisboa, Portug= al PROGRAM COMMITTEE -Jos=E9 J=FAlio Alferes, Universidade Nova de Lisboa, Portugal -Franz Baader, TU Dresden, Germany -Salem Benferhat, Universit=E9 d'Artois, France -Alexander Bochman, Holon Academic Institute of Technology, Israel -Gerhard Brewka, University of Leipzig, Germany -Walter Carnielli, Universidade Estadual de Campinas, Brazil -Luis Fari=F1as del Cerro, Universit=E9 Paul Sabatier, France -James Delgrande, Simon Fraser University, Canada -J=FCrgen Dix, TU Clausthal, Germany -Roy Dyckhoff, University of St Andrews, UK -Thomas Eiter, TU Wien, Austria -Patrice Enjalbert, Universit=E9 de Caen, France -Michael Fisher, University of Liverpool, UK -Ulrich Furbach, University Koblenz-Landau, Germany -Michael Gelfond, Texas Tech University, USA -Sergio Greco, Universit=E0 della Calabria, Italy -Jo=E3o Leite, Universidade Nova de Lisboa, Portugal -Maurizio Lenzerini, Universit=E0 di Roma "La Sapienza", Italy -Nicola Leone, Universit=E0 della Calabria, Italy -Vladimir Lifschitz, University of Texas at Austin, USA -Maarten Marx, Universiteit van Amsterdam, The Netherlands -John-Jules Meyer, Universiteit Utrecht, The Netherlands -Bernhard Nebel, Universit=E4t Freiburg, Germany -Ilkka Niemel=E4, Helsinki University of Technology, Finland -Manuel Ojeda-Aciego, Universidad de M=E1laga, Spain -David Pearce, Universidad Rey Juan Carlos, Spain -Lu=EDs Moniz Pereira, Universidade Nova de Lisboa, Portugal -Henry Prakken, Universiteit Utrecht, The Netherlands -Luc de Raedt, Universit=E4t Freiburg, Germany -Ken Satoh, National Institute of Informatics, Japan -Renate Schmidt, University of Manchester, UK -Terrance Swift, SUNY at Stony Brook, USA -Mirek Truszczynski, University of Kentucky, USA -Wiebe van der Hoek, University of Liverpool, UK -Toby Walsh, University College Cork, Ireland -Mary-Anne Williams, The University of Technology, Sydney, Australia -Michael Zakharyaschev, King's College, UK CONTACT Send your questions and comments to jelia04@di=2Efct=2Eunl=2Ept From rrosebru@mta.ca Tue Jan 27 11:28:44 2004 -0400 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Tue, 27 Jan 2004 11:28:44 -0400 Received: from Majordom by mailserv.mta.ca with local (Exim 4.10) id 1AlV67-0007jU-00 for categories-list@mta.ca; Tue, 27 Jan 2004 11:25:51 -0400 Date: Mon, 26 Jan 2004 18:15:34 +0100 (CET) From: Simeoni Marta To: categories@mta.ca Subject: categories: CfP: ICGT 2004 Message-ID: MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=X-UNKNOWN Content-Transfer-Encoding: QUOTED-PRINTABLE Sender: cat-dist@mta.ca Precedence: bulk Status: O X-Status: X-Keywords: X-UID: 21 Please apologize if you receive multiple copies of this message. CALL FOR PAPERS ICGT 2004 2nd International Conference on Graph Transformation Roma (Italy), September 28 - October 2, 2004 The second International Conference on Graph Transformation ICGT 2004, along with several satellite events, will be held in Roma at the end of September 2004. It follows the first ICGT 2002 (Barcelona, October 2002) and a series of six international workshops on graph transformation with applications in computer science held from 1978 to 1998 in Europe and the USA. The conference takes place under the auspices of EATCS, EASST, and IFIP WG 1.3. The proceedings will appear in the Lecture Notes in Computer Science series by Springer-Verlag. The conference is co-located with IEEE Symposium on Visual Languages and Human Centric Computing (VL/HCC) September 26-29, 2004. Scope. Graphical structures of various kinds (like graphs, diagrams, visual sentences and others) are very useful to describe complex structures and systems in a direct and intuitive way. These structures are often augmented by formalisms which add to the static description a further dimension modelling the evolution of systems via any kind of transformation of such graphical structures. The field of Graph Transformation is concerned with the theory, applications and implementation issues of all these formalisms. The theory is strongly related to areas such as graph theory and graph algorithms, formal language and parsing theory, theory of concurrency and distributed systems, formal specification and verification, logic and semantics. The application areas include all those fields of Computer Science, Information Processing, Engineering and Natural Sciences. Topics of interest include, but are not limited to, the following. On the more theoretical side: - General models of graph transformation - Node-, edge-, and hyperedge replacement graph grammars - Concurrency, distribution, and formal semantics - Term graph rewriting - Network computing - High-level replacement systems - Hierarchical graphs and decompositions of graphs - Logic expression of graph transformation properties - Graph theoretical properties of graph languages - Geometrical and topological aspects of graph transformation - Automata on graphs and parsing of graph languages - Analysis of graph transformation systems - Structuring and modularization concepts - Semantics of UML and other visual modelling techniques On the more applied side: - Specification languages - Implementation of programming languages - Design of visual programming environments - Massively parallel computing - Bioinformatics - Software engineering and modular systems - Development of meta CASE tools - Software architecture - Information security - Visual languages - Bio-computing - Actor systems and Petri nets - Rule- and knowledge-based systems - Pattern generation and picture processing - Pattern matching - Tool support - Graph exchange formats - Layout algorithms Invited speakers. Andy Evans (York, UK) Margaret-Anne Storey (Victoria, BC Canada) (joint speaker with VL/HCC) Program committee. M.Bauderon (FR), D.Blostein (CA), A.Corradini (IT), H.Ehrig (DE), G.Engels (co-chair; DE), R.Heckel (DE), D.Janssens (BE), H.-J.Kreowski (DE), B.Koeni= g (DE), B.Meyer (AU), U.Montanari (IT), M.Nagl (DE), F.Orejas (ES), F.Parisi-Presicce (co-chair; USA/IT), M.Pezz=E8 (IT), J.Pfaltz (USA), R.Plasmeijer (NL), D.Plump (UK), L.Ribeiro (BR), G.Rozenberg (NL), A.Sch=FC= rr (DE), G.Taentzer (DE), G.Tortora (IT), G.Valiente (ES) Important dates. Submission of title and abstract: April 19, 2004 Submission of complete paper: April 26, 2004 Notification of acceptance: June 15, 2004 Final version due: June 30, 2004 Main conference: September 29 -- October 1, 200= 4 Conference including satellite events: September 28 -- October 2, 200= 4 General organizing committee. Paolo Bottoni (Roma, Italy), Hartmut Ehrig (chair; Berlin, Germany), Gregor Engels (Paderborn, Germany), Francesco Parisi-Presicce (Roma, Italy)= , Grzegorz Rozenberg (Leiden, The Netherlands) Local organizing committee. Paolo Bottoni (chair), Francesco Parisi-Presicce, Marta Simeoni (publicity chair) More details concerning ICGT 2004 including the main conference, satellite events, the procedure for the submission of papers, local information on th= e conference site, and travel information can be found on the website of ICGT 2004, http://icgt2004.dsi.uniroma1.it For further information, you may also contact Paolo Bottoni (bottoni@dsi.uniroma1.it), Gregor Engels (engels@uni-paderborn.de) or Francesco Parisi-Presicce (parisi@dsi.uniroma1.it / fparisip@gmu.edu) Conference address. ICGT 2004 Francesco Parisi-Presicce / Paolo Bottoni Universit=E0 degli Studi di Roma La Sapienza Dipartimento di Informatica Via Salaria 113 (III piano), I-00198 Roma, Italy Tel: +39 06 4991-8426, Fax: +39 06 8541842 Satellite events. GRA-TRA TUTORIAL Tutorial on Foundations and Applications of Graph Transformation Date: Sept. 28 (afternoon) Organizers, contact and further information: Luciano Baresi (Milano, Italy, baresi@elet.polimi.it), Reiko Heckel (Paderborn, Germany, reiko@upb.de) http://www.upb.de/cs/ag-engels/Conferences/ICGT04/Tutorial DNA & GRA-TRA 2004 Tutorial on DNA Computing and Graph Transformation Date: Sept. 28 (all day) Organizers: Tero Harju (Turku, Finland), Ion Petre (Turku, Findland), Grzegorz Rozenberg (Leiden, The Netherlands) Contact and further information: rozenber@liacs.nl PETRI NETS and GRAPH TRANSFORMATIONS 2004 Workshop on relationships between Petri nets and graph rewriting Date: Oct. 1 (afternoon) -2 (morning) Organizers: Grzegorz Rozenberg (Leiden, The Netherlands), Hartmut Ehrig (Berlin, Germany), Julia Padberg (Berlin, Germany) Contact and further information: padberg@cs.tu-berlin.de TERMGRAPH 2004 International Workshop on Term Graph Rewriting Date: Oct. 2 Organizers, contact and further information: Maribel Fernandez (London, UK, maribel@dcs.kcl.ac.uk), Andrea Corradini (Pisa, Italy, andrea@di.unipi.it) http://www.dcs.kcl.ac.uk/staff/maribel/TERMGRAPH.html GraBaTs 2004 International Workshop on Graph-Based Tools Date: Oct. 1-2 Organizers: Tom Mens (Brussels, Belgium), Andy Sch=FCrr (Munich, Germany), Gabriele Taentzer (Berlin, Germany) Contact and further information: gabi@cs.tu-berlin.de http://tfs.cs.tu-berlin.de/grabats LOGIC, GRAPH TRANSFORMATIONS, FINITE AND INFINITE STRUCTURES Workshop with invited lectures and short contributions Date: Oct. 1 (afternoon) - Oct. 2 Organizers: Bruno Courcelle (Bordeaux, France), David Janin (Bordeaux, Fran= ce) Contact and further information: courcell@labri.fr, http://www.labri.fr/Perso/~courcell/LogicIcgt.html SOFTWARE EVOLUTION 2nd Workshop on Software Evolution through Transformations: Model-based vs. Implementation-level Solutions Date: Oct. 2 Organizers: Reiko Heckel (Paderborn, Germany), Dirk Janssens (Antwerp, Belgium), Tom Mens (Brussels, Belgium), Michel Wermelinger (Lisboa, Portugal) Contact and further information: reiko@upb.de http://www.upb.de/cs/ag-engels/Conferences/ICGT04/SET04/ From rrosebru@mta.ca Tue Jan 27 11:28:44 2004 -0400 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Tue, 27 Jan 2004 11:28:44 -0400 Received: from Majordom by mailserv.mta.ca with local (Exim 4.10) id 1AlV7J-00005g-00 for categories-list@mta.ca; Tue, 27 Jan 2004 11:27:05 -0400 Mime-Version: 1.0 X-Sender: kock@pop.math.uqam.ca Message-Id: Date: Mon, 26 Jan 2004 16:50:07 -0500 To: categories@mta.ca From: Joachim Kock Subject: categories: Book announcement: Frobenius algebras & 2D TQFTs Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable X-MIME-Autoconverted: from 8bit to quoted-printable by antivirus.uqam.ca id i0QLo2dm025462 Sender: cat-dist@mta.ca Precedence: bulk Status: RO X-Status: X-Keywords: X-UID: 22 Dear categorists, this is to announce the availability of my book Joachim Kock Frobenius algebras and 2D topological quantum field theories LMSST 59, Cambridge (see http://books.cambridge.org/0521832675.htm). It's a rather long account of the 'folk theorem' that 2D topological quantum field theories are the same thing as commutative Frobenius algebras, as well as the more general fact that the category of oriented = 2D cobordisms is (equivalent to) the free symmetric monoidal category on a commutative Frobenius object. The novelty is mostly the idea of explaining all this to undergraduates, using it as an 'excuse' for doing category theory. In fact, the book can as well be seen as an introduction to monoidal categories and categorical viewpoints, and aims also at giving the young reader an impression of uni= ty in mathematics, with a very close interplay between algebra and topology. For the expert readership of this mailing list, perhaps the amount of details presented in the book will be boring at times, but in any case I think you will enjoy the more than 200 figures, before passing on the boo= k to your students... Cheers, Joachim. --------------------------------------------------------------- Joachim Kock D=E9partement de math=E9matiques -- Universit=E9 du Qu=E9bec =E0 Montr=E9= al Case postale 8888, succursale centre-ville Montr=E9al (Qu=E9bec), H3C 3P8 -- Canada ---------------------------------------------------------------