当前位置:
X-MOL 学术
›
arXiv.cs.LO
›
论文详情
Our official English website, www.x-mol.net, welcomes your
feedback! (Note: you will need to create a separate account there.)
Proceedings 13th Interaction and Concurrency Experience
arXiv - CS - Logic in Computer Science Pub Date : 2020-09-16 , DOI: arxiv-2009.07628 Julien Lange (Royal Holloway, University of London), Anastasia Mavridou (KBR/NASA Ames Research Center), Larisa Safina (INRIA), Alceste Scalas (DTU Compute, Technical University of Denmark)
arXiv - CS - Logic in Computer Science Pub Date : 2020-09-16 , DOI: arxiv-2009.07628 Julien Lange (Royal Holloway, University of London), Anastasia Mavridou (KBR/NASA Ames Research Center), Larisa Safina (INRIA), Alceste Scalas (DTU Compute, Technical University of Denmark)
This volume contains the proceedings of ICE'20, the 13th Interaction and
Concurrency Experience, which was held online on the 19th of June 2020, as a
satellite event of DisCoTec'20. The ICE workshop series features a
distinguishing review and selection procedure, allowing PC members to interact
anonymously with authors. As in the past 12 editions, this interaction
considerably improved the accuracy of the feedback from the reviewers and the
quality of accepted papers, and offered the basis for lively discussion during
the workshop. The 2020 edition of ICE included double blind reviewing of
original research papers, in order to increase fairness and avoid bias in
reviewing. Each paper was reviewed by three PC members, and altogether 5 papers
were accepted for publication - plus 5 oral presentations which are not part of
this volume. We were proud to host 2 invited talks, by Cinzia Di Giusto and
Karoliina Lehtinen. The abstracts of these talks are included in this volume
together with the regular papers. The final versions of the contributions,
taking into account the discussion at the workshop, are included.
中文翻译:
第 13 次交互和并发体验
本卷包含 ICE'20(第 13 届交互和并发体验)的会议记录,该会议于 2020 年 6 月 19 日在线举行,作为 DisCoTec'20 的卫星活动。ICE 研讨会系列具有独特的审查和选择程序,允许 PC 成员与作者匿名互动。与过去的 12 个版本一样,这种互动大大提高了审稿人反馈的准确性和接收论文的质量,并为研讨会期间的热烈讨论奠定了基础。2020 版 ICE 包括对原始研究论文的双盲审查,以增加审查的公平性并避免审查中的偏见。每篇论文都由三名 PC 成员审阅,共有 5 篇论文被接受发表 - 加上 5 篇不属于本卷的口头报告。我们很荣幸能举办 2 场邀请演讲,分别由 Cinzia Di Giusto 和 Karoliina Lehtinen 主持。这些演讲的摘要与常规论文一起包含在本卷中。考虑到研讨会上的讨论,文稿的最终版本也包括在内。
更新日期:2020-09-17
中文翻译:
第 13 次交互和并发体验
本卷包含 ICE'20(第 13 届交互和并发体验)的会议记录,该会议于 2020 年 6 月 19 日在线举行,作为 DisCoTec'20 的卫星活动。ICE 研讨会系列具有独特的审查和选择程序,允许 PC 成员与作者匿名互动。与过去的 12 个版本一样,这种互动大大提高了审稿人反馈的准确性和接收论文的质量,并为研讨会期间的热烈讨论奠定了基础。2020 版 ICE 包括对原始研究论文的双盲审查,以增加审查的公平性并避免审查中的偏见。每篇论文都由三名 PC 成员审阅,共有 5 篇论文被接受发表 - 加上 5 篇不属于本卷的口头报告。我们很荣幸能举办 2 场邀请演讲,分别由 Cinzia Di Giusto 和 Karoliina Lehtinen 主持。这些演讲的摘要与常规论文一起包含在本卷中。考虑到研讨会上的讨论,文稿的最终版本也包括在内。