ArtistDesign NoE

12. Programme

Ana Sokolova — 2012-05-08T15:49:52Z

ICE 2012 programme

Time Slot	Talk
08h55 – 9h00	Opening
09h00 – 10h00	Invited talk: Marcello Bonsangue Conformance Testing of Interacting Components
10h00 – 10h30	Break
10h30 – 11h00	Andres Aristizabal, Filippo Bonchi, Luis Pino and Frank Valencia Reducing Weak to Strong Bisimilarity in CCP
11h00 – 11h30	Johannes Borgström, Ramunas Gutkovas, Joachim Parrow, Björn Victor and Johannes Åman Pohjola Sorted Psi-calculi with Generalised Pattern Matching
11h30 – 12h00	Etienne Lozes and Jules Villard Shared Contract Obedient Endpoints
12h00 – 12h30	Gabriele Costa, Fabio Matinelli and Artsiom Yautsiukhin Metric-Aware Secure Service Orchestration
12h30 – 14h00	Lunch
14h00 – 15h00	Invited talk: Ichiro Hasuo Nonstandard Static Analysis: Discrete Verification Methodologies Transferred to Hybrid Applications
15h00 – 15h30	Simon Bliudze Towards a Theory of Glue
15h30 – 16h00	Break
16h00 – 16h30	Kyriakos Poyias and Emilio Tuosto Enforcing Architectural Styles in Presence of Unexpected Distributed Reconfigurations
16h30 – 17h00	Dan Ghica and Zaid Al-Zobaidi Coherent Minimisation: Towards efficient tamper-proof compilation
17h00 – 17h30	Jurriaan Rot, Irina Mariuca Asavoae, Frank De Boer, Marcello Bonsangue and Dorel Lucanu Interacting via the Heap in the Presence of Recursion
17h30 – 17h40	Closing
19h00 – ...	Workshop Dinner

Abstracts of Invited Talks

Marcello Bonsangue (LIACS & CWI, The Netherlands) “Conformance Testing of Interacting Components”

In component based software engineering, distributed components interact using complex coordination patterns that may be implemented by networks of communication channels. Channels receive stimuli from the environment possibly causing interactions to take place. In this talk I will introduce an execution model for channel based coordination, and present some principles and methods for testing implementations of coordination patterns to ensure their correct responses with respect to stimuli specifications.

Ichiro Hasuo (University of Tokyo, Japan) “Nonstandard Static Analysis: Discrete Verification Methodologies Transferred to Hybrid Applications”

*Hybrid systems* are those which exhibit both discrete "jump" and continuous "flow" dynamics. Their importance---as components of *cyber-physical systems*---is paramount now that more and more physical systems (cars, airplanes, etc.) are controlled with computers.

There are naturally two directions towards the study of hybrid systems: *control theory* (typically continuous) and *formal verification* (typically discrete). For us from the formal verification community, therefore, the big challenge is how to incorporate continuous "flow" dynamics. Many existing techniques---such as hybrid automaton or Platzer's differential dynamic logic---include differential equations explicitly. This incurs a difficult (and very interesting) question of how to handle differential equations.

In our project we take a different path of *turning flow into jump*---more precisely into infinitely many jumps each of which is infinitesimal (i.e. infinitely small). This makes everything discrete jump dynamics, to which all the discrete techniques accumulated in the community of formal verification readily apply. This venture is mathematically supported by *nonstandard analysis*, where we can rigorously speak about infinites and infinitesimals.

In the talk I will lay out: 1) our framework of a while-language and a Hoare-style program logic, augmented with an infinitesimal constant, for modeling and verification of hybrid systems; 2) how discrete verification techniques can be *transferred*, as they are, to hybrid applications, via the celebrated *transfer principle* in nonstandard analysis; and 3) the overview of our prototype automatic prover.

The talk is based on the joint work with Kohei Suenaga, Kyoto University. References:

[1] Kohei Suenaga and Ichiro Hasuo. Programming with Infinitesimals: A While-Language for Hybrid System Modeling. Proc. ICALP 2011, Track B. LNCS 6756, p. 392-403. Springer-Verlag.

[2] Ichiro Hasuo and Kohei Suenaga. Exercises in Nonstandard Static Analysis of Hybrid Systems. To appear in Proc. CAV 2012.

40. Important Dates

Ana Sokolova — 2012-01-25T22:42:34Z

25 April 2012	Full paper submission (Deadline extended!!)
30 April - 12 May 2012	Reviews, rebuttal and PC discussion
16 May 2012	Notification to authors
30 May 2012	Camera-ready for pre-proceedings
16 June 2012	ICE in Stockholm
15 Sept 2012	Camera-ready for post-proceedings

30. Paper Submission

Ana Sokolova — 2012-01-25T22:03:15Z

Submission Guidelines

Papers must report previously unpublished work and not be submitted to another conference/workshops with refereed proceedings. Programme Committee members, barring the co-chairs, may (and indeed are encouraged) to contribute. Accepted papers must be presented at the workshop by one of the authors.

Submissions must be made electronically in PDF format via EasyChair and should not exceed 15 pages with EPTCS style.

Selection procedure

The workshop proposes an innovative paper selection mechanism based on an interactive discussion amongst authors and PC members. As shown by the past edition of ICE, this considerably improves the quality of the papers, the reviews and the discussion during the workshop. We continue by detailing the selection procedure.

After the submission deadline expires, each PC member declares her/his conflicts and preferences on papers.
Organisers assign at least three anonymous reviewers to each paper.
Organisers publish each submitted paper on a Wiki and at the same time they creat a discussion forum associated to the paper such that
- PC members can participate to any forum (provided that (s)he is not in conflict with the associated paper) so to enhance discussions (and hence reviews).
- Authors have access only to forums associated to their own papers.
- Organisers can intervene in any forum.
- The access to the forum is initially restricted to the authors of the associated paper and to all non-conflicting PC members, and to all the organisers.
- PC members are allowed to post comments/questions which other participants admitted to the forum may reply to.
Organisers participate to all discussions and possibly solicit participation on controversial disputes. At the end of the discussion, the PC selects papers by considering not only the comments of the referees, but the whole discussion.

This selection procedure requires some efforts of the organisers, the reviewers and the authors but have been rather rewarding. In fact, on the one hand, reviewers may rapidly clarify possible blur aspects of papers by interacting with authors for elucidations; on the other hand, authors may better understand and address the comments of the reviewers.

Discussion forum

At least one author of each submitted paper must register at the discussion forum by

Choosing a nickname and a password;
Registering by clicking on the Register button, then accepting the rules and providing the necessary information;
Notifying the organisers of their chosen nickname by sending an email to the address, which will be communicated to authors upon submission of their paper.

Proceedings

The ICE 2012 post-proceedings will be published in Electronic Proceedings in Theoretical Computer Science (EPTCS). Electronic pre-proceedings will be available for all participants.

50. Committees

Ana Sokolova — 2012-01-25T21:58:47Z

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 (INRIA, 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 (organising committee)

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)