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