Skip to main content
CenXiv.org
此网站处于试运行阶段,支持我们!
我们衷心感谢所有贡献者的支持。
贡献
赞助
cenxiv logo > cs > arXiv:1810.02053

帮助 | 高级搜索

计算机科学 > 计算机科学中的逻辑

arXiv:1810.02053 (cs)
[提交于 2018年10月4日 ]

标题: 第11届交互与并发体验会议记录

标题: Proceedings 11th Interaction and Concurrency Experience

Authors:Massimo Bartoletti (University of Cagliari, Italy), Sophia Knight (Uppsala University, Sweden)
摘要: 本卷包含ICE'18,即第11届交互与并发经验研讨会的论文集,该会议于2018年6月20日至21日在西班牙马德里举行,是DisCoTec'18的卫星活动。 ICE研讨会系列具有独特的评审和选拔程序,允许程序委员会成员与作者匿名互动。 如同过去十届一样,这种互动显著提高了评审反馈的准确性以及被接受论文的质量,并为研讨会期间的热烈讨论奠定了基础。 第二次,2018年的ICE版次包括对原创研究论文的双盲评审,以增加公平性并避免评审中的偏见。 每篇论文由三位程序委员会成员评审,共有六篇论文被接受发表(研讨会还举办了四场口头报告,这些不在本卷中)。 我们很荣幸邀请到Elvira Albert、Silvia Crafa和Alexey Gotsman的三场特邀演讲。 这些演讲的摘要与常规论文一起包含在本卷中。 最终版本的投稿内容考虑了研讨会上的讨论,已包含在内。
摘要: This volume contains the proceedings of ICE'18, the 11th Interaction and Concurrency Experience, which was held in Madrid, Spain on the 20th and 21st of June 2018 as a satellite event of DisCoTec'18. The ICE workshop series features a distinguishing review and selection procedure, allowing PC members to interact anonymously with authors. As in the past ten 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. For the second time, the 2018 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 six papers were accepted for publication (the workshop also featured four oral presentations which are not part of this volume). We were proud to host three invited talks, by Elvira Albert, Silvia Crafa, and Alexey Gotsman. The abstracts of these talks are included in this volume together with the regular papers. Final versions of the contributions, taking into account the discussion at the workshop, are included.
主题: 计算机科学中的逻辑 (cs.LO) ; 分布式、并行与集群计算 (cs.DC); 编程语言 (cs.PL)
引用方式: arXiv:1810.02053 [cs.LO]
  (或者 arXiv:1810.02053v1 [cs.LO] 对于此版本)
  https://doi.org/10.48550/arXiv.1810.02053
通过 DataCite 发表的 arXiv DOI
期刊参考: EPTCS 279, 2018
相关 DOI: https://doi.org/10.4204/EPTCS.279
链接到相关资源的 DOI

提交历史

来自: EPTCS [查看电子邮件]
[v1] 星期四, 2018 年 10 月 4 日 04:44:13 UTC (5 KB)
全文链接:

获取论文:

    查看标题为《》的 PDF
  • 查看中文 PDF
  • HTML
  • 其他格式
查看许可
当前浏览上下文:
cs.PL
< 上一篇   |   下一篇 >
新的 | 最近的 | 2018-10
切换浏览方式为:
cs
cs.DC
cs.LO

参考文献与引用

  • NASA ADS
  • 谷歌学术搜索
  • 语义学者
a 导出 BibTeX 引用 加载中...

BibTeX 格式的引用

×
数据由提供:

收藏

BibSonomy logo Reddit logo

文献和引用工具

文献资源探索 (什么是资源探索?)
连接的论文 (什么是连接的论文?)
Litmaps (什么是 Litmaps?)
scite 智能引用 (什么是智能引用?)

与本文相关的代码,数据和媒体

alphaXiv (什么是 alphaXiv?)
CatalyzeX 代码查找器 (什么是 CatalyzeX?)
DagsHub (什么是 DagsHub?)
Gotit.pub (什么是 GotitPub?)
Hugging Face (什么是 Huggingface?)
带有代码的论文 (什么是带有代码的论文?)
ScienceCast (什么是 ScienceCast?)

演示

复制 (什么是复制?)
Hugging Face Spaces (什么是 Spaces?)
TXYZ.AI (什么是 TXYZ.AI?)

推荐器和搜索工具

影响之花 (什么是影响之花?)
核心推荐器 (什么是核心?)
IArxiv 推荐器 (什么是 IArxiv?)
  • 作者
  • 地点
  • 机构
  • 主题

arXivLabs:与社区合作伙伴的实验项目

arXivLabs 是一个框架,允许合作伙伴直接在我们的网站上开发和分享新的 arXiv 特性。

与 arXivLabs 合作的个人和组织都接受了我们的价值观,即开放、社区、卓越和用户数据隐私。arXiv 承诺这些价值观,并且只与遵守这些价值观的合作伙伴合作。

有一个为 arXiv 社区增加价值的项目想法吗? 了解更多关于 arXivLabs 的信息.

这篇论文的哪些作者是支持者? | 禁用 MathJax (什么是 MathJax?)
  • 关于
  • 帮助
  • contact arXivClick here to contact arXiv 联系
  • 订阅 arXiv 邮件列表点击这里订阅 订阅
  • 版权
  • 隐私政策
  • 网络无障碍帮助
  • arXiv 运营状态
    通过...获取状态通知 email 或者 slack

京ICP备2025123034号