第十届交互与并发体验会议论文集
计算机科学中的逻辑
2017-11-30 v1 编程语言
摘要
本卷收录了 ICE 2017（第十届交互与并发体验）的会议论文，该会议于 2017 年 6 月 21 日至 22 日在瑞士纳沙泰尔举行，作为 DisCoTec'17 的卫星事件。ICE 的论文遴选程序允许程序委员会委员以匿名方式与作者互动。在评审阶段，每篇投稿论文发布于一个讨论论坛，其访问权限限于作者及所有未声明利益冲突的程序委员会委员。程序委员会委员发布评论与问题，作者予以回复。2017 年版 ICE 首次将原创研究论文的双盲评审纳入其中，以提升公平性并避免评审偏见。录用论文的性别比例也比往年更为均衡。每篇论文由三位程序委员会委员评审，共计五篇论文被录用发表（研讨会另含五篇简短公告，不属本卷内容）。我们荣幸邀请到 Christian Cachin、Marieke Huismann 和 Paweł Sobocinski 作三场特邀报告。这些报告的摘要与常规论文一同收录于本卷。
引用
@article{arxiv.1711.10708,
title = {Proceedings 10th Interaction and Concurrency Experience},
author = {Massimo Bartoletti and Laura Bocchi and Ludovic Henrio and Sophia Knight},
journal= {arXiv preprint arXiv:1711.10708},
year = {2017}
}