posted by user: albertolluch || 1940 views || tracked by 4 users: [display]

ICE 2013 : 6th Interaction and Concurrency Experience

FacebookTwitterLinkedInGoogle

Link: http://www.discotec.org/workshops/ice2013/
 
When Jun 6, 2013 - Jun 6, 2013
Where Florence, Italy
Submission Deadline Mar 20, 2013
Notification Due Apr 24, 2013
Final Version Due Sep 15, 2013
 

Call For Papers

[- Apologies for multiple copies -]

ICE 2013
6th Interaction and Concurrency Experience
June 6, 2013, Florence, Italy
http://www.discotec.org/workshops/ice2013/


Satellite workshop of DisCoTec 2013
http://www.discotec.org


=== Highlights ===

- Invited talks: Davide Sangiorgi & Damien Pous
- Innovative selection procedure
- Special issue of Science of Computer Programming
(http://www.journals.elsevier.com/science-of-computer-programming/)


=== Important Dates ===

20 March 2013...................Full paper submission
21 March - 21 April 2013....Reviews, rebuttal, and PC discussion
24 April 2013......................Notification to authors
6 June 2013.......................ICE in Florence
15 Sept 2013.....................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 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.

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 interactions
- Coinductive techniques for reactive systems
- 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
- Relations between 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. The discussion forum can be
accessed by the authors of the paper and by all the PC members not in
conflict with the paper. The forum is used by reviewers to ask questions
and clarifications to the authors, allowing them to better explain all the aspects
of their paper. The evaluation of the paper will keep into account not only
the reviews, but also the outcome of the discussion.

As witnessed by the past five 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 are 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 ===

We invite for three types of submissions: (1) Full Papers, (2) Short Papers, and (3) Brief Announcements of already Published Papers.

Full and short papers to appear in the post-proceedings must report previously unpublished
work and not be simultaneously submitted to other conferences/workshops with
refereed proceedings. The ICE 2013 post-proceedings will be
published in Electronic Proceedings in Theoretical Computer Science
(http://eptcs.org/). In addition, we invite for brief announcements of already published results, should the authors feel like advertising their work and giving a talk. Brief announcements will not be part of the post-proceedings.

Submissions must be made electronically in PDF format via EasyChair
(http://www.easychair.org/conferences/?conf=ice2013). Full papers should not
exceed 15 pages while short papers and brief announcements should not exceed 5 pages with the EPTCS style (http://style.eptcs.org/).

Accepted (full and short) papers and brief announcements must be presented at the workshop by one of the authors.


=== Special Issue ===

Extended versions of the best full papers selected by the PC will be invited
to appear in a special issue of the journal of Science of Computer
Programming (http://www.journals.elsevier.com/science-of-computer-programming/ ).
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 ===

Luca Aceto (Reykjavik University, Iceland)
Simon Bliudze (EPFL, Switzerland)
Laura Bocchi (University of Leicester, UK)
Filippo Bonchi (CNRS, France)
Roberto Bruni (University of Pisa, Italy)
Marcello Bonsangue (Leiden University, The Netherlands)
Ornela Dardha (University of Bologna/INRIA, Italy)
Ichiro Hasuo (University of Tokyo, Japan)
Tobias Heindel (CEA Saclay, France)
Ludovic Henrio (CNRS, France)
Clemens Kupke (University of Strathclyde, Scotland, UK)
Julien Lange (University of Leicester, UK)
Antonia Lopes (University of Lisbon, Portugal)
Giuliano Losa (EPFL, Switzerland)
Claudio A. Mezzina (FBK Trento, Italy)
Matteo Mio (University of Edinburgh, UK)
Valentina Monreale (University of Pisa, Italy)
Luca Mottola (Politecnico di Milano, Italy)
Daniela Petrisan (University of Leicester, UK)
Paola Spoletini (University of Insubria, Italy)
Emilio Tuosto (University of Leicester, UK)
Valerio Senni (IMT Lucca, Italy)
Alexandra Silva (Radboud University Nijmegen, The Netherlands)
Josef Widder (TU Vienna, Austria)
Roberto Zunino (Università degli Studi di Trento and COSBI, Italy)

=== ICEcreamers ===

- Marco Carbone (IT University of Copenhagen, Denmark; co-chair)
- Ivan Lanese (University of Bologna/INRIA, Italy)
- Alberto Lluch Lafuente (IMT Lucca, Italy)
- Ana Sokolova (University of Salzburg, Austria; co-chair)

=== Contact ===

ice2013@easychair.org


=== Previous editions ===

The previous five 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.

Related Resources

ACM ICHMI 2024   ACM--2024 4th International Conference on Human–Machine Interaction (ICHMI 2024)
CONCUR 2024   International Conference on Concurrency Theory
PETRINETS 2024   45th International Conference on Application and Theory of Petri Nets and Concurrency
ACM ICAAI 2024   ACM--2024 The 8th International Conference on Advances in Artificial Intelligence (ICAAI 2024)
QoMEX 2024   16th International Conference on Quality of Multimedia Experience
CONVERSATIONS 2024   International Workshop on Chatbots and Human-Centred AI
IMSA, Challenges of Intelligent Systems 2024   Intelligent Methods, Systems, and Applications​
Ideal Machine-Human Interface 2024   Special Call for Computers in Human Behavior: The AI Interface: Designing for the Ideal Machine-Human Experience
ACM HP3C 2024   ACM--2024 8th International Conference on High Performance Compilation, Computing and Communications (HP3C 2024)
ArtsIT 2024   13th EAI International Conference: Arts, Interactivity & Game Creation