We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

cs.LO

Change to browse by:

References & Citations

DBLP - CS Bibliography

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo

Computer Science > Logic in Computer Science

Title: Proceedings 10th Interaction and Concurrency Experience

Authors: Massimo Bartoletti (University of Cagliari, IT), Laura Bocchi (University of Kent, UK), Ludovic Henrio (CNRS, Sophia Antipolis, FR), Sophia Knight (Uppsala University, SE)
Abstract: This volume contains the proceedings of ICE 2017, the 10th Interaction and Concurrency Experience, which was held in Neuch\^atel, Switzerland on the 21st and 22nd of June 2017 as a satellite event of DisCoTec'17.
The ICE procedure for paper selection allows PC members to interact, anonymously, with authors. During the review phase, each submitted paper is published on a discussion forum whose access is restricted to the authors and to all the PC members not declaring a conflict of interest. The PC members post comments and questions that the authors reply to. For the first time, the 2017 edition of ICE included a double blind reviewing of original research papers, in order to increase fairness and avoid bias in reviewing. The gender balance of accepted papers was also more even than in past years.
Each paper was reviewed by three PC members, and altogether five papers were accepted for publication (the workshop also featured five brief announcements which are not part of this volume). We were proud to host three invited talks, by Christian Cachin, Marieke Huismann, and Pawe{\l} Sobocinski. The abstracts of these talks are included in this volume together with the regular papers.
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)
Journal reference: EPTCS 261, 2017
DOI: 10.4204/EPTCS.261
Cite as: arXiv:1711.10708 [cs.LO]
  (or arXiv:1711.10708v1 [cs.LO] for this version)

Submission history

From: EPTCS [view email]
[v1] Wed, 29 Nov 2017 07:14:40 GMT (7kb)

Link back to: arXiv, form interface, contact.