====================================================================== [- Apologies for multiple copies -] ICE 2011 4th Interaction and Concurrency Experience Reliable and Contract-based Interactions June 9, 2011, Reykjavik, Iceland http://www.artist-embedded.org/artist/-ICE-2011-.html Satellite workshop of DisCoTec 2011 http://discotec.ru.is === Highlights === - Invited talks: TBA - Innovative selection procedure - Special issue of Scientific Annals of Computer Science (http://www.info.uaic.ro/bin/Annals/) === Important Dates === 28 March 2011.............Abstract submission 4 April 2011................Full paper submission 11 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 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 2011 post-proceedings will be published in Electronic Proceedings in Theoretical Computer Science (http://eptcs.org/). 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 authors. === 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 (University of Lisbon, Protugal) Marco Carbone (IT University of Copenhagen, Denmark) Gabriel Ciobanu (IASI, Romania) Erik de Vink (Technische Universiteit Eindhoven, Netherlands) 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 (Columbia University, NY, USA) Hugo Torres Vieira (New University of Lisbon, Portugal) === 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 === ice2011@easychair.org === 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