6th Interaction and Concurrency Experience (ICE 2013)
Satellite workshop of DisCoTec 2013
June 6, 2013, Florence, Italy


Preliminary Programme

The preliminary programme can be found here.


Important Dates

20 March 2013 24 March 2013 : Full paper submission
25 March – 21 April 2013: Reviews, rebuttal, and PC discussion
24 April 2013: Notification to authors
6 June 2013: ICE in Florence
15 Sept 2013: Camera-ready for post-proceedings


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 synchronization mechanisms used among components of concurrent/distributed systems, related to several areas of computer science in the broad spectrum ranging from formal specification and analysis to studies inspired by emerging computational models.


  • Process algebra and coordination: transformation, analysis and implementation
  • Models for distributed coordination and semantics
  • Techniques and tools for specification, analysis, verification of resilient interactions
  • Coinductive techniques for reactive systems
  • Languages, protocols and mechanisms for sound distributed coordination
  • Logics and types for interactions
  • Comparison among different coordination and/or execution models
  • Expressive power of coordination languages and execution models
  • Formal semantics of coordination languages
  • Formal verification of distributed coordinated architectures
  • Relations between different semantic models for coordination languages

Selection Procedure

Since its 1st edition in 2008, the distinguishing feature of ICE has been an innovative paper selection mechanism based on an interactive discussion amongst authors and PC members.

During the review phase, each submitted paper is published on a Wiki and associated with a discussion forum. The discussion forum can be accessed by the authors of the paper and by all the PC members not in conflict with the paper. The forum is used by reviewers to ask questions and clarifications to the authors, allowing them to better explain all the aspects of their paper. The evaluation of the paper will keep into account not only the reviews, but also the outcome of the discussion.

As witnessed by the past five editions of ICE, this procedure 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.

The Public Wiki

After the notification, the accepted papers are published on a public forum, in order to initiate public discussions that will trigger and stimulate the scientific debate at the workshop. We believe that this will drive the workshop discussions and let prospective participants interact with each other much earlier than in more traditional events.


We invite for three types of submissions: (1) Full Papers, (2) Short Papers, and (3) Brief Announcements of already Published Papers.

