ICE 2014

 ICE 2014

7th Interaction and Concurrency Experience

Satellite workshop of DisCoTec 2014

 http://www.discotec.org

=== Highlights ===

• - Innovative selection procedure

• - ICE welcomes submissions of full papers, short papers, and brief announcements of already published papers

• - Invited talks: Kim Larsen and Pavol Cerny

• - Special issue in a highly-reputed journal

=== 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 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.

We plan to invite extended versions of selected full papers to a special issue in a highly-reputed journal. 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.

=== Invited Talks ===

• Kim Larsen (Aalborg University, Denmark)

• Pavol Cerny (University of Colorado Boulder, USA)

=== Program Committee ===

• Luis Soares Barbosa (Universidade do Minho, Portugal)

• Massimo Bartoletti (University of Cagliari, Italy)

• Simon Bliudze (EPFL, Switzerland)

• Laura Bocchi (Imperial College London, UK)

• Filippo Bonchi (CNRS, France)

• Roberto Bruni (University of Pisa, Italy)

• Marco Carbone (IT University of Copenhagen, Denmark)

• Nicolas D'Ippolito (Imperial College London, UK)

• Mike Dodds (York University, UK)

• Bernd Finkbeiner (Universität des Saarlandes, Germany)

• Elena Giachino (University of Bologna, Italy)

• Tobias Heindel (LIX École Polytechnique, France)

• Ludovic Henrio (CNRS, France)

• Sophia Knight (LIX École Polytechnique, France)

• Barbara Koenig (University of Duisburg, Germany)

• Vasileios Koutavas (Trinity College Dublin, UK)

• Julien Lange (Imperial College London, UK)

• Hernán Melgratti (University of Buenos Aires, Argentina)

• Shiva Nejati (University of Luxembourg, Luxembourg)

• Peter Ölveczky (University of Oslo, Norway)

• Luca Padovani (University of Torino, Italy)

• Antonio Ravara (Universidade NOVA de Lisboa, Portugal)

• Owen Stephens (University of Southampton, UK)

• Ali Sezgin (IST Austria, Austria)

• Alexandra Silva (Radboud University Nijmegen, The Netherlands)

• Paola Spoletini (University of Insubria, Italy)

• Bernardo Toninho (Universidade NOVA de Lisboa, Portugal & Carnegie Mellon University, USA)

• Emilio Tuosto (University of Leicester, UK)

=== ICEcreamers ===

• Ivan Lanese (University of Bologna/INRIA, Italy; PC chair)

• Alberto Lluch Lafuente (IMT Institute for Advanced Studies Lucca, Italy)

• Ana Sokolova (University of Salzburg, Austria; PC chair)

• Hugo Torres Vieira (University of Lisbon, Portugal)

=== 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)

=== Contact ===

ice2014@easychair.org

=== Previous editions ===

The previous six editions of ICE have been held on

• * July 6th, 2008 in Reykjavik, Iceland, co-located with ICALP'08. The post-proceedings were published in ENTCS (vol.229-3).

• * August 31st, 2009 in Bologna, Italy, co-located with CONCUR'09. The post-proceedings were published in EPTCS (vol.12) and selected papers appeared in a joint special issue of MSCS (with EXPRESS’09 and SOS’09, Vol. 22, Number 2).

• * June 10th, 2010 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).

• * June 9th, 2011 in Reykjavik, Iceland, co-located with DisCoTec'11. The post-proceedings were published in EPTCS (vol.59) and selected papers appeared in a special issue of SACS (Vol. XXII).

• * June 16th, 2012 in Stockholm, Sweden, co-located with DisCoTec'12. The post-proceedings were published in EPTCS (vol.104) and a special issue of SCP is now in preparation.

• * June 6th, 2013 in Florence, Italy, co-located with DisCoTec’13. The post-proceedings were published in EPTCS (vol.131) and a special issue of SCP is now in preparation.
•