Features Download
From: Alexandra Silva <xana <at> di.uminho.pt>
Subject: ICE 2010: First call for papers
Newsgroups: gmane.comp.lang.haskell.general
Date: Monday 8th February 2010 09:27:58 UTC (over 8 years ago)
[- Apologies for multiple copies -]

3rd Interaction and Concurrency Experience
    ICE 2010: Guaranteed Interactions

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


=== Highlights ===

- Innovative selection procedure
- Travel grants for young researchers

=== Important Dates ===

- Abstract submission: 22 March 2010
- Full paper submission: 29 March 2010
- Reviews, rebuttal and PC discussion: 30 March - 28 April 2010
- Notification to authors: 30 April 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
synthesis. Considering interaction as a first class entity is crucial for
overcoming complexity issues of distributed systems, such as state space

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 ===

The workshop proposes an innovative paper selection mechanism based on an
interactive discussion amongst authors and PC members. As witnessed by the
past two editions of ICE, this considerably improves the accuracy of the
feedback from reviews, the fairness of the selection, the quality of
accepted papers, and the discussion during the workshop.

During the review phase, each submitted paper is published on a Wiki and
associated with a discussion forum whose access will be restricted to the
authors and to all the PC members not in conflict of interests. The PC
members post comments / questions which the authors shall reply to.

=== 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 ===

Papers must report previously unpublished work and not be
simultaneously submitted to other conferences / workshops with
refereed proceedings. The ICE'10 post-proceedings will be published in
Electronic Proceedings in Theoretical Computer Science
(http://eptcs.org/). Depending on the quality
of submissions a special 
issue in
a journal will be considered.

Submissions must be made electronically in PDF format via EasyChair
and should not
exceed 15 pages with EPTCS style (http://style.eptcs.org/).

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

=== Program Committee ===

- Paolo Baldan (University of Padova, Italy)
- Ananda Basu (Verimag, France)
- Karthik Bhargavan (INRIA, France)
- Simon Bliudze (CEA LIST, France; co-chair)
- Andrea Bracciali (University of Pisa, Italy)
- Roberto Bruni (University of Pisa, Italy; co-chair)
- Pierre-Malo Deniélou (Imperial College London, UK)
- Erik de Vink (Technische Universiteit Eindhoven, Netherlands)
- Laurent Doyen (ENS Cachan, France)
- Carlo Furia (ETH Zurich, Switzerland)
- Fabio Gadducci (University of Pisa, Italy)
- Julian Gutierrez (University of Edinburgh, UK)
- Thomas Hildebrandt (IT University of Copenhagen, Denmark)
- Daniel Hirschkoff (ENS Lyon, France)
- Barbara Jobstmann (CNRS/Verimag, France)
- Ivan Lanese (University of Bologna, Italy)
- Alberto Lluch Lafuente (IMT Lucca, Italy)
- Hernan Melgratti (University of Buenos Aires, Argentina)
- Madhavan Mukund (Chennai Mathematical Institute, India)
- Dejan Nickovic (IST, Austria)
- Sophie Quinton (Verimag, France)
- Alexandra Silva (CWI, Netherlands)
- Pawel Sobocinski (University of Southampton, UK)
- Ana Sokolova (University of Salzburg, Austria)
- Paola Spoletini (University of Insubria, Italy)
- Emilio Tuosto (University of Leicester, UK)
- Hugo Torres Vieira (New University of Lisbon, Portugal)

=== ICEcreamers ===

- Simon Bliudze (CEA LIST, France; co-chair)
- Roberto Bruni (University of Pisa, Italy; co-chair)
- Davide Grohmann (Universita' di Udine; website and discussion forum)
- Alexandra Silva (CWI, Netherlands; local arrangements)

=== Contact ===

Please write to  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
   chronous Interactions in Concurrent/Distributed Systems, co-located with
   ICALP’08 (http://ice08.dimi.uniud.it/). The
post proceedings were 
in ENTCS (vol.229-3).
– Bologna, Italy, on August 31st, 2009, with focus on Structured 
   co-located with CONCUR’09 (http://ice09.dimi.uniud.it/). The
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 - 

CD: 3ms