<div>-------- Apologies for multiple copies -------</div><div><br></div><div><br></div><div>======================================================================</div><div><br></div><div> ICE 2011</div>
<div> 4th Interaction and Concurrency Experience</div><div> Reliable and Contract-based Interactions</div><div> June 9, 2011, Reykjavik, Iceland</div><div> <a href="http://www.artist-embedded.org/artist/-ICE-2011-.html" target="_blank">http://www.artist-embedded.org/artist/-ICE-2011-.html</a></div>
<div><br></div><div> Satellite workshop of DisCoTec 2011</div><div> <a href="http://discotec.ru.is" target="_blank">http://discotec.ru.is</a></div><div><br></div><div><br></div><div>
=== Highlights ===</div>
<div><br></div><div>- Invited talks: TBA</div><div>- Innovative selection procedure</div><div>- Special issue of Scientific Annals of Computer Science</div><div> (<a href="http://www.info.uaic.ro/bin/Annals/" target="_blank">http://www.info.uaic.ro/bin/Annals/</a>)</div>
<div><br></div><div><br></div><div>=== Important Dates ===</div><div><br></div><div> 28 March 2011.............Abstract submission</div><div> 4 April 2011................Full paper submission</div><div> 11 April - 7 May 2011...Reviews, rebuttal and PC discussion</div>
<div> 9 May 2011................Notification to authors</div><div> 23 May 2011...............Camera-ready for pre-proceedings</div><div> 9 June 2011...............ICE in Reykjavik</div><div> 15 Sept 2011..............Camera-ready for post-proceedings</div>
<div><br></div><div><br></div><div>=== Scope ===</div><div><br></div><div>Interaction and Concurrency Experiences (ICEs) is a series of </div><div>international scientific meetings oriented to theoretical computer</div><div>
science researchers with special interest in models, verification,</div><div>tools and programming primitives for complex interactions.</div><div><br></div><div>The general scope of the venue includes theoretical and applied </div>
<div>aspects of interactions and the handshaking mechanisms used among</div><div>actors of concurrent/distributed systems, but every experience focuses</div><div>on a different specific topic (see "Previous Editions" at the end of </div>
<div>this call) related to several areas of computer science in the broad</div><div>spectrum ranging from formal specification and analysis to studies </div><div>inspired by emerging computational models.</div><div><br></div>
<div>The theme of ICE'11 is ***Reliable and Contract-based Interactions***.</div><div>Reliable interactions are, e.g., those providing suitable guarantees</div><div>on the overall behaviour of interactive systems, enjoying suitable</div>
<div>logical safety/liveness properties, adhering to certain QoS standards,</div><div>offering certain levels of trust/security. Contract-based interactions</div><div>are those where the interacting entities are committed to give certain</div>
<div>guarantees whenever certain assumptions are met by their operating</div><div>environment (including other autonomous entities and networking </div><div>middleware). This way, contracts can be used to define faulty and </div>
<div>malicious behaviours and to identify the responsible in case of </div><div>contract violation or abuse. </div><div><br></div><div>Topics of interest include, but shall not be limited to:</div><div><br></div><div>- logics and types for interactions</div>
<div>- concurrent models and semantics</div><div>- techniques and tools for specification, analysis, verification of</div><div> reliable interaction</div><div>- programming primitives for reliable interactions</div><div>
- languages, protocols and mechanisms for sound coordination</div><div>- "by construction" guarantees for reliable interaction</div><div>- expressiveness results</div><div>- formal languages for contracts</div>
<div>
- formal analysis of contracts</div><div>- contract negotiation, discovery and monitoring</div><div><br></div><div><br></div><div>=== Selection Procedure ===</div><div><br></div><div>The workshop pushes for an innovative paper selection mechanism based </div>
<div>on an interactive discussion amongst authors and PC members. As </div><div>witnessed by the past three editions of ICE, this considerably </div><div>improves the accuracy of the feedback from reviews, the fairness of </div>
<div>the selection, the quality of camera-ready papers, and the discussion</div><div>during the workshop.</div><div><br></div><div>During the review phase, each submitted paper is published on a Wiki</div><div>and associated with a discussion forum whose access will be restricted</div>
<div>to the authors and to all the PC members not in conflict of interests.</div><div>The PC members post comments / questions that the authors shall reply</div><div>to.</div><div><br></div><div><br></div><div>=== The Public Wiki ===</div>
<div><br></div><div>After the notification, the accepted papers will be published on a</div><div>public forum, the rationale being to initiate public discussions that</div><div>will trigger and stimulate the scientific debate of the workshop. We</div>
<div>argue that this will drive the workshop discussions and let </div><div>perspective participants to interact with each other well in advance </div><div>with respect to the modus operandi of more traditional events.</div>
<div><br></div><div><br></div><div>=== Submission Guidelines ===</div><div><br></div><div>Papers must report previously unpublished work and not be</div><div>simultaneously submitted to other conferences / workshops with</div>
<div>refereed proceedings. The ICE 2011 post-proceedings will be </div><div>published in Electronic Proceedings in Theoretical Computer Science</div><div>(<a href="http://eptcs.org/" target="_blank">http://eptcs.org/</a>).</div>
<div><br>
</div><div>Submissions must be made electronically in PDF format via EasyChair</div><div>(<a href="http://www.easychair.org/conferences/?conf=ice2011" target="_blank">http://www.easychair.org/conferences/?conf=ice2011</a>) and should not</div>
<div>exceed 15 pages with EPTCS style (<a href="http://style.eptcs.org/" target="_blank">http://style.eptcs.org/</a>).</div><div><br></div><div>Accepted papers must be presented at the workshop by one of the </div><div>authors.</div>
<div>
<br></div><div><br></div><div>=== Special Issue ===</div><div><br></div><div>Full version of the best papers selected by the PC will be invited</div><div>to appear in a special issue of the journal of Scientific Annals of</div>
<div>Computer Science (<a href="http://www.info.uaic.ro/bin/Annals/" target="_blank">http://www.info.uaic.ro/bin/Annals/</a>).</div><div>Such contributions will be regularly peer-reviewed according to the</div><div>standard journal policy, but they will be handled in a shorter time</div>
<div>than regular submissions.</div><div><br></div><div><br></div><div>=== Program Committee ===</div><div><br></div><div> Karthik Bhargavan (INRIA, France)</div><div> Simon Bliudze (CEA LIST, France) (co-chair)</div><div>
Filippo Bonchi (INRIA, France)</div><div> Roberto Bruni (University of Pisa, Italy)</div><div> Marzia Buscemi (IMT Lucca Institute for Advanced Studies, Italy)</div><div> Luis Caires (University of Lisbon, Protugal)</div>
<div> Marco Carbone (IT University of Copenhagen, Denmark)</div><div> Erik de Vink (Technische Universiteit Eindhoven, Netherlands)</div><div> Laurent Doyen (ENS Cachan, France)</div><div> Davide Grohmann (Italy)</div><div>
Barbara Jobstmann (CNRS/Verimag, France)</div><div> Ivan Lanese (University of Bologna, Italy)</div><div> Alberto Lluch Lafuente (IMT Lucca, Italy)</div><div> Hernan Melgratti (University of Buenos Aires, Argentina)</div>
<div> Dejan Nickovic (IST, Austria)</div><div> Sylvain Pradalier (INRIA Rocquencourt, France)</div><div> Sophie Quinton (Verimag, France)</div><div> Alexandra Silva (CWI, Netherlands) (co-chair)</div><div> Pawel Sobocinski (University of Southampton, UK)</div>
<div> Ana Sokolova (University of Salzburg, Austria)</div><div> Paola Spoletini (University of Insubria, Italy)</div><div> Emilio Tuosto (University of Leicester, UK)</div><div> Frank D. Valencia (LIX, France)</div><div>
Nalini Vasudevan (Columbia University, NY, USA)</div>
<div> Hugo Torres Vieira (New University of Lisbon, Portugal)</div><div><br></div><div><br></div><div>=== ICEcreamers ===</div><div><br></div><div>- Simon Bliudze (CEA LIST, France; co-chair)</div><div>- Roberto Bruni (University of Pisa, Italy)</div>
<div>- Marco Carbone (IT University of Copenhagen, Denmark)</div><div>- Alexandra Silva (CWI, Netherlands; co-chair)</div><div><br></div><div><br></div><div>=== Contact ===</div><div><br></div><div><a href="mailto:ice2011@easychair.org" target="_blank">ice2011@easychair.org</a></div>
<div><br></div><div><br></div><div>=== Previous editions ===</div><div><br></div><div>The previous three editions of ICE have been held on</div><div>* July 6th, 2008 in Reykjavik, Iceland with focus on</div><div> Synchronous and Asynchronous Interactions in Concurrent/</div>
<div> Distributed Systems, co-located with ICALP'08.</div><div> The post-proceedings were published in ENTCS (vol.229-3).</div><div>* August 31st, 2009 in Bologna, Italy with focus on</div><div> Structured Interactions, co-located with CONCUR'09.</div>
<div> The post-proceedings were published in EPTCS (vol.12)</div><div> and a special issue of MSCS is in preparation.</div><div>* June 10th, 2010 in Amsterdam, The Netherlands with focus</div><div> on Guaranteed Interactions, co-located with DisCoTec'10.</div>
<div> The post-proceedings were published in EPTCS (vol.38)</div><div> and a joint special issue of SACS (with CAMPUS'10 and</div><div> CS2BIO'10) is now in preparation.</div><div><br></div><div><br></div><div>
=== Sponsors ===</div><div><br></div><div>CEA List</div>