From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/2202 Path: news.gmane.org!not-for-mail From: "A.Kurz" Newsgroups: gmane.science.mathematics.categories Subject: Workshop on categorical methods for concurrency.... Date: Mon, 24 Feb 2003 16:36:10 +0000 Message-ID: <3E5A49FA.2000005__13509.752348955$1241018487$gmane$org@mcs.le.ac.uk> NNTP-Posting-Host: main.gmane.org X-Trace: ger.gmane.org 1241018487 3004 80.91.229.2 (29 Apr 2009 15:21:27 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 29 Apr 2009 15:21:27 +0000 (UTC) Original-X-From: rrosebru@mta.ca Tue Feb 25 20:42:07 2003 -0400 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Tue, 25 Feb 2003 20:42:07 -0400 Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.10) id 18npcF-0002Nj-00 for categories-list@mta.ca; Tue, 25 Feb 2003 20:40:07 -0400 User-Agent: Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.0.0) Gecko/2002062= X-Keywords: X-UID: 58 Original-Lines: 123 Xref: news.gmane.org gmane.science.mathematics.categories:2202 Archived-At: 3 Debian/1.0.0-0.woody.1 X-Accept-Language: en MIME-Version: 1.0 To: categories@mta.ca Subject: categories: CfP: CMCIM'03 Content-Type: text/plain; charset=3DISO-8859-1; format=3Dflowed Content-Transfer-Encoding: 8bit Sender: cat-dist@mta.ca Precedence: bulk [ Apologies for multiple copies ] Workshop on CATEGORICAL METHODS FOR CONCURRENCY, INTERACTION, AND MOBILITY Marseille, France, 6 September 2003 affiliated with CONCUR 2003 and held together with GETCO 2003 Call for Papers See also: http://www.mcs.le.ac.uk/events/cmcim03 Aims and Scope: The aim of the workshop is to bring together researchers applying category theory to concurrency, interaction, or mobility. Topics of interest include, but are not limited to: categorical algebras of processes categorical methods in game semantics and geometry of interaction categorical models of term/graph rewriting or rewriting logic Chu spaces coalgebras, bialgebras, coinduction comparing models of concurrency enriched categories of processes interaction categories presheaf models GETCO'03: Due to the close relation between geometric and topological methods on the one hand and categorical methods on the other hand, CMCIM'03 will be held jointly with the workshop on Geometric and Toplogical Methods in Concurrency Theory (GETCO'03). Both workshops will be on the same day with their talks not overlapping. Invited Lecture: Glynn Winskel Programme Committee: Marcelo Fiore (Cambridge) Eric Goubault (Paris) Thomas Hildebrandt (Copenhagen) Alexander Kurz (Leicester) Ugo Montanari (Pisa) John Power (Edinburgh) Jan Rutten (Amsterdam) Peter Selinger (Ottawa) Glynn Winskel (Cambridge) Important dates: Deadline for submission: June 1 Notification of acceptance: July 7 Final version due: July 27 Workshop dates: September 6 Location: The workshop will be held in Marseille. It is a satellite workshop of CONCUR 2003. For venue and registration see the CONCUR web page at http://concur03.univ-mrs.fr Submissions: It is planned to publish the proceedings of the meeting as a volume in Elsevier's ENTCS series. Papers must contain original contributions. Papers should be submitted as PostScript files by email to cmcim03@mcs.le.ac.uk, containing `CMCIM-submission' in the subject. A separate message should also be sent (subject: CMCIM-abstract), containing authors, title, and a text-only abstract. Workshop organizers: Thomas Hildebrandt BRICS, DAIMI, Computer Science Deptartment, University of Aarhus, Ny Munkegade, B. 540, 8000 =C5rhus C, DK Alexander Kurz Department of Mathematics and Computer Science, University of Leicester, University Road, Leicester, LE1 7RH. Email: cmcim03@mcs.le.ac.uk Further information at http://www.mcs.le.ac.uk/events/cmcim03