The interior of the IT University of Copenhagen. Illustration by Eyecadcher. In between the CTCS'04 Graduate Student Summer School and the CTCS'04 Conference 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 (Brno) and CONCUR 2003 (Marseille). The aim of the workshop is to bring together researchers in the area, presenting recent results, ongoing work, challenges or future trends. We invite submissions of extended abstracts (less than 5 pages). 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. Topics of interest include: 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 bigraphs presheaf semantics 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 Registration and Submissions: hilde@itu.dk Deadlines: June 21: Submission deadline July 1: Registration