Proceedings International Workshop on Component and Service Interoperability
本卷包含WCSI 2010会议录，即组件和服务互操作性国际研讨会。WCSI 2010于2010年6月29日在马拉加（西班牙）举行，作为TOOLS 2010联合会议的卫星活动。本卷中发表的论文解决了目前对我们社区至关重要的不同问题，即表达性接口语言的定义，软件组合和适应的形式化模型和方法，基于接口的兼容性和可替代性，以及分布式软件的验证技术。
2010-10-12 cs.SE
Proceedings Third International Workshop on Engineering Safety and Security Systems
工程安全和安保系统国际讲习班的目的是为应对建设可靠和安全系统的挑战作出贡献。工作坊的内容包括形式规格、类型检查、模型检验、程序分析/转换、基于模型的测试和模型驱动的软件构造。研讨会将汇集研究人员和行业研发专业知识，交流他们的知识，讨论他们的研究成果，并探索潜在的合作。研讨会的主题是构建大型可靠和安全系统的方法和技术。工作坊的目标是建立一个交流思想、讨论、相互促进、启发、合作和传播的平台。
2014-05-03 cs.SE
Proceedings 8th Workshop on Horn Clauses for Verification and Synthesis
本卷包含第八届Horn Clauses for Verification and Synthesis研讨会（HCVS）的后续会议记录，该研讨会实际上是由于Covid-19大流行而作为ETAPS的附属研讨会而举行的。
2021-09-09 cs.LO cs.SE
Proceedings Fourth Workshop on Foundations of Interface Technologies
本卷包含第四届接口技术基础研讨会（FIT 2012）的会议记录，该研讨会于2012年3月25日在爱沙尼亚塔林与ETAPS 2012同期举行。本次研讨会的目的是汇集研究人员谁感兴趣的接口技术的正式基础。
2012-07-15 cs.LO cs.SE
Proceedings Cassting Workshop on Games for the Synthesis of Complex Systems and 3rd International Workshop on Synthesis of Complex Parameters
本卷包含复杂系统合成游戏研讨会（CASSING '16）和第三届复杂参数合成国际研讨会（SynCoP'16）的联合会议记录。研讨会在荷兰埃因霍温举行，作为第19届欧洲软件理论与实践联合会议（ETAPS'16）的附属活动。这两个研讨会在主题和目标受众方面密切相关，他们分享了Giorgio Delzanno的联合邀请演讲。
2016-07-31 cs.LO cs.SE
Proceedings First Workshop on Adaptable Cloud Architectures
本研究探讨了可适应云架构的设计与实现，通过研讨会形式汇集了相关领域的最新研究成果和实践案例。
2025-12-26 cs.DC cs.SE
Proceedings of the 17th Workshop on Logic-based methods in Programming Environments (WLPE 2007)
本卷包含2007年9月13日在葡萄牙波尔图举行的WLPE 2007：第17届编程环境中基于逻辑的方法研讨会上发表的论文。它是作为ICLP 2007的卫星研讨会举行的，ICLP 2007是第23届逻辑编程国际会议。
2007-12-19 cs.PL cs.SE
Proceedings of the Fifth International Workshop on Automated Debugging (AADEBUG 2003)
在过去的几十年里，自动化调试已经取得了重大成就。然而，由于调试是由特定的编程范式的必要性，结果是分散的。为了解决这个问题，1993年在瑞典的林克奥平举办了自动化和计算机程序设计研讨会（简称AADEBUG）。由于这次讲习班证明是成功的，随后又于1995年（法国圣马洛）、1997年（再次在瑞典林克奥平）和2000年（德国慕尼黑）举办了讲习班。2003年，该研讨会在比利时根特举办，您正在阅读的会议记录。
2004-12-21 cs.PL cs.SE
Proceedings 13th International Workshop on Verification of Infinite-State Systems
本卷包含第13届无限状态系统验证国际研讨会（INFINITY 2011）的会议记录。该研讨会于2011年10月10日在台湾台北举行，作为第九届自动化技术验证与分析国际研讨会（ATVA）的卫星活动。INFINITY研讨会旨在为那些对开发用于分析具有无限多个状态的系统的正式方法和算法技术及其在复杂软件和硬件系统自动验证中的应用感兴趣的研究人员提供一个论坛。
2011-11-11 cs.LO cs.SE
Proceedings 9th International Workshop on Automated Specification and Verification of Web Systems
本卷包含第9届Web系统自动化规范和验证国际研讨会（WWV'13）的接受论文，该研讨会于6月6日在意大利佛罗伦萨举行，作为第8届分布式计算技术国际联合会议（DisCoTec 2013）的卫星活动。
2013-07-31 cs.LO cs.SE
Proceedings of the 12th Workshop on Horn Clauses for Verification and Synthesis
本论文集收录2025年7月在克罗地亚萨格勒布举办的、作为CAV 2025附属会议的第12届HCVS研讨会的会后论文。
2025-10-29 cs.LO cs.PL cs.SE
Proceedings of the 2022 Workshop on Resource AWareness of Systems and Society (RAW)
2022年系统和社会资源意识研讨会（RAW）的会议记录，于2022年6月13日在保加利亚普罗夫迪夫与ICT4S 2022合址。
2022-06-02 cs.CY cs.DC cs.PF
Proceedings of the Eleventh Workshop on Logic Programming Environments (WLPE'01)
第十一届逻辑编程环境研讨会（WLPE'01）是该主题领域的一系列国际研讨会之一。它于2001年12月1日在塞浦路斯帕福斯举行，作为ICLP 2001的会后讲习班。会议上提交了八篇经过评审的论文。大多数论文都以某种方式涉及约束逻辑编程和软件开发工具。其他主题领域包括执行可视化，教学辅助工具（学习用户），软件维护（包括调试），并提供新的范例。
2001-11-22 cs.PL cs.SE
Proceedings 8th International Workshop on Parallel and Distributed Methods in verifiCation
第八届并行和分布式验证方法国际研讨会（PDMC 2009）于2009年11月4日在埃因霍温理工大学举行，与正式方法2009和其他相关活动一起首次在正式方法周的标题下举行。本卷载有研讨会的最后会议记录。
2009-12-15 cs.CE cs.DC cs.LO
Proceedings 11th International Workshop on Automated Specification and Verification of Web Systems
这些会议记录包含在2015年6月23日在挪威奥斯陆举行的第11届Web系统自动化规范和验证国际研讨会（WWV 2015）上提交的论文，作为第20届形式化方法国际研讨会（FM 2015）的卫星研讨会。WWV是一个年度跨学科论坛，研究人员来自以下领域：声明式，基于规则的编程，形式化方法，软件工程和基于Web的系统。该研讨会促进这些领域的混合方法的交叉和进步。
2015-08-14 cs.LO cs.PL cs.SE
Proceedings 10th International Workshop on Parallel and Distributed Methods in verifiCation
本卷包含2011年7月14日在犹他州雪鸟举行的第10届并行和分布式验证方法国际研讨会（PDMC 2011）的会议记录。该研讨会与第23届计算机辅助验证国际会议（CAV 2011）在同一地点举行。PDMC研讨会系列涵盖了与使用特别是利用当代并行硬件架构的方法和技术来验证和分析非常大型和复杂系统有关的所有方面。为了庆祝PDMC成立10周年，研讨会包括半天的邀请会议和半天的定期贡献演讲。
2011-10-31 cs.DC cs.LO cs.SE
Proceedings 12th International Workshop on Verification of Infinite-State Systems
INFINITY研讨会的目的是为有兴趣开发形式方法和算法技术的研究人员提供一个论坛，用于分析具有无限多个状态的系统，以及它们在复杂软件和硬件系统自动验证中的应用。
2010-10-28 cs.CC cs.FL cs.LO
Proceedings 15th Workshop on Quantitative Aspects of Programming Languages and Systems
本卷EPTCS包含第15届程序设计语言和系统的定性方面国际研讨会的会议记录，QAPL 2017，于2017年4月23日在瑞典乌普萨拉举行，作为ETAPS 2017的卫星活动，第20届欧洲软件理论与实践联合会议。该卷包含Erika Abraham和Andrea Vandin的两篇特邀论文以及QAPL 2017计划委员会选择的六篇技术论文。
2017-07-12 cs.LO cs.PL cs.SE
Proceedings of the Second Workshop on Agents and Robots for reliable Engineered Autonomy
本卷包含第二届智能体和机器人可靠工程自主研讨会（AREA 2022）的会议记录，与第31届人工智能国际联合会议和第25届人工智能欧洲会议（IJCAI-ECAI 2022）共同举办。AREA研讨会汇集了来自自主智能体，软件工程和机器人社区的研究人员，因为结合来自这些研究领域的知识可能会导致解决与自主机器人系统的验证和验证相关的复杂问题的创新方法。
2022-07-19 cs.MA cs.RO cs.SE
Proceedings of the First Workshop on Trends in Configurable Systems Analysis
本文集收录TiCSA 2023研讨会成果，聚焦可配置系统分析中因配置选项指数爆炸带来的挑战，并展示相关解决方案。
2023-10-28 cs.FL cs.LO cs.SE
Proceedings Fifth International Workshop on Verification and Program Transformation
本卷包含第五届验证和程序转换国际研讨会（VPT 2017）的会议记录。研讨会于2017年4月29日在瑞典乌普萨拉举行，隶属于欧洲软件理论与实践联合会议（ETAPS）。VPT研讨会系列的目的是提供一个论坛，来自程序转换和程序验证领域的人们可以富有成效地交换意见，并对这两个领域之间的相互作用有更深入的了解。在研讨会上宣读了七篇论文。此外，Javier Esparza（德国慕尼黑工业大学）、Manuel Hermenegildo（西班牙马德里IMDEA软件研究所）和Alexey Khoroshilov（俄罗斯莫斯科ISPRAS Linux验证中心）也应邀进行了三次演讲。
2017-08-23 cs.LO cs.PL cs.SE
Proceedings of the First Workshop on Agents and Robots for reliable Engineered Autonomy
本卷包含第一届智能体和机器人可靠工程自主研讨会（AREA 2020）的会议记录，与第24届欧洲人工智能会议（ECAI 2020）共同举办。AREA汇集了来自自主智能体、软件工程和机器人社区的研究人员，因为将来自这些研究领域的知识结合起来可能会产生创新方法，解决与自主机器人系统的验证和确认相关的复杂问题。
2020-07-22 cs.MA cs.RO cs.SE
Proceedings 10th International Workshop on Automated Specification and Verification of Web Systems
这些会议记录包含在第10届Web系统自动规范和验证国际研讨会上提交的论文（WWV 2014），于2014年7月18日在奥地利维也纳举行，作为联邦逻辑会议的卫星研讨会（FLoC 2014），与第七届自动推理国际联合会议（IJCAR 2014）相关，作为维也纳逻辑之夏（VSL 2014）的一部分。WWV是一个年度研讨会，旨在提供一个跨学科的论坛，以促进交叉施肥和混合方法的发展，这些方法利用基于规则的编程，正式方法，软件工程和面向Web的研究的概念和工具。
2014-09-08 cs.LO cs.PL cs.SE
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 First Workshop on Synthesis
本卷收录了第一届合成研讨会（SYNT 2012）的论文集，该研讨会作为第24届国际计算机辅助验证会议（CAV 2012）的卫星会议，旨在为对合成感兴趣的研究人员提供开放平台。
2012-07-03 cs.FL cs.LO cs.SE
Proceedings of the First Workshop on Resource Awareness and Adaptivity in Multi-Core Computing (Racing 2014)
本卷包含2014年5月29日至30日在德国帕德博恩举行的第一届多核计算资源意识和适应性研讨会（Racing 2014）上接受的论文。Racing 2014与IEEE欧洲测试研讨会（ETS）位于同一地点。
2014-05-08 cs.DC cs.OS cs.RO
Proceedings Fourth International Workshop on Testing, Analysis and Verification of Web Software
本卷包含在第四届国际软件测试、分析和验证研讨会上提交的论文，该研讨会与第25届IEEE/ACM自动化软件工程国际会议（ASE 2010）有关。论文集包括形式规格说明，模型检查，测试和Web软件调试的研究。
2010-09-17 cs.FL cs.LO cs.PL
