[TYPES] [CfP] DisCoVeri - satellite event of CONCUR - August 26, 2005

[Uwe Nestmann]

                               DisCoVeri
            (Distributed Algorithms meet Concurrency Theory)
                  http://lamp.epfl.ch/~uwe/DisCoVeri/

               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, 
developed
an impressing number of ingenious algorithms to solve truly hard 
problems,
and also has come up with numerous subtle impossibility results.  
However,
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 
an
equally impressing amount of semantical models, theories, and 
verification
techniques.  However, these theories have not yet had the desired 
impact on
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 
even
the communication between the communities is rendered difficult.  
Clearly,
the two communities would benefit from getting to know each other 
better.
On the one hand, the Concurrency Theory community offers formal 
reasoning
techniques and proximity to well-understood programming languages, and
would profit from proofs of applicability on tough examples.  On the 
other
hand, the Distributed Computing community offers challenging 
applications,
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 
cross-fertilization.



Programme
=========

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 
presentations
offered by

     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 
hereby
invited.  They should express the authors' opinion on the topic of the
workshop, open research areas in its scope, or other issues germane to 
the
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 
also be
distributed by the organizers during the workshop.  Last-minute written
position statements brought by the authors themselves for distribution 
on
site are also welcome.  Written position statements may be made 
available
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 
counterpart)
is much appreciated before August 4, 2005.



Registration
============

Registration is handled by the CONCUR web site.  As a regular CONCUR
participant, there is a discount $80 on the standardized CONCUR 
satellite
event price of $125 (up to July 20) or $140 (afterwards).


Organizers
==========
Bernadette Charron-Bost (FR)
Yoram Moses (IL)
Uwe Nestmann (CH)
Catuscia Palamidessi (FR)