ICE 2012 - Interaction and Concurrency Experience

Website www.artist-embedded.org/artist/-ICE-2012-.html | Edit Freely

Category ICE 2012

Deadline: March 30, 2012 | Date: June 16, 2012

Venue/Country: Stockholm, Sweden

Updated: 2012-03-20 17:20:00 (GMT+9)

Call For Papers - CFP

June 16, 2012, Stockholm, Sweden

http://www.artist-embedded.org/artist/-ICE-2012-.html

Satellite workshop of DisCoTec 2012

http://discotec.ict.kth.se/

=== Highlights ===

- Invited talks: Marcello Bonsangue & Ichiro Hasuo

- Innovative selection procedure

- Special issue of Scientific Annals of Computer Science

(http://www.info.uaic.ro/bin/Annals/)

=== Important Dates ===

30 March 2012Abstract submission

04 April 2012Full paper submission

18 April - 12 May 2012Reviews, rebuttal and PC discussion

16 May 2012Notification to authors

30 May 2012Camera-ready for pre-proceedings

16 June 2012ICE in Stockholm

15 Sept 2012Camera-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 synchronization mechanisms used among

components 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 2012 is

***Distributed coordination, execution models, and resilient interaction***.

Topics of interest include, but are not limited to:

- Process algebra and coordination: transformation, analysis and implementation

- Models for distributed coordination and semantics

- Techniques and tools for specification, analysis, verification of resilient interaction

- 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

- Relating 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 whose access will be restricted

to the authors and all the PC members who do not have a conflict of

interests with the paper.

The PC members post comments/questions that the authors shall reply

to.

As witnessed by the past four 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 will be 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.

=== Submission Guidelines ===

Papers must report previously unpublished work and not be

simultaneously submitted to other conferences/workshops with

refereed proceedings. The ICE 2012 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=ice2012) and should not

exceed 15 pages with the EPTCS style (http://style.eptcs.org/).

Accepted papers must be presented at the workshop by one of the

authors.

=== Special Issue ===

Full versions 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 ===

Lucia Acciai (University of Firenze, Italy)

Luca Aceto (Reykjavik University, Iceland)

Massimo Bartoletti (University of Cagliari, Italy)

Simon Bliudze (EPFL, Switzerland)

Laura Bocchi (University of Leicester, United Kingdom)

Filippo Bonchi (CNRS, France)

Roberto Bruni (University of Pisa, Italy)

Marco Carbone (co-chair)

Vincenzo Ciancia (University of Amsterdam, The Netherlands)

Pierre-Malo Denielou (Imperial College, United Kingdom)

Cinzia Di Giusto (CEA, France)

Tobias Heindel (CEA, France)

Tom Hirschowitz (CNRS, France)

Bartek Klin (Warsaw University, Poland)

Ivan Lanese (University of Bologna/INRIA, Italy)

Alberto Lluch Lafuente (IMT Lucca, Italy)

Bas Luttik (Technische Universiteit Eindhoven, The Netherlands)

Manuel Mazzara (Newcastle University, United Kingdom)

Mohammadreza Mousavi (Technische Universiteit Eindhoven, The Netherlands)

Damien Pous (CNRS, France)

Jens-Wolfhard Schicke-Uffmann (TU Braunschweig, Germany )

Alexandra Silva (co-chair)

Ana Sokolova (University of Salzburg, Austria)

Francesco Tiezzi (IMT Lucca, Italy)

Emilio Tuosto (University of Leicester, United Kingdom)

Erik de Vink (Technische Universiteit Eindhoven, The Netherlands)

=== ICEcreamers ===

- Marco Carbone (IT University of Copenhagen, Denmark; co-chair)

- Ivan Lanese (University of Bologna/INRIA, Italy)

- Alexandra Silva (Radboud University Nijmegen & CWI, The Netherlands; HasLab / INESC TEC, Portugal; co-chair)

- Ana Sokolova (University of Salzburg, Austria)

=== Contact ===

ice2012easychair.org

=== Previous editions ===

The previous four 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 selected papers appeared in a joint special issue of SACS (with CAMPUS'10 and

CS2BIO'10, Vol. XXI).

* June 9th, 2011 in Reykjavik, Iceland with focus on Reliable and Contract-based Interactions, co-located with DisCoTec'11.

The post-proceedings were published in EPTCS (vol.59)

and a special issue of SACS is now in preparation.

=== Workshop Sponsors ===

CEA-List

Computer Science Department - University of Bologna