Proceedings Combined 24th International Workshop on Expressiveness in Concurrency and 14th Workshop on Structural Operational Semantics
本卷包含第24届并发表达性国际研讨会和第14届结构操作语义研讨会（EXPRESS/SOS 2017）的会议记录，该研讨会于2017年9月4日在德国柏林举行，作为第28届并发理论国际会议CONCUR 2017的附属研讨会。EXPRESS研讨会旨在汇集对各种形式系统和语义概念的表达感兴趣的研究人员，特别是在并发领域。传统上，他们的重点是比较编程概念（如并发、函数、命令、逻辑和面向对象编程）和计算的数学模型（如进程代数、Petri网、事件结构、模态逻辑和重写系统）之间的相对表达能力。自1994年以来，EXPRESS系列研讨会已经成功举办，多年来，这一重点已经得到广泛的理解。SOS研讨会的目的是成为一个论坛的研究人员，学生和从业人员感兴趣的新发展，未来的调查方向，在结构操作语义领域。SOS研讨会系列的具体目标之一是在从事SOS理论和实践工作的并发和程序设计语言社区之间建立协同作用。自2012年以来，EXPRESS和SOS社区组织了一个年度EXPRESS/SOS联合研讨会，讨论计算数学模型的表达能力以及系统和编程概念的形式语义。
2017-08-31 cs.LO cs.PL
Proceedings Combined 23rd International Workshop on Expressiveness in Concurrency and 13th Workshop on Structural Operational Semantics
本卷包含第23届并发表达性国际研讨会和第13届结构操作语义研讨会（EXPRESS/SOS 2016）的会议记录，该研讨会于2016年8月22日在加拿大魁北克市举行，作为第27届并发理论国际会议CONCUR 2016的附属研讨会。EXPRESS研讨会旨在汇集对各种形式系统和语义概念的表达感兴趣的研究人员，特别是在并发领域。传统上，他们的重点是比较编程概念（如并发、函数、命令、逻辑和面向对象编程）和计算的数学模型（如进程代数、Petri网、事件结构、模态逻辑和重写系统）之间的相对表达能力。自1994年以来，EXPRESS系列研讨会已经成功举办，多年来，这一重点已经得到广泛的理解。SOS研讨会的目的是成为一个论坛的研究人员，学生和从业人员感兴趣的新发展，未来的调查方向，在结构操作语义领域。SOS研讨会系列的具体目标之一是在从事SOS理论和实践工作的并发和程序设计语言社区之间建立协同作用。自2012年以来，EXPRESS和SOS社区组织了一个年度EXPRESS/SOS联合研讨会，讨论计算数学模型的表达能力以及系统和编程概念的形式语义。
2016-08-09 cs.LO cs.PL
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 14th Interaction and Concurrency Experience
本卷包含ICE'21的会议记录，这是第14届交互和并发体验，于2021年6月18日在线举行，作为DisCoTec'21的卫星活动。ICE研讨会系列具有独特的审查和选择程序，允许PC成员匿名与作者互动。与过去13期一样，这种互动大大提高了审查者反馈的准确性和被接受论文的质量，并为讲习班期间的热烈讨论奠定了基础。2021年版的ICE包括对原始研究论文的双盲审查，以增加公平性并避免审查中的偏见。每篇论文由三到四名PC成员审查，总共有5篇论文被接受出版-加上4个口头报告，这不是本卷的一部分。我们很自豪地主办了两个邀请的会谈，由劳拉Bocchi和海伦Coullon。这些演讲的摘要与常规论文一起收录在本卷中。考虑到讲习班的讨论情况，本报告载有这些意见的最后文本。
2021-09-30 cs.LO cs.PL
Proceedings 7th International Workshop on Security Issues in Concurrency
本卷包含第七届并发安全问题研讨会（SecCo'09）的会议记录。该研讨会于2009年9月5日在意大利博洛尼亚举行，作为CONCUR'09的卫星研讨会。SecCo研讨会系列的目的是弥补安全和并发社区之间的差距。更确切地说，讲习班促进思想交流，努力关注共同利益，并促进对中心研究问题的讨论。我们特别要求有关安全问题的文件（例如认证、完整性、隐私性、机密性、访问控制、拒绝服务、服务可用性、安全方面、容错、信任、基于语言的安全、概率和信息理论模型），全球/无处不在/普及计算。
2009-10-23 cs.CR cs.LO cs.PL
Proceedings 12th Interaction and Concurrency Experience
本卷包含ICE'19的会议记录，第12届交互和并发体验，于2019年6月20日和21日在丹麦哥本哈根举行，作为DisCoTec'19的卫星活动。ICE研讨会系列具有独特的审查和选择程序，允许PC成员匿名与作者互动。与过去11期一样，这种互动大大提高了审查者反馈的准确性和被接受论文的质量，并为讲习班期间的热烈讨论奠定了基础。2019年版的ICE包括对原始研究论文的双盲审查，以增加公平性并避免审查中的偏见。每篇论文由三名PC成员审查，共9篇论文被接受出版-加上2个口头报告，这不是本卷的一部分。我们很自豪地主办了4场特邀演讲，分别由Dilian Gurov、Fritz Henglein、Sophia Knight和Hernán Melgratti主持。这些演讲的摘要与常规论文一起收录在本卷中。考虑到研讨会的讨论情况，本报告载有这些意见的定稿。
2019-09-11 cs.LO cs.PL
Proceedings Combined 19th International Workshop on Expressiveness in Concurrency and 9th Workshop on Structured Operational Semantics
本卷包含第19届并发表达性国际研讨会和第9届结构操作语义研讨会（EXPRESS/SOS 2012）的会议记录，该研讨会于2012年9月3日在泰恩河畔纽卡斯尔举行，作为CONCUR 2012的卫星研讨会。EXPRESS研讨会系列旨在汇集对各种形式系统和语义概念的表达性感兴趣的研究人员，特别是在并发领域。SOS研讨会系列旨在成为对结构操作语义领域的新发展和未来调查方向感兴趣的研究人员、学生和从业人员的论坛。2012年，EXPRESS和SOS社区组织了一个EXPRESS/SOS 2012联合研讨会，讨论系统和编程概念的形式语义，以及计算数学模型的表达能力。
2012-08-12 cs.FL cs.LO cs.PL
Proceedings Combined 21st International Workshop on Expressiveness in Concurrency and 11th Workshop on Structural Operational Semantics
本卷包含2014年9月1日在意大利罗马举行的第21届并发表达性国际研讨会和第11届结构操作语义研讨会（EXPRESS/SOS 2014）的会议记录，作为CONCUR 2014的附属研讨会，第25届并发理论国际会议。EXPRESS研讨会旨在汇集对各种形式系统和语义概念的表达感兴趣的研究人员，特别是在并发领域。传统上，他们的重点是比较编程概念（如并发、函数、命令、逻辑和面向对象编程）和计算的数学模型（如进程代数、Petri网、事件结构、模态逻辑和重写系统）之间的相对表达能力。自1994年以来，EXPRESS系列研讨会已经成功举办，多年来，这一重点已经得到广泛的理解。SOS研讨会的目的是成为一个论坛的研究人员，学生和从业人员感兴趣的新发展，未来的调查方向，在结构操作语义领域。SOS研讨会系列的具体目标之一是在从事SOS理论和实践工作的并发和程序设计语言社区之间建立协同作用。SOS在其他领域的应用报告也非常受欢迎，包括：生物系统的建模和分析，计算机系统编程的安全性，嵌入式系统的建模和分析，中间件和协调语言的规范，程序设计语言语义和实现，静态分析软件和硬件验证，以及特定领域语言和基于模型的工程的语义。
2014-08-06 cs.LO cs.PL
Proceedings Combined 20th International Workshop on Expressiveness in Concurrency and 10th Workshop on Structural Operational Semantics
本卷包含2013年8月26日在阿根廷布宜诺斯艾利斯举行的第20届并发表达性国际研讨会和第10届结构操作语义研讨会（EXPRESS/SOS 2013）的会议记录，作为CONCUR 2013的附属研讨会，第24届并发理论国际会议。EXPRESS研讨会旨在汇集对各种形式系统和语义概念的表达感兴趣的研究人员，特别是在并发领域。传统上，他们的重点是编程概念（例如并发、函数式、命令式、逻辑和面向对象编程）之间的比较以及计算数学模型（例如进程代数、Petri网、事件结构、模态逻辑和重写系统）之间的比较。基于它们的相对表达能力。自1994年以来，EXPRESS系列研讨会已经成功举办，多年来，这一重点已经得到广泛的理解。SOS研讨会的目的是成为一个论坛的研究人员，学生和从业人员感兴趣的新发展，未来的调查方向，在结构操作语义领域。SOS研讨会系列的具体目标之一是在从事SOS理论和实践工作的并发和程序设计语言社区之间建立协同作用。SOS在其他领域的应用报告也非常受欢迎，包括：生物系统的建模和分析，计算机系统编程的安全性，嵌入式系统的建模和分析，中间件和协调语言的规范，程序设计语言语义和实现，静态分析软件和硬件验证，以及特定领域语言和基于模型的工程的语义。
2013-07-26 cs.LO cs.PL
Proceedings 9th Interaction and Concurrency Experience
本卷包含ICE 2016的会议记录，第九届交互和并发体验，于2016年6月8日和9日在希腊伊拉克利翁举行，作为DisCoTec 2016的卫星活动。ICE的论文选择程序允许PC成员匿名与作者互动。在审查阶段，每一篇提交的论文都会在一个讨论论坛上发表，该论坛的访问权限仅限于作者和所有未声明利益冲突的PC成员。PC成员发表评论和问题，作者回复。2016年版的ICE首次包含了一个针对审评透明度的功能：已接受论文的审评在研讨会网站上公开，特别是研讨会参与者能够在研讨会期间访问它们。每篇论文由三名PC成员审查，共有九篇论文被接受出版（研讨会还包括三个简短的公告，不属于本卷的一部分）。我们很自豪地主办了Alexandra Silva和Uwe Nestmann的两次特邀演讲。这两次谈话的摘要与定期论文一起收录在本卷中。
2016-08-10 cs.LO cs.PL
Proceedings 10th Interaction and Concurrency Experience
本卷包含ICE 2017的会议记录，这是第10届交互和并发体验，于2017年6月21日和22日在瑞士纳沙泰尔举行，作为DisCoTec'17的卫星活动。ICE的论文选择程序允许PC成员匿名与作者互动。在审查阶段，每一篇提交的论文都会在一个讨论论坛上发表，该论坛的访问权限仅限于作者和所有未声明利益冲突的PC成员。PC成员发表评论和问题，作者回复。2017年版ICE首次包括对原始研究论文的双盲审查，以增加公平性并避免审查中的偏见。被录取论文的性别平衡也比过去几年更加均衡。每篇论文由三名PC成员审查，共有五篇论文被接受出版（研讨会还包括五个简短的公告，不属于本卷的一部分）。我们很自豪地举办了三场邀请演讲，分别是Christian Cachin、Marieke Huismann和Pawewestern Sobocinski。这些演讲的摘要与常规论文一起收录在本卷中。
2017-11-29 cs.LO cs.PL
Proceedings 7th Interaction and Concurrency Experience
本卷包含ICE 2014的会议记录，第七届交互和并发体验，于2014年6月6日在德国柏林举行，作为DisCoTec 2014的卫星活动。ICE的论文选择程序允许PC成员匿名与作者互动。在评审阶段，每篇提交的论文都会在维基上发布，并与一个讨论论坛相关联，该论坛的访问仅限于作者和所有未声明利益冲突的PC成员。PC成员发表评论和问题，作者回复。每篇论文由3名PC成员评审，共8篇论文（包括3篇短文）被接受发表。我们很自豪地主办了两个邀请会谈，由帕沃尔Cerny和金拉森，其摘要包括在本卷连同定期论文。
2014-10-26 cs.LO cs.PL cs.SE
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 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 Fifth Interaction and Concurrency Experience
本卷包含ICE'12的会议记录，第五届交互和并发体验研讨会于2012年6月16日在瑞典斯德哥尔摩举行，作为DisCoTec'12的卫星活动。ICE'12的主题是分布式协调，执行模型和弹性交互。ICE的论文选择程序允许PC成员匿名与作者互动。在评审阶段，每篇提交的论文都会在维基上发布，并与一个讨论论坛相关联，该论坛的访问仅限于作者和所有未声明利益冲突的PC成员。PC成员发表评论和问题，作者回复。每篇论文由4名PC成员评审，共8篇论文被接受发表。我们很荣幸地邀请了Marcello Bonsangue和Ichiro Hasuo两位演讲者，他们的论文摘要与常规论文一起收录在本书中。
2012-12-14 cs.LO cs.PL cs.SE
Proceedings 15th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software
该论文集记录了 PLACES 2024 研讨会，汇集五篇并发与通信中心编程语言研究论文、主题演讲摘要及其他报告，旨在探讨现代分布式与并发编程挑战。
2024-04-04 cs.PL
Proceedings Third Workshop From Biology To Concurrency and back
本卷包含了在第三次研讨会上提出的论文“从生物学到并发性和背部”，FBTC 2010年，在帕福斯，塞浦路斯举行，2010年3月27日，作为卫星事件的联合欧洲会议上的理论和实践的软件，ETAPS 2010。讲习班的目的是聚集对生命和计算机科学的融合特别感兴趣的研究人员，特别侧重于并发技术和方法的应用。本卷中包含的论文介绍了使用并发启发的方法和平台以及用于描述分布式交互的生物启发模型和工具对生物行为进行建模，分析和验证的工作。
2010-02-26 cs.CE cs.PL
Proceedings Third Workshop on Programming Language Approaches to Concurrency and communication-cEntric Software
这是Places'10的会议记录，第三届并行和通信软件程序设计语言方法研讨会，于2010年3月21日在塞浦路斯的Pathos举行，与ETAPS联合会议在同一地点举行。PLACES旨在提供一个论坛，让来自不同领域的研究人员在不久的将来就编程中的一个核心挑战交换新的想法，即开发并行和分布是规范而不是边缘问题的编程方法和基础设施。方案委员会经过仔细和彻底的审查过程，从14份提交的文件中选出10份提交方案。每份提交的论文至少由两名评审人进行评估，并在两周的电子讨论中选出被接受的论文。本后续会议记录包含基于这些提交材料的论文，其中纳入了这些和进一步审查的结果，从而增强了技术成果和演示文稿。
2011-10-18 cs.DC cs.PL
Proceedings Sixth Workshop on Structural Operational Semantics
本卷包含SOS 2009的会议记录，第六届结构操作语义研讨会于2009年8月31日在意大利博洛尼亚举行，作为CONCUR 2009的附属研讨会，第20届国际并发理论会议。结构操作语义（SOS）是一种为编程和规约语言定义操作语义的技术。该研讨会是研究人员，学生和从业人员感兴趣的新发展和未来的调查方向在SOS领域的论坛。研讨会的具体目标之一是为并发和程序设计语言社区提供一个聚会点。另一个目标是在全世界的研究生和年轻研究人员中传播SOS的理论和实践。
2010-02-15 cs.LO cs.PL
Proceedings 17th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software
本文集收录了2026年PLACES会议论文，探讨并发与分布式编程挑战及现代软件基础，涵盖新语言设计、模型、类型系统及应用领域。
2026-04-07 cs.PL
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 5th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software
PLACES 2013（全称：并行和通信中心软件的程序设计语言方法）是PLACES研讨会系列的第六版。自2008年第一届PLACES加入DisCoTec之后，自2009年以来，该研讨会每年都是ETAPS的一部分，现在是ETAPS卫星活动的一部分。今年，PLACES是ETAPS 2013上参加人数最多的研讨会。开办这一系列讲习班是为了促进新的程序设计语言思想应用于为并行和通信是内在方面的系统开发软件这一日益重要的问题。这包括用于多核和众核系统、加速器和大规模分布式和/或面向服务的系统的软件。PLACES的范围包括新的程序设计语言特性、全新的程序设计语言设计、新的类型系统、新的语义方法、新的程序分析技术和新的实现机制。
2013-12-08 cs.PL
Proceedings 16th International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software
本文是PLACES 2025研讨会论文集，涵盖并发与分布式编程语言方法、类型系统、验证及应用，旨在促进相关领域新思想交流。
2025-05-25 cs.PL
Proceedings Programming Language Approaches to Concurrency- and Communication-cEntric Software
现代硬件平台，从非常小到非常大，越来越多地为应用程序提供并行和分布式计算资源，以最大限度地提高性能。因此，许多应用程序需要有效利用数十个、数百个甚至数千个计算节点。因此，这种系统中的计算本质上是并发的和以通信为中心的。有效地编程这样的应用程序是具有挑战性的;性能、正确性和可伸缩性很难实现。因此，为这种日益平行的景观制定有效的方案拟订方法，需要探索和理解各种各样的基本和实用的想法。并行和通信中心软件的程序设计语言方法国际研讨会（PLACES）致力于这一领域的工作。该研讨会为来自不同领域的研究人员提供了一个论坛，以交流有关现代和未来编程的这些挑战的新想法，其中并发和分布是规范，而不是边缘问题。本会议录涵盖了第11届PLACES，该会议与ETAPS 2019在捷克共和国布拉格举行。
2019-03-31 cs.DC cs.PL
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 of the 12th International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software
现代硬件平台，从非常小到非常大，越来越多地为应用程序提供并行和分布式计算资源，以最大限度地提高性能。因此，许多应用程序需要有效利用数十个、数百个甚至数千个计算节点。因此，这种系统中的计算本质上是并发的和以通信为中心的。有效地编程这样的应用程序是具有挑战性的;性能、正确性和可伸缩性很难实现。因此，为这种日益平行的景观制定有效的方案拟订方法，需要探索和理解各种各样的基本和实用的想法。并行和通信中心软件的程序设计语言方法国际研讨会（PLACES）致力于这一领域的工作。该研讨会为来自不同领域的研究人员提供了一个论坛，以交流有关现代和未来编程的这些挑战的新想法，其中并发和分布是规范，而不是边缘问题。本卷包含了第12版的地方，这是共同位于ETAPS 2020在爱尔兰都柏林举行的会议记录。
2020-04-01 cs.DC cs.PL
Proceedings of the Ninth workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software
PLACES 2016（全称：面向以并发和通信为中心的软件的程序设计语言方法）是PLACES研讨会系列的第九版。自2008年第一届PLACES加入DisCoTec之后，自2009年以来，该研讨会每年都是ETAPS的一部分，现在是ETAPS卫星活动的一部分。PLACES 2016于4月8日在荷兰埃因霍温举行。开办这一系列讲习班是为了促进新的程序设计语言思想应用于为并行和通信是内在方面的系统开发软件这一日益重要的问题。这包括用于多核系统和大规模分布式和/或面向服务的系统的软件。PLACES的范围包括新的程序设计语言特性、全新的程序设计语言设计、新的类型系统、新的语义方法、新的程序分析技术和新的实现机制。本卷包括被接受在讲习班上提出的论文。
2016-06-17 cs.DC cs.PL
Proceedings 8th Interaction and Concurrency Experience
本卷包含ICE 2015的会议记录，第八届交互和并发体验，于2015年6月4日和5日在法国格勒诺布尔举行，作为DisCoTec 2015的卫星活动。ICE的论文选择程序允许PC成员匿名与作者互动。在审查阶段，每篇提交的论文都将在一个讨论论坛上发表，仅限作者和所有未声明利益冲突的PC成员访问。保护委员会成员发表评论和提出问题，提交人予以答复。每篇论文由三名PC成员审查，共有9篇论文，包括1篇短文，被接受出版（研讨会还包括4个简短的公告，不属于本卷的一部分）。我们很自豪地主办了三场特邀演讲，分别由Leslie Lamport（与FRIDA研讨会分享）、Joseph Sifakis和Steve Ross-Talbot主持。最后两次谈话的摘要与常规论文一起收录在本卷中。
2015-08-19 cs.PL cs.SE
Proceedings 7th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software
本卷包含PLACES 2014的后续会议记录，第七届并行和通信软件程序设计语言方法研讨会，于2014年4月12日在法国格勒诺布尔举行，并与ETAPS，欧洲软件理论与实践联合会议共同举办。PLACES系列研讨会旨在提供一个论坛，让来自不同领域的研究人员就近期编程的核心挑战之一交换新想法：程序设计语言，方法和基础设施的发展，其中并发和分布是规范，而不是边缘问题。PLACES的前几届展会分别在罗马（2013年）、塔林（2012年）、萨尔布吕肯（2011年）、帕福斯（2010年）和约克（2009年）举办，均与ETAPS同地举办，第一届PLACES展会在奥斯陆举办，与DisCoTec同地举办（2008年）。项目委员会经过仔细和彻底的审查，从12份提交的文件中选出了9份文件，在研讨会上发表，并列入本后续程序。每份提交的论文都由三名评审员进行评估（其中一篇论文接受第四次审查），并在为期一周的电子讨论中选择被接受的论文。在9篇被接受的论文中，有一篇被有条件地接受，但须经过一名PC成员的指导，这一过程是成功的，并导致该论文被完全接受。除了贡献的论文外，研讨会还将邀请微软印度研究院的Akash Lal发表题为“在不精确的线束下发现并发错误”的演讲。
2014-06-12 cs.DC cs.PL
Proceedings Third Workshop on Behavioural Types
本卷包含BEAT 2014的会议记录，第三届行为类型研讨会。该研讨会于2014年9月1日在意大利罗马举行，作为CONCUR 2014的卫星会议，第25届并发理论国际会议。本次研讨会的目的是汇集行为类型论及其应用的各个方面的研究人员，以分享成果，巩固社区，并发现新的合作机会和未来的方向。
2014-08-24 cs.LO cs.PL
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 6th Workshop on Membrane Computing and Biologically Inspired Process Calculi
本卷包含在第六届膜计算和生物启发过程演算（MeCBIC 2012），2012年9月8日在英国泰恩河畔纽卡斯尔举行的第23届并发理论国际会议（CONCUR）的卫星研讨会上提出的论文。
2012-11-15 cs.ET 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 Ninth International Workshop on the Foundations of Coordination Languages and Software Architectures
本卷包含FOCLASA 2010的会议记录，第9届协调语言和软件架构基础国际研讨会。FOCLASA 2010于2010年7月30日在法国巴黎举行，作为第21届并发理论国际会议CONCUR 2010的卫星活动。本会议录中提出的论文解决了目前对我们社区至关重要的不同问题，即软件自适应，传感器网络，分布式控制，协调的非功能方面，如资源，定时和随机。
2010-07-28 cs.DC cs.LO cs.PL
Proceedings Eight Workshop on Structural Operational Semantics 2011
本卷包含SOS 2011的会议记录，第八届结构操作语义研讨会，于2011年9月5日在德国亚琛举行，作为CONCUR 2011的附属研讨会，第22届国际并发理论会议。结构操作语义（SOS）提供了一个框架，为程序设计和规约语言提供操作语义。越来越多的商业和学术领域的程序设计语言已经通过结构操作语义给出了可用的语义描述。由于其直观的吸引力和灵活性，结构操作语义在并发进程的语义研究中得到了广泛的应用。在程序的静态分析和证明编译器正确性方面，它也是指称语义的一个可行的替代方案。此外，它在新兴的计算领域，如概率系统和系统生物学中也有应用。结构操作语义已成功地应用作为一种形式化的工具，建立的结果，持有类的过程描述语言。这使得众所周知的结果在进程代数领域的推广，并为发展一个元理论的基础上实现的进程演算，许多结果在这一领域只依赖于一般的语义属性的语言结构。该讲习班是对新的发展和未来调查方向感兴趣的研究人员、学生和从业人员的论坛。研讨会的具体目标之一是为并发和程序设计语言社区提供一个聚会点。另一个目标是在全世界的研究生和年轻研究人员中传播SOS的理论和实践。
2011-08-13 cs.LO cs.PL
Proceedings Fourth International Workshop on Linearity
本卷包含2016年6月26日在葡萄牙波尔图举行的第四届线性国际研讨会LINEARITY 2016上发表的论文。该研讨会是FSCD 2016的一个为期一天的卫星活动，FSCD 2016是第一届计算和演绎形式结构国际会议。该研讨会的目的是汇集正在开发线性微积分理论和应用的研究人员，促进他们的互动，并为提出新想法和正在进行的工作提供一个论坛，并使新来者能够了解该领域的当前活动。令人感兴趣的是新的结果，使线性的中心使用，从基础工作到任何领域的应用。这包括：次线性逻辑、线性项演算、线性类型系统、线性证明理论、线性程序设计语言、并发应用、基于交互的系统、线性系统的验证以及计算的生物和化学模型。
2017-01-17 cs.CC cs.LO cs.PL
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 Seventh Workshop on Intersection Types and Related Systems
本卷包含了最终的和修订的论文选择在第七次研讨会上提出的交叉类型和相关系统（ITRS 2014），在维也纳（奥地利）举行的7月18日，附属于TLCA 2014，类型λ演算和应用（与RTA，重写技术和应用联合举行）作为FLoC和维也纳逻辑夏季（VSL）2014的一部分。交集类型在20世纪70年代末被引入，作为描述λ演算的属性的语言，这些属性没有被所有以前的类型系统捕获。它们提供了强规范化lambda项的第一个特征，并已成为分析各种规范化属性以及lambda模型的强大语法和语义工具。近年来，交叉口类型的研究范围不断扩大。最近，在将交集类型和类似技术用于诸如程序分析、验证和并发以及程序合成的实际目的方面已经有了许多突破。ITRS研讨会系列的目的是汇集研究人员，研究基于交叉口类型和相关方法的系统的理论和实际应用（例如，联合类型、细化类型、行为类型）。
2015-03-15 cs.LO cs.PL cs.SE
Proceedings ML Family/OCaml Users and Developers workshops
本卷收集了最初在两个ACM SIGPLAN研讨会上发表的选定论文的扩展版本：ML Family Workshop 2014和OCaml 2014。两者都隶属于ICFP 2014，并于2014年9月4日和5日在瑞典哥德堡连续两天举行。ML家族研讨会旨在识别整个ML和ML类语言的扩展家族：高阶，类型化，推断和严格的语言。它提供了一个讨论常见问题的论坛，包括实践（编译技术，并发和并行的实现，Web编程）和理论（花式类型，模块系统，元编程）。研讨会的范围包括ML家族成员的设计，语义，理论，应用，实现和教学的各个方面。OCaml研讨会更具体地针对OCaml社区，重点是旨在改善OCaml及其环境和社区功能的新建议和工具。因此，它对类型系统，语言扩展，编译器和优化，应用程序，工具和令人兴奋的使用经验报告的工作感兴趣。
2015-12-03 cs.PL
Proceedings Second International Workshop on Formal Integrated Development Environment
本卷包含F-IDE 2015的会议记录，这是第二次正式集成开发环境国际研讨会，于2015年6月22日在奥斯陆（挪威）举行，作为FM 2015卫星活动。高级别的安全性、保密性和隐私标准要求使用正式的方法来指定和开发兼容的软件（子）系统。任何标准都有一个评估过程，这需要一个完整的应用程序文档，以便简化设计选择的合理性以及代码和证明的审查。因此，需要工具来处理规范、程序构造和验证工件。F-IDE研讨会的目的是提供一个论坛，介绍和讨论研究工作，以及经验回报的设计，开发和使用正式的IDE，旨在使正式的方法“更容易”的专家和非专家。
2015-08-14 cs.LO cs.PL
Proceedings 29th and 30th Workshops on (Constraint) Logic Programming and 24th International Workshop on Functional and (Constraint) Logic Programming
（约束）逻辑编程研讨会（WLP）是德国逻辑编程学会（Gesellschaft für Logische Programmierung e.V.，GLP），并汇集了对逻辑编程、约束编程、答案集编程以及数据库和人工智能等相关领域感兴趣的研究人员（不仅来自德国）。函数和（约束）逻辑编程国际研讨会（WFLP）旨在汇集对函数编程，逻辑编程及其集成感兴趣的研究人员，学生和从业者。讲习班有一个共同地点的传统，以促进对高级声明性程序设计语言和相关领域的基础、应用和组合感兴趣的社区之间的跨部门思想和经验交流。
2016-12-31 cs.LO cs.PL
Proceedings 3rd Workshop on Horn Clauses for Verification and Synthesis
本卷包含HCVS 2016的会议记录，第三届Horn Clauses for Verification and Synthesis研讨会于2016年4月3日在荷兰埃因霍温举行，作为欧洲软件理论与实践联合会议（ETAPS 2016）的卫星活动。许多感兴趣的程序验证和综合问题可以直接使用Horn子句建模，CLP和CAV社区的许多最新进展都集中在有效地解决Horn子句提出的问题上。第三次Horn子句验证和综合研讨会的举办旨在汇集约束/逻辑编程和程序验证两个社区的研究人员，讨论基于Horn子句的分析，验证和综合。这两个群体在不同的时间从不同的角度倡导关于核查和综合的霍恩条款，举办这次讲习班是为了促进互动和富有成效的经验交流和融合。
2016-07-14 cs.LO cs.PL
Proceedings Tenth and Eleventh International Workshop on Trends in Functional Programming In Education
本卷包含经过审查后接受的论文，基于提交给TFPIE 2021和TFPIE 2022的演讲，这些演讲与波兰克拉科夫的LambdaDays 2021/22合作在线进行。TFPIE代表教育中的函数式编程趋势，作者在任何级别的函数式编程教学概念中展示了研究和经验。
2022-07-23 cs.PL
Proceedings Twelfth International Workshop on Trends in Functional Programming in Education
本文集收录了2023年1月在美国波士顿UMass Boston举办的第十二届TFPIE研讨会上经后期评审录用的论文，内容涵盖各层次函数式编程教学的研究与实践经验。
2023-08-11 cs.PL
Proceedings Eighth and Ninth International Workshop on Trends in Functional Programming in Education
本卷包含五篇论文，经过审查后接受，基于分别在加拿大温哥华和波兰克拉科夫提交给TFPIE 2019和TFPIE 2020的演讲。TFPIE代表教育中的函数式编程趋势，作者在任何级别的函数式编程教学概念中展示了研究和经验。
2020-08-20 cs.CY cs.PL
Pre-Proceedings of the 28th International Workshop on Functional and Logic Programming (WFLP 2020)
本卷是由意大利博洛尼亚大学组织的第28届函数和逻辑编程国际研讨会（WFLP 2020）的预录，作为2020年程序设计语言博洛尼亚联合会议的一部分。函数和（约束）逻辑编程国际研讨会（WFLP）旨在汇集对函数编程，逻辑编程及其集成感兴趣的研究人员，学生和从业者。WFLP是一个活跃而友好的论坛，它是开放的，可以展示和讨论正在进行的工作，技术贡献，经验报告，实验，评论和系统描述。
2020-09-04 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
Proceedings 5th Workshop on Horn Clauses for Verification and Synthesis
许多感兴趣的程序验证和综合问题可以直接使用Horn子句建模，CLP和CAV社区的许多最新进展都集中在有效地解决Horn子句提出的问题上。HCVS系列研讨会旨在汇集在约束/逻辑编程两个社区工作的研究人员（例如，ICLP和CP），程序验证（例如，CAV、TACAS和VMCAI）和自动演绎（例如，CADE，IJCAR），关于基于Horn子句的分析、验证和综合的主题。这些团体在不同的时期从不同的角度倡导关于核查和综合的霍恩条款，组织HCVS是为了促进互动和富有成效的经验交流和整合。
2018-09-12 cs.LO cs.PL cs.SE
Proceedings 4th Workshop on Formal Integrated Development Environment
本卷包含F-IDE 2018的会议记录，这是第四届正式集成开发环境国际研讨会，于2018年7月14日在英国牛津举行，作为FLoC 2018卫星活动。高级别的安全性、保密性和隐私标准要求使用正式的方法来指定和开发兼容的软件（子）系统。任何标准都有一个评估过程，这需要一个完整的应用程序文档，以便简化设计选择的合理性以及代码和证明的审查。因此，需要工具来处理规范、程序构造和验证工件。F-IDE研讨会的目的是提供一个论坛，介绍和讨论研究工作，以及经验回报的设计，开发和使用正式的IDE，旨在使正式的方法“更容易”的专家和非专家。
2018-11-22 cs.LO cs.PL cs.SE
Proceedings 1st Workshop on Formal Integrated Development Environment
本卷包含F-IDE 2014的会议记录，这是第一次正式集成开发环境国际研讨会，于2014年4月6日在法国格勒诺布尔举行，作为ETAPS 2014卫星活动。高级别的安全性、保密性和隐私标准要求使用正式的方法来指定和开发兼容的软件（子）系统。任何标准都有一个评估过程，这需要一个完整的应用程序文档，以便简化设计选择的合理性以及代码和证明的审查。因此，需要工具来处理规范、程序构造和验证工件。F-IDE研讨会的目的是提供一个论坛，介绍和讨论研究工作，以及经验回报的设计，开发和使用正式的IDE，旨在使正式的方法“更容易”的专家和非专家。
2014-04-23 cs.LO cs.PL cs.SE
Proceedings of the Third Workshop on Formal Integrated Development Environment
本卷包含F-IDE 2016的会议记录，第三届正式集成开发环境国际研讨会于2016年11月8日在利马索尔（塞浦路斯）举行，作为FM 2016卫星活动。高级别的安全性、保密性和隐私标准要求使用正式的方法来指定和开发兼容的软件（子）系统。任何标准都有一个评估过程，这需要一个完整的应用程序文档，以便简化设计选择的合理性以及代码和证明的审查。因此，需要工具来处理规范、程序构造和验证工件。F-IDE研讨会的目的是提供一个论坛，介绍和讨论研究工作，以及经验回报的设计，开发和使用正式的IDE，旨在使正式的方法“更容易”的专家和非专家。
2017-01-27 cs.LO cs.PL cs.SE
Proceedings of the 6th Workshop on Formal Integrated Development Environment
本卷包含F-IDE 2021的会议记录，这是第六届正式集成开发环境国际研讨会，于2021年5月24日至25日在线举行，作为NFM'21的一部分，第13届NASA正式方法研讨会。高级别的安全、保密和隐私标准要求使用正式的方法来指定和开发兼容的软件（子）系统。任何标准都有一个评估过程，这需要一个完整的应用程序文档，以便简化设计选择的合理性以及代码和证明的审查。因此，需要工具来处理规范、程序构造和验证工件。F-IDE研讨会的目的是提供一个论坛，介绍和讨论研究工作以及设计，开发和使用正式IDE的经验回报，旨在使正式方法更容易为专家和非专家。
2021-08-05 cs.LO cs.PL cs.SE
