[TYPES] [CfP] DisCoVeri - satellite event of CONCUR - August 26, 2005
Uwe.Nestmann at epfl.ch
Thu Jul 14 13:26:24 EDT 2005
(Distributed Algorithms meet Concurrency Theory)
One-day satellite workshop of CONCUR 2005
San Francisco, USA, August 26, 2005
Call for Participation & Contributions
Scope & Aims
The Distributed Algorithms community has, over the last decades,
an impressing number of ingenious algorithms to solve truly hard
and also has come up with numerous subtle impossibility results.
much of this fascinating work (models, algorithms, results, proofs)
remained accessible only to insiders of the community. The Concurrency
Theory community has, also over the last decades, developed and studied
equally impressing amount of semantical models, theories, and
techniques. However, these theories have not yet had the desired
a wider audience; in essence, there have not yet been enough examples of
non-trivial practical applications.
Interestingly---and unfortunately---this co-development happened mostly
independently with very little exchange between the two separate
communities. Worse, although ultimately addressing similar problems,
different vocabularies and terminologies have been invented such that
the communication between the communities is rendered difficult.
the two communities would benefit from getting to know each other
On the one hand, the Concurrency Theory community offers formal
techniques and proximity to well-understood programming languages, and
would profit from proofs of applicability on tough examples. On the
hand, the Distributed Computing community offers challenging
while the required proof work is quite likely to profit from formal
semantics techniques, especially the more recent ones.
Thus, the aim of this workshop is to invite the researchers of the two
communities to gently get to know the basic models, techniques, and
problems of each others fields, in order to achieve some
The event takes place concurrently with the last day of CONCUR,
starting after the invited morning speaker of the main conference.
The workshop itself will consist of the four longer invited
Jean-Jacques Levy, INRIA (FR)
Prakash Panangaden, McGill (CA)
Fred Schneider, Cornell Univ. (US)
Mark Tuttle, HP (US)
as well as short position statements by the other participants (best, by
all of them), with declared emphasis on much time for discussions.
Submission and participation
Written position statements in the form of a 1-4 pages summary are
invited. They should express the authors' opinion on the topic of the
workshop, open research areas in its scope, or other issues germane to
topic of the workshop. Explicit statements of opinion are encouraged.
Please send your position statement in ASCII, LaTeX, Postscript or PDF
format to Uwe.Nestmann at epfl.ch.
If submitted before August 4, 2005, written position statements may
distributed by the organizers during the workshop. Last-minute written
position statements brought by the authors themselves for distribution
site are also welcome. Written position statements may be made
both over the internet and attached to a post-workshop technical report
summarizing its outcome. Otherwise, no formal proceedings are planned.
To ease our planning of the event, prior indication of your intention to
present a position statement (be it with or without a written
is much appreciated before August 4, 2005.
Registration is handled by the CONCUR web site. As a regular CONCUR
participant, there is a discount $80 on the standardized CONCUR
event price of $125 (up to July 20) or $140 (afterwards).
Bernadette Charron-Bost (FR)
Yoram Moses (IL)
Uwe Nestmann (CH)
Catuscia Palamidessi (FR)
More information about the Types-list