From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/2729 Path: news.gmane.org!not-for-mail From: Thomas Hildebrandt Newsgroups: gmane.science.mathematics.categories Subject: CMCIM 2004 Workshop: Final Call for (Short) Papers and Participation Date: Thu, 24 Jun 2004 15:55:31 +0200 Message-ID: <2833CFCD-C5E6-11D8-B96E-000A95D05E0E@itu.dk> NNTP-Posting-Host: main.gmane.org Mime-Version: 1.0 (Apple Message framework v618) Content-Type: text/plain; charset=WINDOWS-1252; delsp=yes; format=flowed Content-Transfer-Encoding: quoted-printable X-Trace: ger.gmane.org 1241018856 5509 80.91.229.2 (29 Apr 2009 15:27:36 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 29 Apr 2009 15:27:36 +0000 (UTC) To: Categories list Original-X-From: rrosebru@mta.ca Tue Jun 29 13:30:48 2004 -0300 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Tue, 29 Jun 2004 13:30:48 -0300 Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.10) id 1BfLRx-0003hn-00 for categories-list@mta.ca; Tue, 29 Jun 2004 13:27:13 -0300 Original-Sender: cat-dist@mta.ca Precedence: bulk X-Keywords: X-UID: 14 Original-Lines: 95 Xref: news.gmane.org gmane.science.mathematics.categories:2729 Archived-At: FINAL CALL FOR (Short) PAPERS AND PARTICIPATION (Deadline July 1st): 3rd WORKSHOP ON: CATEGORICAL METHODS FOR CONCURRENCY, INTERACTION AND MOBILITY (CMCIM 2004), AUGUST 11, 2004 (www.itu.dk/research/theory/ctcs2004/cmcim.html) IT University of Copenhagen (ITU) Copenhagen, Denmark www.itu.dk - affiliated with the 10th conference in Category Theory and Computer =20= Science (CTCS 2004) ,August 12th-14th, and Graduate Student Summer School in Category Theory and Computer =20 Science, August 9th-11th. ------------------------------------------------------------------------=20= ------------------------------------------ NEW: - Extended workshop submission deadline: July 1st - Accepted papers and abstracts for invited talks for CTCS available at =20= www.itu.dk/research/theory/ctcs2004/ ------------------------------------------------------------------------=20= ------------------------------------------- We invite submissions of short, extended abstracts (less than 5 pages) =20= for an informal half-day workshop on Categorical Methods in =20 Concurrency, Interaction and Mobility. The workshop has previously been =20= held in connection with CONCUR 2002 and CONCUR 2003. There will be no formal proceedings of the workshop, informal =20 proceedings will be distributed at the workshop. Thus, accepted material may be published elsewhere at a later date. Submissions may present status reports, recent results, challenges, or =20= work in progress Topics of interest include: =95 categorical algebras of processes =95 categorical methods in game semantics and geometry of = interaction =95 categorical models of term/graph rewriting or rewriting = logic =95 Chu spaces =95 coalgebras, bialgebras, coinduction =95 comparing models of concurrency =95 enriched categories of processes =95 interaction categories =95 bigraphs =95 presheaf semantics Workshop PARTICIPATION IS FREE, but REQUIRES REGISTRATION before 1st of =20= July, by SENDING AN EMAIL to hilde@itu.dk, containing =20 `CMCIM2004-registration' in the subject, and your full name and =20 affiliation in the body. Submissions should be sent before July 1st, as PostScript or PDF file =20= to: hilde@itu.dk, containing `CMCIM-submission' in the subject, and in =20= the body the full names of the author(s), title, and a text-only =20 abstract. CMCIM 2004 Workshop Organizers: Thomas Hildebrandt Alexander Kurz More information and registration at: http://www.itu.dk/research/theory/ctcs2004/cmcim.html --------------------------------------- SPONSORSHIP The conference and summer school are APPSEM-II events, and are as the =20= workshop sponsored by the FIRST graduate school (www.first.dk) and the Department of Theoretical Computer Science at IT University of =20 Copenhagen (http://www.itu.dk/Internet/sw648.asp).