During the review phase, each submission is published in a dedicated discussion forum. The discussion forum can be accessed by the authors of the submission and by all the PC members not in conflict with the submission (the forum preserves anonymity of reviewers). The forum is used by reviewers to ask questions, clarifications and modifications from the authors, allowing them better to explain all aspects of their submission. The evaluation of the submission will take into account not only the reviews, but also the outcome of the discussion.
For the first time in ICE 2016 we plan to partially disclose the reviews of accepted papers. The public part of reviews will be published on the workshop website, together with the submitted version of the accepted papers. We believe this mechanism will enhance reviewing transparency and become yet another trademark of ICE in the following years.
Brief Announcements of unpublished work.
Full and short papers will appear in the post-proceedings and must report previously unpublished work and not be simultaneously submitted to other conferences/workshops with refereed proceedings. The ICE 2016 post-proceedings will be published in Electronic Proceedings in Theoretical Computer Science. In addition, we invite brief announcements of already published work or unpublished results, should the authors be interested in discussing their research with the ICE community and giving a talk. Brief announcements will not appear in the post-proceedings, however they can be made available to participants (provided that the authors give their consent).
Submissions must be made electronically in PDF format via EasyChair. Full papers should not exceed 15 pages in length, while short papers should not exceed 5 pages. Brief announcements of already published work should not exceed one page abstract which should include an explicit reference to the respective publication. Brief announcements of unpublished work should not exceed 5 pages. All submissions must be prepared in EPTCS style.
We plan to invite authors of selected papers and brief announcements to submit their work in a special issue in the Journal of Logical and Algebraic Methods in Programming (Elsevier). 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. A list of published and in preparation special issues of previous ICE editions can be found below.
Invited talk 1: Probabilistic NetKAT. Alexandra Silva.
On the Emptiness Problem of Subzero Automata. Matteo Mio, Henryk Michalewski and Mikołaj Bojańczyk.
Nominal Cellular Automata. Tommaso Bolognesi and Vincenzo Ciancia.
An Erlang Implementation of Multiparty Session Actors. Simon Fowler.
Multi-Threaded Actors. Keyvan Azadbakht, Frank De Boer and Vlad Nicolae Serbanescu.
An abstract semantics of global models of choreographies. Roberto Guanciale and Emilio Tuosto.
Invited talk 2: Dynamic Causality. Uwe Nestmann.
A Note on the Full Expressiveness of BIP. Eduard Baranov and Simon Bliudze.
Architecture Diagrams : A Graphical Language for Architecture Style Specification. Anastasia Mavridou, Eduard Baranov, Simon Bliudze and Joseph Sifakis.
Functional BIP: Embedding Connectors in Functional Programming Languages. Romain Edelmann, Simon Bliudze and Joseph Sifakis.
A modular formalization of reversibility for concurrent models and languages. Alexis Bernadet and Ivan Lanese.
Worlds of Events: Deduction with Partial Knowledge about Causality. Seyed Hossein Haeri, Peter Van Roy, Carlos Baquero and Christopher Meiklejohn.
A step towards checking security in IoT. Chiara Bodei, Pierpaolo Degano, Letterio Galletta and Gianluigi Ferrari.
Modeling Concurrency and Reconfiguration in Vehicular Systems: A pi-Calculus Approach. Joseph Campbell, Cumhur Erkan Tuncali, Theodore P. Pavlic and Georgios Fainekos.
ICE’15: held in Grenoble, France, co-located with DisCoTec’15. The post-proceedings were published in EPTCS (Vol. 189) and a special issue of JLAMP is in preparation.