计算机科学 > 计算机科学中的逻辑
[提交于 2018年10月4日
]
标题: 第11届交互与并发体验会议记录
标题: Proceedings 11th Interaction and Concurrency Experience
摘要: 本卷包含ICE'18,即第11届交互与并发经验研讨会的论文集,该会议于2018年6月20日至21日在西班牙马德里举行,是DisCoTec'18的卫星活动。 ICE研讨会系列具有独特的评审和选拔程序,允许程序委员会成员与作者匿名互动。 如同过去十届一样,这种互动显著提高了评审反馈的准确性以及被接受论文的质量,并为研讨会期间的热烈讨论奠定了基础。 第二次,2018年的ICE版次包括对原创研究论文的双盲评审,以增加公平性并避免评审中的偏见。 每篇论文由三位程序委员会成员评审,共有六篇论文被接受发表(研讨会还举办了四场口头报告,这些不在本卷中)。 我们很荣幸邀请到Elvira Albert、Silvia Crafa和Alexey Gotsman的三场特邀演讲。 这些演讲的摘要与常规论文一起包含在本卷中。 最终版本的投稿内容考虑了研讨会上的讨论,已包含在内。
文献和引用工具
与本文相关的代码,数据和媒体
alphaXiv (什么是 alphaXiv?)
CatalyzeX 代码查找器 (什么是 CatalyzeX?)
DagsHub (什么是 DagsHub?)
Gotit.pub (什么是 GotitPub?)
Hugging Face (什么是 Huggingface?)
带有代码的论文 (什么是带有代码的论文?)
ScienceCast (什么是 ScienceCast?)
演示
推荐器和搜索工具
arXivLabs:与社区合作伙伴的实验项目
arXivLabs 是一个框架,允许合作伙伴直接在我们的网站上开发和分享新的 arXiv 特性。
与 arXivLabs 合作的个人和组织都接受了我们的价值观,即开放、社区、卓越和用户数据隐私。arXiv 承诺这些价值观,并且只与遵守这些价值观的合作伙伴合作。
有一个为 arXiv 社区增加价值的项目想法吗? 了解更多关于 arXivLabs 的信息.