* CMCIM 2004 Workshop: Final Call for (Short) Papers and Participation
@ 2004-06-24 13:55 Thomas Hildebrandt
0 siblings, 0 replies; only message in thread
From: Thomas Hildebrandt @ 2004-06-24 13:55 UTC (permalink / raw)
To: Categories list
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
Science (CTCS 2004) ,August 12th-14th,
and Graduate Student Summer School in Category Theory and Computer
Science, August 9th-11th.
------------------------------------------------------------------------
------------------------------------------
NEW:
- Extended workshop submission deadline: July 1st
- Accepted papers and abstracts for invited talks for CTCS available at
www.itu.dk/research/theory/ctcs2004/
------------------------------------------------------------------------
-------------------------------------------
We invite submissions of short, extended abstracts (less than 5 pages)
for an informal 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.
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.
Submissions may present status reports, recent results, challenges, or
work in progress
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 July 1st, as PostScript or PDF file
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.
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
workshop
sponsored by the FIRST graduate school (www.first.dk) and the
Department of Theoretical Computer Science at IT University of
Copenhagen
(http://www.itu.dk/Internet/sw648.asp).
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2004-06-24 13:55 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2004-06-24 13:55 CMCIM 2004 Workshop: Final Call for (Short) Papers and Participation Thomas Hildebrandt
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).