Proceedings 14th International Workshop Quantitative Aspects of Programming Languages and Systems
本卷包含第14届程序设计语言和系统（QAPL）定量方面国际研讨会的后续会议记录，该研讨会于2016年4月2日至3日在荷兰埃因霍温举行，是ETAPS 2016的卫星研讨会。
2016-10-25 cs.PL
Proceedings of the Eleventh Workshop on Constraint Handling Rules
本卷包含在第十一届约束处理规则研讨会（2014年9月）上提交的论文，该研讨会将在维也纳逻辑夏季（VSL）之际在维也纳举行。
2014-06-05 cs.PL
Programming with High-Level Abstractions, Proceedings of the 3rd Workshop on Logic and Practice of Programming
本文集汇集第三届LPOP研讨会成果，围绕集合与逻辑规则等高级抽象，推动其进入通用编程实践。
2024-09-28 cs.PL
Proceedings of the 16th Workshop in Logic-based Methods in Programming Environments (WLPE2006)
本卷包含在WLPE'06上提交的论文：2006年8月16日在美国华盛顿州西雅图喜来登酒店举行的第16届编程环境中基于逻辑的方法研讨会。它是作为ICLP'06（第22届逻辑编程国际会议）的卫星研讨会组织的。
2007-01-24 cs.PL
Proceedings of the 23rd Workshop on Logic-based methods in Programming Environments (WLPE 2013)
本卷包含在第23届基于逻辑的编程环境方法研讨会（WLPE 2013）上提交的论文，该研讨会于2013年8月24日和25日在土耳其伊斯坦布尔举行，作为第29届逻辑编程国际会议（ICLP 2013）的卫星活动。
2013-08-22 cs.PL
Proceedings Ninth Workshop on Mathematically Structured Functional Programming
第九届数学结构函数式编程研讨会（MSFP 2022）。该会议于4月2日举行，是欧洲软件理论与实践联合会议（ETAPS 2022）的卫星会议。MSFP研讨会强调数学结构在编程应用中的应用。我们提倡使用范畴理论、类型论和形式语言语义来开发简单合理的程序。正如今年研讨会上提出的一系列论文所表明的那样，这仍然是一个富有成果的界面。
2022-06-20 cs.PL
Proceedings Combined 28th International Workshop on Expressiveness in Concurrency and 18th Workshop on Structural Operational Semantics
本卷包含EXPRESS/SOS 2021的会议记录：第28届并发表达性国际研讨会和第18届结构操作语义研讨会，该研讨会在线举行，作为CONCUR 2021的附属研讨会，第32届并发理论国际会议。EXPRESS/SOS研讨会系列旨在将对系统和编程概念的形式语义以及计算模型的表达感兴趣的研究人员聚集在一起。
2021-08-22 cs.LO cs.PL
Proceedings Combined 27th International Workshop on Expressiveness in Concurrency and 17th Workshop on Structural Operational Semantics
本卷包含EXPRESS/SOS 2020：第27届并发性表达国际研讨会和第17届结构操作语义研讨会的会议记录，该研讨会作为第31届国际并发性研讨会CONCUR 2020的附属研讨会在线举行。并发理论。EXPRESS/SOS研讨会系列旨在将对系统和编程概念的形式语义以及计算模型的表达感兴趣的研究人员聚集在一起。
2020-08-27 cs.LO cs.PL
Proceedings Combined 29th International Workshop on Expressiveness in Concurrency and 19th Workshop on Structural Operational Semantics
本卷包含EXPRESS/SOS 2022的会议记录：第29届并发表达性国际研讨会和第19届结构操作语义研讨会，该研讨会在波兰华沙举行，作为第33届并发理论国际会议CONCUR 2022的附属研讨会。EXPRESS/SOS研讨会系列旨在将对系统和编程概念的形式语义以及计算模型的表达感兴趣的研究人员聚集在一起。
2022-08-31 cs.LO cs.PL
Proceedings Combined 26th International Workshop on Expressiveness in Concurrency and 16th Workshop on Structural Operational Semantics
本卷包含EXPRESS/SOS 2019的会议记录：2019年8月26日在阿姆斯特丹（荷兰）举行的第26届并发表达性国际研讨会和第16届结构操作语义研讨会，作为CONCUR 2019的附属研讨会，第30届并发理论国际会议。EXPRESS/SOS研讨会系列旨在将对系统和编程概念的形式语义以及计算模型的表达感兴趣的研究人员聚集在一起。
2019-08-22 cs.LO cs.PL
Pre-proceedings of the 26th International Workshop on Functional and Logic Programming (WFLP 2018)
本卷是第26届函数和逻辑编程国际研讨会（WFLP 2018）的预录。它是由程序委员会选出的在研讨会上发表的论文组成的。经过研讨会的讨论，项目委员会将选择一些论文邀请第二轮评审和选择的正式程序。
2018-10-01 cs.LO cs.PL
Proceedings 24th International Workshop on Unification
本卷包含在2010年7月14日在爱丁堡举行的第24届国际统一研讨会上提出的论文，作为FLoC 2010（联邦逻辑会议）的一部分。
2010-12-21 cs.LO cs.PL
Proceedings Tenth International Workshop on Rule-Based Programming
本卷包含规则2009：第十届基于规则的编程国际研讨会的会议记录。它发生在2009年6月28日，巴西利亚，巴西，作为RDP 2009的卫星事件。第一届规则研讨会于2000年在蒙特利尔举行，随后的版本在佛罗伦萨，匹兹堡，瓦伦西亚，亚琛，奈良，西雅图，巴黎和哈根贝格举行。
2010-03-30 cs.LO cs.PL
Proceedings Eighth Workshop on Intersection Types and Related Systems
本卷包含在2016年6月26日在波尔图举行的第八届交叉口类型和相关系统研讨会（ITRS 2016）上提交的论文的最终和修订选择，与FSCD 2016合作。
2017-03-30 cs.LO cs.PL
Proceedings Third Workshop on Behavioural Types
本卷包含BEAT 2014的会议记录，第三届行为类型研讨会。该研讨会于2014年9月1日在意大利罗马举行，作为CONCUR 2014的卫星会议，第25届并发理论国际会议。本次研讨会的目的是汇集行为类型论及其应用的各个方面的研究人员，以分享成果，巩固社区，并发现新的合作机会和未来的方向。
2014-08-24 cs.LO cs.PL
Proceedings Fourth International Workshop on Rewriting Techniques for Program Transformations and Evaluation
本卷包含2017年9月8日在英国牛津举行的第四届程序转换和评估重写技术国际研讨会（WPTE 2017）的正式会议记录，并与第二届计算和演绎形式结构国际会议（FSCD 2017）有关。
2018-02-16 cs.LO cs.PL
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 Fifth Workshop on Intersection Types and Related Systems
本卷包含第五届交叉口类型和相关系统国际研讨会（ITRS 2010）的会议记录。该研讨会于2010年7月9日在苏格兰爱丁堡举行，作为FLoC 2010的一部分，并与LICS 2010相关联。ITRS研讨会系列旨在汇集研究人员，研究基于交叉口类型和相关方法的系统的理论和实际应用（例如，联合类型、细化类型、行为类型）。
2011-01-21 cs.LO cs.PL
Proceedings Seventh International Workshop on Verification and Program Transformation
本卷包含第七届验证和程序转换国际研讨会（VPT 2019）上提交的论文的最终和修订版，该研讨会于2019年4月2日在意大利热那亚举行，隶属于Programming 2019。
2019-08-16 cs.LO cs.PL
Proceedings of the First Workshop on Coalgebra, Horn Clause Logic Programming and Types
余代数，霍恩子句逻辑编程和类型研讨会于2016年11月28日至29日在爱丁堡举行。该研讨会标志着EPSRC授予的类型推断的共代数逻辑编程的结束。Komendantskaya，赫瑞瓦特大学和J. Power，巴斯大学，英国。
2017-09-13 cs.LO cs.PL
Proceedings of the 4th and 5th International Workshop on Trends in Functional Programming in Education
本卷包含了第四届和第五届教育中函数式编程趋势国际研讨会（TFPIE 2015和TFPIE 2016）的会议记录，分别于2015年6月2日在法国索菲亚-安提波利斯和2016年6月7日在美国马里兰大学公园举行。
2016-11-26 cs.CY cs.PL
Proceedings Sixth Workshop on Intersection Types and Related Systems
本卷包含第六届交叉口类型和相关系统研讨会（ITRS 2012）的会议记录。该研讨会于2012年6月29日在杜布罗夫尼克（克罗地亚）举行，隶属于第二十七届年度ACM/IEEE计算机科学逻辑研讨会（LICS 2012）。ITRS研讨会旨在汇集研究人员，研究基于交叉口类型和相关方法的系统的理论和实际应用（例如，联合类型、细化类型、行为类型、递归类型等等）。
2013-07-30 cs.LO cs.PL
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 of the 13th International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice
本卷包含LFMTP 2018上发表的论文选集，LFMTP 2018是第13届逻辑框架和元语言国际研讨会：理论与实践（LFMTP），于2018年7月7日在英国牛津举行。该研讨会隶属于第七届联邦逻辑会议（FLoC）内的第三届计算和演绎形式结构国际会议（FSCD）。
2018-07-03 cs.LO cs.PL
Proceedings 5th Workshop on Mathematically Structured Functional Programming
本卷包含了第五次数学结构函数式编程研讨会（MSFP 2014）的会议记录，该研讨会于2014年4月12日在法国格勒诺布尔举行，作为欧洲软件理论与实践联合会议ETAPS 2014的卫星活动。MSFP致力于从结构推导功能。它突出了代数，语义和类型论的概念，因为它们越来越多地反映在编程实践中，特别是函数式编程。正如今年研讨会上提出的一系列论文所表明的那样，这仍然是一个富有成果的界面。
2014-06-05 cs.LO cs.PL
Proceedings Fourth Workshop on Mathematically Structured Functional Programming
本卷包含了第四次数学结构函数式编程研讨会（MSFP 2012）的会议记录，该研讨会于2012年3月25日在爱沙尼亚塔林举行，作为欧洲软件理论与实践联合会议的卫星活动，ETAPS 2012。MSFP致力于从结构推导功能。它突出了代数，语义和类型论的概念，因为它们越来越多地反映在编程实践中，特别是函数式编程。研讨会包括两个特邀演讲和八份关于该接口一系列主题的论文。
2012-02-11 cs.LO 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 Third International Workshop on Rewriting Techniques for Program Transformations and Evaluation
本卷包含2016年6月23日在葡萄牙波尔图举行的第三届程序转换和评估重写技术国际研讨会（WPTE 2016）的正式会议记录，作为第一届计算和演绎形式结构国际会议（FSCD 2016）的卫星活动。该研讨会汇集了研究人员的程序转换，评估，和基于操作的程序设计语言语义，使用重写方法，以分享技术和最新发展，并交流思想，鼓励进一步激活在这一领域的研究。
2017-01-01 cs.LO cs.PL
Proceedings Seventh Workshop on Logical and Semantic Frameworks, with Applications
本文件包含第七届逻辑和语义框架国际研讨会的会议记录，该研讨会于2012年9月29日和30日在巴西里约热内卢举行。它载有11份被接受在会议上介绍的常规文件（9份长文件和2份短文件），以及Torben Braüner（丹麦罗斯基勒大学）、Maribel Fernández（联合王国伦敦国王学院）、Edward Hermann Haeusler（巴西里约大学）和Alexandre Miquel（法国里昂高等师范学校）应邀演讲的详细摘要。
2013-03-28 cs.LO cs.PL
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 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 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 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 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 Workshop on Fixed Points in Computer Science
本卷包含2013年9月1日在意大利都灵举行的第九届计算机科学定点研讨会的会议记录，作为CSL附属研讨会。以往的讲习班在下列地点举办：布尔诺（1998年，MFCS/CSL讲习班）、巴黎（2000年，LC讲习班）、佛罗伦萨（2001年，PLI讲习班）、哥本哈根（2002年，LICS（FLoC）讲习班）、华沙（2003年，ETAPS讲习班）、科英布拉（2009年，CSL讲习班）、布尔诺（2010年，MFCS-CSL讲习班）、塔林（2012年，CSL讲习班）。不动点在计算机科学的几个领域中起着基础性的作用。它们被用来证明（共）递归定义和相关的推理技术。不动点的构造和性质已经在许多不同的环境中进行了研究，例如：程序设计语言的设计和实现，逻辑，验证，数据库。本次研讨会的目的是为研究人员提供一个论坛，向那些研究或应用不动点理论的计算机科学和逻辑社区的成员介绍他们的结果。
2013-08-27 cs.FL cs.LO cs.PL
Integrating Reasoning Systems for Trustworthy AI, Proceedings of the 4th Workshop on Logic and Practice of Programming (LPOP)
第4届编程逻辑与实践研讨会聚焦于可信人工智能的推理系统集成，将与第40届国际逻辑编程会议联合于2024年10月13日在美国达拉斯以混合形式举行，重点是集成不同编程模型与规则和约束。
2026-07-27 cs.AI cs.LO cs.PL
Proceedings of the First International Workshop on FPGAs for Software Programmers (FSP 2014)
本卷包含2014年9月1日在德国慕尼黑举行的第一届软件程序员FPGA国际研讨会（FSP 2014）上接受的论文。FSP 2014与现场可编程逻辑和应用国际会议（FPL）位于同一地点。
2015-02-27 cs.AR cs.DC cs.PL
Proceedings of the 2nd Workshop on Logic and Practice of Programming (LPOP)
本会议录包含第二届编程逻辑与实践（LPOP）研讨会上提出的工作的摘要和立场文件。该研讨会于2010年11月15日在美国芝加哥举行，与ACM SIGPLAN系统，编程，语言和应用会议：人类软件（SPLASH）2020一起举行。这个研讨会的目的是成为使用逻辑作为实用工具的计算机科学不同领域之间的桥梁。我们利用形式逻辑的共同语言在这些不同的领域之间交换思想。
2022-11-17 cs.AI cs.LO cs.PL
Proceedings Second International Workshop on Trends in Tree Automata and Tree Transducers
本卷包含在2013年10月19日在越南河内举行的第二届国际树自动机和传感器趋势研讨会（TTATT 2013）上发表的论文。讲习班与ATVA核查会议在同一地点举行。第一期研讨会与区域技术援助机构在同一地点举行，地点在日本名古屋。研讨会的兴趣在于程序设计语言、验证和数据库理论的交叉点，这些都是树自动机和传感器最近应用的领域。
2013-11-20 cs.FL cs.LO cs.PL
Proceedings of the Second International Workshop on FPGAs for Software Programmers (FSP 2015)
本卷包含2015年9月1日在英国伦敦举行的第二届软件程序员FPGA国际研讨会（FSP 2015）上接受的论文。FSP 2015与现场可编程逻辑和应用国际会议（FPL）位于同一地点。
2015-08-25 cs.AR cs.DC cs.PL
Proceedings 6th Workshop on Logical and Semantic Frameworks with Applications
本卷包含第六届逻辑和语义框架与应用研讨会（LSFA 2011）的会议记录。研讨会将于2011年8月27日在贝洛奥里藏特举行。逻辑和语义框架是用于表示逻辑、语言和系统的形式语言。这些框架为系统和程序设计语言的正式规范提供了基础，支持工具开发和推理。这个为期一天的研讨会的目的是将理论家和实践者聚集在一起，从理论方面推广新技术和成果，并从实践方面对这些技术和成果的实施和使用进行反馈。
2012-03-24 cs.CC cs.LO cs.PL
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 8th Workshop on Fixed Points in Computer Science
本卷载有2012年3月24日在爱沙尼亚塔林举行的第八次计算机科学定点讲习班的会议记录，该讲习班是电子技术咨询方案的附属讲习班。过去的讲习班在布尔诺（1998年，MFCS/CSL讲习班）、巴黎（2000年，LC讲习班）、佛罗伦萨（2001年，PLI讲习班）、哥本哈根（2002年，LICS（FLoC）讲习班）、华沙（2003年，ETAPS讲习班）、科英布拉（2009年，CSL讲习班）和布尔诺（2010年，MFCS-CSL讲习班）举行。不动点在计算机科学和逻辑的几个领域中起着基本的作用，它证明了归纳和递归定义的正确性。不动点的构造和性质已经在许多不同的框架中进行了研究，例如：程序设计语言，程序逻辑和数据库的设计和实现。本次研讨会的目的是为研究人员提供一个论坛，向那些研究或应用不动点理论的计算机科学和逻辑社区的成员介绍他们的结果。
2012-02-14 cs.FL cs.LO cs.PL
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 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 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 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 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
