[ The Types Forum (announcements only),
     http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

[- Apologies for multiple copies -]

                              ICE 2011
             4th Interaction and Concurrency Experience
              Reliable and Contract-based Interactions
                  June 9, 2011, Reykjavik, Iceland

                 Satellite workshop of DisCoTec 2011

=== Highlights ===

- Invited talks: Simon Gay
                      Rocco de Nicola (joint with PaCo)
                      Prakash Panangaden
- Innovative selection procedure
- Travel Grants for Young Researchers
- Special issue of Scientific Annals of Computer Science

=== Important Dates ===

  4 April 2011................Abstract submission
 11 April 2011...............Full paper submission
 13 April - 7 May 2011...Reviews, rebuttal and PC discussion
  9 May 2011................Notification to authors
 23 May 2011...............Camera-ready for pre-proceedings
  9 June 2011...............ICE in Reykjavik
 15 Sept 2011..............Camera-ready for post-proceedings

=== 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 of the venue includes theoretical and applied
aspects of interactions and the handshaking mechanisms used among
actors of concurrent/distributed systems, but every experience focuses
on a different specific topic (see "Previous Editions" at the end of
this call) related to several areas of computer science in the broad
spectrum ranging from formal specification and analysis to studies
inspired by emerging computational models.

The theme of ICE'11 is ***Reliable and Contract-based Interactions***.
Reliable interactions are, e.g., those providing suitable guarantees
on the overall behaviour of interactive systems, enjoying suitable
logical safety/liveness properties, adhering to certain QoS standards,
offering certain levels of trust/security. Contract-based interactions
are those where the interacting entities are committed to give certain
guarantees whenever certain assumptions are met by their operating
environment (including other autonomous entities and networking
middleware). This way, contracts can be used to define faulty and
malicious behaviours and to identify the responsible in case of
contract violation or abuse.

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

- logics and types for interactions
- concurrent models and semantics
- techniques and tools for specification, analysis, verification of
 reliable interaction
- programming primitives for reliable interactions
- languages, protocols and mechanisms for sound coordination
- "by construction" guarantees for reliable interaction
- expressiveness results
- formal languages for contracts
- formal analysis of contracts
- contract negotiation, discovery and monitoring

=== Selection Procedure ===

The workshop pushes for an innovative paper selection mechanism based
on an interactive discussion amongst authors and PC members. As
witnessed by the past three editions of ICE, this considerably
improves the accuracy of the feedback from reviews, the fairness of
the selection, the quality of camera-ready 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 that the authors shall reply

=== 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 2011 post-proceedings will be
published in Electronic Proceedings in Theoretical Computer Science

Submissions must be made electronically in PDF format via EasyChair
(http://www.easychair.org/conferences/?conf=ice2011) 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

=== Special Issue ===

Full version of the best papers selected by the PC will be invited
to appear in a special issue of the journal of Scientific Annals of
Computer Science (http://www.info.uaic.ro/bin/Annals/).
Such contributions will be regularly peer-reviewed according to the
standard journal policy, but they will be handled in a shorter time
than regular submissions.

=== Program Committee ===

 Karthik Bhargavan (INRIA, France)
 Simon Bliudze (CEA LIST, France) (co-chair)
 Filippo Bonchi (CNRS, France)
 Roberto Bruni (University of Pisa, Italy)
 Marzia Buscemi (IMT Lucca Institute for Advanced Studies, Italy)
 Luis Caires (Universidade Nova de Lisboa, Portugal)
 Marco Carbone (IT University of Copenhagen, Denmark)
 Gabriel Ciobanu (IASI, Romania)
 Laurent Doyen (ENS Cachan, France)
 Davide Grohmann (Italy)
 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)
 Dejan Nickovic (IST, Austria)
 Sylvain Pradalier (INRIA Rocquencourt, France)
 Sophie Quinton (TU Braunschweig, Germany)
 Alexandra Silva (CWI, Netherlands) (co-chair)
 Pawel Sobocinski (University of Southampton, UK)
 Ana Sokolova (University of Salzburg, Austria)
 Paola Spoletini (University of Insubria, Italy)
 Emilio Tuosto (University of Leicester, UK)
 Frank D. Valencia (LIX, France)
 Nalini Vasudevan (Intel Labs, USA)
 Hugo Torres Vieira (Universidade Nova de Lisboa, Portugal)
 Erik de Vink (Technische Universiteit Eindhoven, Netherlands)

=== ICEcreamers ===

- Simon Bliudze (CEA LIST, France; co-chair)
- Roberto Bruni (University of Pisa, Italy)
- Marco Carbone (IT University of Copenhagen, Denmark)
- Alexandra Silva (CWI, Netherlands; co-chair)

=== Contact ===


=== Previous editions ===

The previous three editions of ICE have been held on
* July 6th, 2008 in Reykjavik, Iceland with focus on
 Synchronous and Asynchronous Interactions in Concurrent/
 Distributed Systems, co-located with ICALP'08.
 The post-proceedings were published in ENTCS (vol.229-3).
* August 31st, 2009 in Bologna, Italy with focus on
 Structured Interactions, co-located with CONCUR'09.
 The post-proceedings were published in EPTCS (vol.12)
 and a special issue of MSCS is in preparation.
* June 10th, 2010 in Amsterdam, The Netherlands with focus
 on Guaranteed Interactions, co-located with DisCoTec'10.
 The post-proceedings were published in EPTCS (vol.38)
 and a joint special issue of SACS (with CAMPUS'10 and
 CS2BIO'10) is now in preparation.

=== Sponsors ===

CEA List

Reply via email to