[TYPES/announce] ICE 2011 - First Call for Papers (Deadline: 4th April 2011)

[Marco Carbone]

-------- Apologies for multiple copies -------


======================================================================

                               ICE 2011
              4th Interaction and Concurrency Experience
               Reliable and Contract-based Interactions
                   June 9, 2011, Reykjavik, Iceland
         http://www.artist-embedded.org/artist/-ICE-2011-.html

                  Satellite workshop of DisCoTec 2011
                        http://discotec.ru.is


=== Highlights ===

- Invited talks: TBA
- Innovative selection procedure
- Special issue of Scientific Annals of Computer Science
  (http://www.info.uaic.ro/bin/Annals/)


=== Important Dates ===

  28 March 2011.............Abstract submission
   4 April 2011................Full paper submission
  11 April - 7 May 2011...Reviews, rebuttal and PC discussion
   9 May 2011................Notification to authors
  23 May 2011...............Camera-ready for pre-proceedings
   9 June 2011...............ICE in Reykjavik
  15 Sept 2011..............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 handshaking mechanisms used among
actors 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'11 is ***Reliable and Contract-based Interactions***.
Reliable interactions are, e.g., those providing suitable guarantees
on the overall behaviour of interactive systems, enjoying suitable
logical safety/liveness properties, adhering to certain QoS standards,
offering certain levels of trust/security. Contract-based interactions
are those where the interacting entities are committed to give certain
guarantees whenever certain assumptions are met by their operating
environment (including other autonomous entities and networking
middleware). This way, contracts can be used to define faulty and
malicious behaviours and to identify the responsible in case of
contract violation or abuse.

Topics of interest include, but shall not be limited to:

- logics and types for interactions
- concurrent models and semantics
- techniques and tools for specification, analysis, verification of
  reliable interaction
- programming primitives for reliable interactions
- languages, protocols and mechanisms for sound coordination
- "by construction" guarantees for reliable interaction
- expressiveness results
- formal languages for contracts
- formal analysis of contracts
- contract negotiation, discovery and monitoring


=== Selection Procedure ===

The workshop pushes for an innovative paper selection mechanism based
on an interactive discussion amongst authors and PC members. As
witnessed by the past three editions of ICE, this 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.

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 to all the PC members not in conflict of interests.
The PC members post comments / questions that the authors shall reply
to.


=== The Public Wiki ===

After the notification, the accepted papers will be published on a
public forum, the rationale being to initiate public discussions that
will trigger and stimulate the scientific debate of the workshop. We
argue that this will drive the workshop discussions and let
perspective participants to interact with each other well in advance
with respect to the modus operandi of 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 2011 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=ice2011) and should not
exceed 15 pages with EPTCS style (http://style.eptcs.org/).

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


=== Special Issue ===

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

 Karthik Bhargavan (INRIA, France)
 Simon Bliudze (CEA LIST, France) (co-chair)
 Filippo Bonchi (INRIA, France)
 Roberto Bruni (University of Pisa, Italy)
 Marzia Buscemi (IMT Lucca Institute for Advanced Studies, Italy)
 Luis Caires (University of Lisbon, Protugal)
 Marco Carbone (IT University of Copenhagen, Denmark)
 Erik de Vink (Technische Universiteit Eindhoven, Netherlands)
 Laurent Doyen (ENS Cachan, France)
 Davide Grohmann (Italy)
 Barbara Jobstmann (CNRS/Verimag, France)
 Ivan Lanese (University of Bologna, Italy)
 Alberto Lluch Lafuente (IMT Lucca, Italy)
 Hernan Melgratti (University of Buenos Aires, Argentina)
 Dejan Nickovic (IST, Austria)
 Sylvain Pradalier (INRIA Rocquencourt, France)
 Sophie Quinton (Verimag, France)
 Alexandra Silva (CWI, Netherlands) (co-chair)
 Pawel Sobocinski (University of Southampton, UK)
 Ana Sokolova (University of Salzburg, Austria)
 Paola Spoletini (University of Insubria, Italy)
 Emilio Tuosto (University of Leicester, UK)
 Frank D. Valencia (LIX, France)
 Nalini Vasudevan (Columbia University, NY, USA)
 Hugo Torres Vieira (New University of Lisbon, Portugal)


=== ICEcreamers ===

- Simon Bliudze (CEA LIST, France; co-chair)
- Roberto Bruni (University of Pisa, Italy)
- Marco Carbone (IT University of Copenhagen, Denmark)
- Alexandra Silva (CWI, Netherlands; co-chair)


=== Contact ===

ice2011 at easychair.org


=== Previous editions ===

The previous three 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 a joint special issue of SACS (with CAMPUS'10 and
  CS2BIO'10) is now in preparation.


=== Sponsors ===

CEA List
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20110125/70de55ef/attachment.html>