Thursday, April 29, 2010

[DMANET] ICE 2010: Call for short contributions and participation

[- Apologies for multiple copies -]

*** Call for short contributions & participation ***


3rd Interaction and Concurrency Experience
ICE 2010: Guaranteed Interactions

Satellite workshop of DisCoTec 2010
10th of June 2010
Amsterdam, The Netherlands

http://www.artist-embedded.org/artist/-ICE-10-.html

=== Highlights ===

- Invited talks by
Tom A. Henzinger (IST, Austria) and
Joost-Pieter Katoen (RWTH Aachen University, Germany)
- Travel grants for young researchers

=== Important Dates ===

- Submission of short contributions: 10 May 2010
- Notification to authors: 13 May 2010

=== Scope ===

Interaction and Concurrency Experiences (ICEs) is a series of
international scientific meetings oriented to theoretical
computer science researchers with special interest in models,
verification, tools and programming primitives for complex interactions.

The general scope is to include theoretical and applied aspects of
interactions and the synchronization mechanisms used among actors of
concurrent/distributed systems, but every experience will focus on a
different specific topic which affects several areas of computer science.

The theme of ICE'10 is ***Guaranteed Interactions***, like guaranteeing
safety, responsiveness, quality of service levels or satisfaction of
analysis hypotheses. In this context, coordination can be viewed as
imposing constraints on the interaction among the actors. Such constraints
and guarantees of their satisfaction play an important role in the
analysis of distributed systems. In order to provide such guarantees, a
number of directions are being explored to develop appropriate models,
methodologies and tools, like behavioural types, component-based model
checking, assume-guarantee and 'by construction' techniques such as glue
synthesis. Considering interaction as a first class entity is crucial for
overcoming complexity issues of distributed systems, such as state space
explosion.

Topics of interest include, but shall not be limited to:

- logic and types for interactions
- concurrent models and semantics
- techniques and tools for specification, analysis, verification of
guaranteed interaction
- programming primitives for interactions
- languages, protocols and mechanisms for sound coordination
- 'by construction' guarantees for interaction
- expressiveness results
- formal contract languages
- disciplined interactions inspired by emerging computational models
(systems biology, quantum computing, etc.)

=== Selection Procedure For Short Contributions ===

The workshop proposes an innovative paper selection mechanism based on an
interactive discussion amongst authors and PC members.

Selection of regular papers has been closed on April 30, after which
we decided to reserve some additional slots for presentation of
recent work in progress or visionary innovative ideas and approaches.

=== The Public Wiki ===

After the notification, the accepted papers will be published on a public
forum, the rationale being to initiate public discussions that will
trigger and stimulate the scientific debate of the workshop. We argue that
this will drive the workshop discussions and let perspective participants
to interact with each other well in advance with respect to the modus
operandi of more traditional events.

=== Submission Guidelines ===

Short papers must report previously unpublished work although
it is allowed that some extended versions are simultaneously
submitted to other conferences / workshops with proceedings.

Accepted short papers will be considered for inclusion in the
ICE'10 post-proceedings either in form of extended abstracts
or as full papers.

ICE'10 post-proceedings will be published in
Electronic Proceedings in Theoretical Computer Science
(http://eptcs.org/).

Submissions of short papers must be made electronically in PDF format
via EasyChair (http://www.easychair.org/conferences/?conf=ice2010)
and should not exceed 4 pages with EPTCS style (http://style.eptcs.org/).

Accepted short papers must be presented at the workshop by one of the authors.

=== Contact ===

Please write to <ice2010@di.unipi.it> for any additional information you
may need.

=== Previous editions ===

The previous two editions of ICE have been held in:
Reykjavik, Iceland, on July 6th, 2008, with focus on Synchronous and Asyn-
chronous Interactions in Concurrent/Distributed Systems, co-located with
ICALP08 (http://ice08.dimi.uniud.it/). The post proceedings were published
in ENTCS (vol.229-3).
Bologna, Italy, on August 31st, 2009, with focus on Structured Interactions,
co-located with CONCUR09 (http://ice09.dimi.uniud.it/). The post
proceedings were published in EPTCS (vol.12) and a special issue of MSCS is
now in preparation.


=== Sponsors ===

* CEA LIST (http://www-list.cea.fr)
* ArtistDesign network of excellence (http://www.artist-embedded.org)
* Institute for Programming research and Algorithmics (IPA - http://www2.win.tue.nl/ipa/)


.
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************