Proceedings of the 13th International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software
硬件和软件基础设施的并发和并行程度越来越高，这就要求探索和理解各种基础和实用的想法。并行和通信软件的程序设计语言方法国际研讨会（PLACES）致力于这一领域的工作。该研讨会为来自不同领域的研究人员提供了一个论坛，以交流有关现代和未来编程的这些挑战的新想法，其中并发和分布是规范，而不是边缘问题。该主题是核心，并与ETAPS的主要会议，特别是与ESOP很好地结合在一起。
2022-03-23 cs.DC cs.LO cs.PL
Proceedings Second International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software
第二届并行和通信程序设计语言方法国际研讨会（PLACES）与ETAPS 2009在英国约克市举行。研讨会于2009年3月22日星期日举行。讲习班的重点是计算机软件不断变化的环境所带来的挑战。传统上，大多数软件都是为一台具有一个CPU的计算机编写的。然而，今天Web上的应用程序是使用部署在许多机器上的许多交互服务构建的;很快，现成的CPU将托管数千个核心，传感器网络将由大量处理单元组成。许多普通的应用程序很快就需要有效地利用数千个计算节点。在某种粒度级别上，这种系统中的计算将本质上是并发的和以通信为中心的。为即将到来的计算范式开发有效的编程方法需要探索和理解各种各样的思想和技术。该研讨会提供了一个论坛，来自不同领域的研究人员可以在不久的将来就编程的核心挑战之一交换新的想法，开发编程方法和基础设施，其中并发和分布是规范，而不是边缘问题。
2010-02-06 cs.DC cs.PL
Proceedings 6th Interaction and Concurrency Experience
本卷包含ICE 2013的会议记录，第六届交互和并发体验研讨会于2013年6月6日在意大利佛罗伦萨举行，作为DisCoTec 2013的卫星活动。ICE的论文选择程序允许PC成员匿名与作者互动。在评审阶段，每篇提交的论文都会在维基上发布，并与一个讨论论坛相关联，该论坛的访问仅限于作者和所有未声明利益冲突的PC成员。PC成员发表评论和问题，作者回复。每篇论文由3名PC成员评审，共6篇论文被接受发表。我们很自豪地主办了两次特邀演讲，Davide Sangiorgi和Filippo Bonchi，他们的摘要与常规论文一起包含在本卷中。研讨会还简要宣布了一份已经发表的论文。
2013-10-15 cs.DC cs.LO cs.PL
Proceedings 2nd Interaction and Concurrency Experience: Structured Interactions
本卷包含第二届交互与并发体验研讨会（ICE'09）的会议记录。该研讨会于2009年8月31日在意大利博洛尼亚举行，作为CONCUR'09的附属研讨会。上一届ICE在雷克雅未克举办（2008年）。ICE研讨会旨在作为面向理论计算机科学各个领域研究人员的一系列国际科学会议，每年研讨会都侧重于一个特定的主题：ICE 2009侧重于结构化交互，这意味着超越“简单”点对点同步的同步类（例如，多播或广播同步、基于事件通知的交互、时间相关交互、分布式事务等）。
2009-12-03 cs.CR cs.DC cs.LO
Proceedings Third Interaction and Concurrency Experience: Guaranteed Interaction
本卷包含第三届交互和并发体验（ICE 2010）研讨会的会议记录，该研讨会于2010年6月10日在荷兰阿姆斯特丹举行，是DisCoTec'10的卫星活动。每年，研讨会都集中在一个特定的主题上：ICE 2010的主题是保证的相互作用，例如，我们的意思是保证安全性，反应性，服务质量或满足分析假设。
2010-10-26 cs.DC cs.LO cs.MA
Proceedings Tenth Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software
PLACES 2017（全称：并行和通信中心软件的程序设计语言方法）是PLACES研讨会系列的第十版。自2008年第一届PLACES加入DisCoTec之后，自2009年以来，该研讨会每年都是ETAPS的一部分，现在是ETAPS卫星活动的一部分。PLACES 2017于4月29日在瑞典乌普萨拉举行。开办这一系列讲习班是为了促进新的程序设计语言思想应用于为并行和通信是内在方面的系统开发软件这一日益重要的问题。这包括用于多核系统和大规模分布式和/或面向服务的系统的软件。PLACES的范围包括新的程序设计语言特性、全新的程序设计语言设计、新的类型系统、新的语义方法、新的程序分析技术和新的实现机制。本卷包括被接受在讲习班上提出的论文。
2017-04-08 cs.DC cs.PL cs.SE
Proceedings Eighth International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software
PLACES 2015（全称：面向以并发和通信为中心的软件的程序设计语言方法）是PLACES研讨会系列的第八版。自2008年第一届PLACES加入DisCoTec之后，自2009年以来，该研讨会每年都是ETAPS的一部分，现在是ETAPS卫星活动的一部分。PLACES 2015于4月18日在英国伦敦举行。开办这一系列讲习班是为了促进新的程序设计语言思想应用于为并行和通信是内在方面的系统开发软件这一日益重要的问题。这包括用于多核系统和大规模分布式和/或面向服务的系统的软件。PLACES的范围包括新的程序设计语言特性、全新的程序设计语言设计、新的类型系统、新的语义方法、新的程序分析技术和新的实现机制。这一卷包括在讲习班上提出的文件的修订本。
2016-02-10 cs.DC cs.PL cs.SE
Proceedings 11th Interaction and Concurrency Experience
本卷包含ICE'18的会议记录，第11届交互和并发体验，于2018年6月20日和21日在西班牙马德里举行，作为DisCoTec'18的卫星活动。ICE研讨会系列具有独特的审查和选择程序，允许PC成员匿名与作者互动。与过去十期一样，这种互动大大提高了审稿人反馈的准确性和被接受论文的质量，并为研讨会期间的热烈讨论奠定了基础。2018年版ICE第二次包括对原始研究论文的双盲审查，以增加公平性并避免审查中的偏见。每篇论文由三名PC成员审查，共有六篇论文被接受出版（研讨会还包括四次口头报告，不属于本卷的一部分）。我们很自豪地举办了三场邀请演讲，分别是Elvira Albert、Silvia Crafa和Alexey Gotsman。这些演讲的摘要与常规论文一起收录在本卷中。考虑到研讨会的讨论情况，本报告载有这些意见的定稿。
2018-10-04 cs.DC cs.LO cs.PL
Proceedings 19th Interaction and Concurrency Experience
本卷收录ICE'26会议论文集，涵盖8篇投稿经匿名互动评审后接受的5篇论文及2篇口头报告，并包含特邀报告摘要，体现该系列会议的独特评审机制与活跃讨论。
2026-09-28 cs.DC
Proceedings Fifth Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software
PLACES 2012（全称：面向以并发和通信为中心的软件的程序设计语言方法）是PLACES研讨会系列的第五版。自2008年第一届PLACES加入DisCoTec之后，自2009年以来，该研讨会每年都是ETAPS的一部分，现在是ETAPS卫星活动的一部分。PLACES 2012于3月31日在爱沙尼亚塔林举行。开办这一系列讲习班是为了促进新的程序设计语言思想应用于为并行和通信是内在方面的系统开发软件这一日益重要的问题。这包括用于多核系统和大规模分布式和/或面向服务的系统的软件。PLACES的范围包括新的程序设计语言特性、全新的程序设计语言设计、新的类型系统、新的语义方法、新的程序分析技术和新的实现机制。今年的论文征集活动共收到17份论文，方案委员会从中挑选了10份论文在讲习班上介绍。讲习班结束后，所有作者都应邀编写了论文的修订本，以列入《欧洲条约汇编》的议事录。六篇论文的作者接受了邀请，这些论文构成了本卷。
2013-02-23 cs.DC cs.LO cs.PL
Proceedings 15th Interaction and Concurrency Experience
本卷包含ICE'22的会议记录，第15届交互和并发体验，这是在意大利卢卡举行的混合活动，也是DisCoTec'22的卫星活动。ICE研讨会系列具有独特的审查和选择程序：鼓励PC成员匿名与作者互动。2022年版的ICE包括对原始研究论文的双盲审查，以增加公平性并避免审查中的偏见。每篇论文由两到四名PC成员（平均3.333333333）审查，共有5篇论文被接受出版-加上3个口头报告，这不是本卷的一部分。我们很自豪地主办了两个邀请会谈，由Ilaria Castellani和Matthew Parkinson。本卷载有这些会谈的摘要，以及研究论文的最后版本，其中考虑到了讲习班的讨论情况。
2022-08-08 cs.DC cs.LO
Proceedings 18th Interaction and Concurrency Experience
本卷收录2025年第18届ICE会议论文集，该会议为DisCoTec 2025卫星会，采用独特匿名评审互动流程，收录4篇论文、1篇口头报告及特邀报告摘要。
2025-08-17 cs.DC cs.LO
Proceedings 17th Interaction and Concurrency Experience
本论文集是作为DisCoTec 2024卫星研讨会的第17届ICE会议的成果，介绍了其特色匿名互动审稿、本届双盲评审流程、录用情况及特邀报告，收录了相关报告摘要与修改后的论文终稿。
2024-12-10 cs.DC cs.LO
Proceedings 16th Interaction and Concurrency Experience
本文介绍 ICE'23 会议论文集，概述其双盲匿名互动评审机制、5篇录用论文及2场特邀报告的收录情况。
2023-08-17 cs.DC cs.LO
Proceedings 13th International Workshop on Foundations of Coordination Languages and Self-Adaptive Systems
本卷包含FOCLASA 2014的会议记录，第13届协调语言和自适应系统基础国际研讨会。FOCLASA 2014于2014年9月9日在意大利罗马举行，作为CONCUR 2014的卫星活动，CONCUR 2014是第25届并发理论国际会议。现代软件系统是分布式的、并发的、移动的，并且经常涉及异构组件和独立服务的组合。服务协调和自适应是分布式系统和面向服务系统的核心特征。协调语言和形式化的方法来建模和推理的自适应行为有助于简化复杂的分布式服务为基础的系统的开发，使功能的正确性证明，并提高可重用性和可维护性的系统。FOCLASA研讨会的目标是将上述领域的研究人员和从业人员聚集在一起，交流和确定共同问题，并在协调语言和自适应系统的背景下制定一般性解决方案。
2015-02-11 cs.DC cs.LO cs.PL
Proceedings 14th International Workshop on Foundations of Coordination Languages and Self-Adaptive Systems
本卷包含FOCLASA 2015的会议记录，第14届协调语言和自适应系统基础国际研讨会。FOCLASA 2015于2015年9月5日在西班牙马德里举行，作为CONCUR 2015的卫星活动，CONCUR 2015是第26届并发理论国际会议。现代软件系统是分布式的、并发的、移动的，并且经常涉及异构组件和独立服务的组合。服务协调和自适应是分布式系统和面向服务系统的核心特征。协调语言和形式化的方法来建模和推理自适应行为有助于简化复杂的分布式基于服务的系统的开发，使功能正确性证明，自动合成正确的建设系统，并提高可重用性和可维护性等系统。FOCLASA研讨会的目标是将上述领域的研究人员和从业人员聚集在一起，交流和确定共同问题，并在协调语言和自适应系统的背景下制定一般性解决方案。
2015-12-22 cs.DC cs.LO cs.PL
Proceedings 11th International Workshop on Foundations of Coordination Languages and Self Adaptation
欢迎参加FOCLASA 2012，第11届协调语言和自适应基础国际研讨会。FOCLASA 2012于2012年9月8日在英国泰恩河畔纽卡斯尔举行，作为CONCUR 2012的卫星活动，第23届并发理论国际会议。研讨会提供了一个场所，使研究人员和从业人员能够会面，交流思想，查明共同问题，确定与协调语言和自我调整有关的一些关键和根本问题，并共同探讨和传播解决办法。事实上，一些热门的研究课题，目前共享的共同问题，结合并发，分布式，移动和异构组件，试图利用所产生的系统的内在复杂性。现在的计算正在变得固有地并发，这要么是因为硬件的特性（多核处理器变得无处不在），要么是因为分布式系统的无处不在（体现在互联网中）。因此，计算系统通常是分布式的、并发的、移动的，并且通常涉及异构组件的组合。为了指定和推理这样的系统，并超越功能正确性证明，例如，通过支持可重用性和提高可维护性，协调语言和自适应等方法被认为是基本的。今年，我们收到了来自10个不同国家的35位作者提交的13份作品。论文经过了严格的评审过程，所有被录取的论文都收到了3份评审报告。经过审查，2012年FOCLASA国际计划委员会决定选择8篇论文在研讨会期间发表并列入这些会议记录。这些论文解决了目前对我们社区至关重要的不同问题，自适应和协调，过程和协调以及类型系统。研讨会邀请了来自伦敦帝国理工学院（英国）的Sebastian Uchitel进行…
2012-08-15 cs.DC cs.LO cs.PL