Full and short papers to appear in the post-proceedings must report previously unpublished work and not be simultaneously submitted to other conferences/workshops with refereed proceedings. The ICE 2013 post-proceedings will be published in Electronic Proceedings in Theoretical Computer Science (http://eptcs.org/). In addition, we invite for brief announcements of already published results, should the authors feel like advertising their work and giving a talk. Brief announcements will not be part of the post-proceedings.

Submissions must be made electronically in PDF format via EasyChair (http://www.easychair.org/conferences/?conf=ice2013). Full papers should not exceed 15 pages while short papers and brief announcements should not exceed 5 pages with the EPTCS style (http://style.eptcs.org/).

Accepted (full and short) papers and brief announcements must be presented at the workshop by one of the authors.

Special Issue

Extended versions of the best full papers selected by the PC will be invited to appear in a special issue of the journal of Science of Computer Programming (http://www.journals.elsevier.com/science-of-computer-programming/ ). 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.


  • Marco Carbone (IT University of Copenhagen, Denmark; co-chair)
  • Ana Sokolova (University of Salzburg, Austria; co-chair)
  • Ivan Lanese (University of Bologna/INRIA, Italy)
  • Alberto Lluch Lafuente (IMT Lucca, Italy)

Program Committee

  • Luca Aceto (Reykjavik University, Iceland)
  • Simon Bliudze (EPFL, Switzerland)
  • Laura Bocchi (University of Leicester, UK)
  • Filippo Bonchi (CNRS, France)
  • Roberto Bruni (University of Pisa, Italy)
  • Marcello Bonsangue (Leiden University, The Netherlands)
  • Ornela Dardha (University of Bologna/INRIA, Italy)
  • Ichiro Hasuo (University of Tokyo, Japan)
  • Tobias Heindel (CEA Saclay, France)
  • Ludovic Henrio (CNRS, France)
  • Clemens Kupke (University of Strathclyde, Scotland, UK)
  • Julien Lange (University of Leicester, UK)
  • Antonia Lopes (University of Lisbon, Portugal)
  • Giuliano Losa (EPFL, Switzerland)
  • Claudio A. Mezzina (FBK Trento, Italy)
  • Matteo Mio (École Polytechnique, France)
  • Valentina Monreale (University of Pisa, Italy)
  • Luca Mottola (Politecnico di Milano, Italy)
  • Daniela Petrisan (University of Leicester, UK)
  • Paola Spoletini (University of Insubria, Italy)
  • Emilio Tuosto (University of Leicester, UK)
  • Valerio Senni (IMT Lucca, Italy)
  • Alexandra Silva (Radboud University Nijmegen, The Netherlands)
  • Josef Widder (TU Vienna, Austria)
  • Roberto Zunino (Università degli Studi di Trento and COSBI, Italy)

Steering Committee

  • Alexandra Silva (Radboud University Nijmegen, The Netherlands)
  • Simon Bliudze (EPFL, Switzerland)
  • Filippo Bonchi (CNRS, France)
  • Roberto Bruni (University of Pisa, Italy)
  • Emilio Tuosto (University of Leicester, UK)
  • Paola Spoletini (University of Insubria, Italy)
  • Davide Grohmann (Octoshape, Denmark)



Previous editions

Previous editions of ICE have been held:

  • ICE’08Synchronous and Asynchronous Interactions held in Reykjavik, Iceland, co-located with ICALP’08. The post-proceedings were published in ENTCS (vol.229-3).
  • ICE’09Structured Interactions held in Bologna, Italy, co-located with CONCUR’09. The post-proceedings were published in EPTCS (vol.12) and a special issue of MSCS is in preparation.
  • ICE’10Guaranteed Interactions held in Amsterdam, The Netherlands, co-located with DisCoTec’10. The post-proceedings were published in EPTCS (vol.38) and selected papers appeared in a joint special issue of SACS (with CAMPUS’10 and
    CS2BIO’10, Vol. XXI).
  • ICE’11Reliable and Contract-based Interaction held in Reykjavik, Iceland, co-located with DisCoTec’11. The post-proceedings were published in EPTCS (vol.59)
    and selected papers appeared in a joint special issue of SACS.
  • ICE’12: Distributed coordination, execution models, and resilient interaction held in Stockholm, Sweden, co-located with DisCoTec’12. The post-proceedings were published in EPTCS (vol.104) and a joint special issue of SCP is now in preparation.


ICE 2013 Programme

9:30-10:30 :: Davide Sangiorgi:  Coinductive techniques for higher-order languages (Invited Talk).( Slides )

10:30-11:00 ::  Coffee Break.

11:00-11:30 :: M. Bartoletti, T. Cimoli, P. Di Giamberardino, R. Zunino: Contract agreements via logic. ( Slides )

11:30-12:00 :: S. Bliudze, E. Baranov: Extended Connectors: Structuring Glue Operators in BIP.( Slides )

12:00-12:30 :: L. Henrio, E. Madelaine: Behavioural Verification of Distributed Components.( Slides )

12:30-14:30 :: lunch.

14:30-15:30 :: Filippo Bonchi: Three algorithms for must semantics (Invited Talk)( Slides )

15:30-16:00 :: X. Xu: On Context Bisimulation for Parameterized Higher-order Processes.( Slides )

16:00-16:30 :: Coffee Break.

16:30-17:00 :: J. Lange, A. Scalas: Choreography Synthesis as Contract Agreement.( Slides )

17:00-17:30 :: K. Poyias, E. Tuosto: On Recovering from Run-time Misbehaviour in ADR. ( Slides )

17:30-18:00 :: K. Palmskog, M. Dam, A. Lundblad, A. Jafari: ABS-NET: Fully Decentralized Runtime Adaptation for Distributed Objects.( Slides )

19:30 Social Dinner at Ristorante La Pentola Dell’Oro (http://www.lapentoladelloro.it/, how to reach it from the conference venue).