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 12th International Workshop on Verification of Infinite-State Systems
INFINITY研讨会的目的是为有兴趣开发形式方法和算法技术的研究人员提供一个论坛，用于分析具有无限多个状态的系统，以及它们在复杂软件和硬件系统自动验证中的应用。
2010-10-28 cs.CC cs.FL cs.LO
Proceedings 18th International Workshop on Expressiveness in Concurrency
本卷包含第18届并发表达性国际研讨会（EXPRESS 2011）的会议记录，该研讨会于2011年9月5日在亚琛举行，作为CONCUR 2011的卫星研讨会。EXPRESS研讨会系列旨在将那些对与并发性广泛相关的正式模型的表达性和比较感兴趣的研究人员聚集在一起。特别是，这也包括新兴领域，如逻辑和交互，博弈论模型和面向服务的计算。
2011-08-20 cs.FL cs.LO
Proceedings of the Sixth Workshop on Horn Clauses for Verification and Synthesis and Third Workshop on Program Equivalence and Relational Reasoning
本卷包含第三届程序等价和关系推理研讨会（PERR）和第六届验证与综合霍恩子句研讨会（HCVS）的联合后续会议记录，分别于4月6日和7日在捷克共和国布拉格举行，作为ETAPS的附属研讨会。
2019-07-08 cs.LO
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 First International Workshop on Hybrid Systems and Biology
该研讨会旨在汇集从事系统生物学混合建模的科学家，讨论当前已实现的目标、挑战和未来可能的发展。
2012-08-15 cs.CE cs.LO cs.SY
Proceedings First International Workshop on Linearity
本卷包含LINEARITY 2009会议记录：第一届线性国际研讨会，于2009年9月12日在葡萄牙科英布拉举行。该研讨会是CSL 2009的卫星活动，第18届EACSL计算机科学逻辑年会。
2010-03-30 cs.LO
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 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 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
Proceedings 15th International Workshop on Verification of Infinite-State Systems
本卷包含Infinity'13的会议记录，第15届无限状态系统验证国际研讨会，于2013年10月14日在越南河内举行，作为ATVA'13的卫星活动。INFINITY研讨会的目的是为有兴趣开发形式方法和算法技术的研究人员提供一个论坛，用于分析具有无限多个状态的系统，以及它们在复杂软件和硬件系统自动验证中的应用。
2014-02-23 cs.FL cs.LO
Proceedings of the 5th Workshop on Membrane Computing and Biologically Inspired Process Calculi (MeCBIC 2011)
本卷代表了第五届膜计算和生物启发过程演算研讨会（MeCBIC 2011）的会议记录，该研讨会于2011年8月23日在法国枫丹白露举行的第12届膜计算国际会议上举行。
2011-08-18 cs.CE cs.DC cs.ET
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 International Workshop on Verification of Infinite-State Systems
本卷包含第11届无限状态系统验证国际研讨会（INFINITY 2009）的会议记录。该研讨会于2009年8月31日在意大利博洛尼亚举行，作为第20届并发理论国际会议（CONCUR 2009）的卫星活动。INFINITY研讨会的目的是为有兴趣开发形式方法和算法技术的研究人员提供一个论坛，用于分析具有无限多个状态的系统，以及它们在复杂软件和硬件系统自动验证中的应用。
2009-11-17 cs.DM cs.FL cs.LO
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 of the 4th International Workshop on Strategic Reasoning
本卷包含2016年7月10日在美国纽约市举行的第四届战略推理国际研讨会（SR 2016）的会议记录。研讨会包括2个主题演讲和9个关于逻辑、验证、博弈和均衡的专题演讲。有关战略研讨会系列的更多信息，请访问http://www.strategicreasoning.net/
2016-07-10 cs.LO
Proceedings of the 15th International Workshop on the ACL2 Theorem Prover and Its Applications
本卷包含第十五届ACL 2定理证明器及其应用国际研讨会（ACL 2 -2018）的会议记录，该研讨会于2018年11月5日至6日在美国德克萨斯州奥斯汀举行，为期两天，紧接着FMCAD'18。ACL 2 -2018会议录包括11篇长篇论文和2篇扩展摘要。
2018-10-29 cs.LO cs.SC
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 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 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
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 Twelfth Workshop on Developments in Computational Models and Ninth Workshop on Intersection Types and Related Systems
本卷包含在计算模型发展第十二次研讨会（DCM 2018）和交叉口类型和相关系统第九次研讨会（ITRS 2018）上提交的论文的最终和修订选择，于2018年7月8日在牛津举行，与FLOC 2018合作。
2019-04-21 cs.CC cs.LO cs.PL
Proceedings 24th International Workshop on Unification
本卷包含在2010年7月14日在爱丁堡举行的第24届国际统一研讨会上提出的论文，作为FLoC 2010（联邦逻辑会议）的一部分。
2010-12-21 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 eleventh Workshop on Answer Set Programming and Other Computing Paradigms 2018
这是2018年7月18日在英国牛津举行的第十一届回答集编程和其他计算范式研讨会（ASPOCP）的会议记录。
2019-11-21 cs.AI cs.LO
Proceedings Workshop on Partiality and Recursion in Interactive Theorem Provers
本卷包含了在交互式定理证明器（PAR 2010）的偏性和递归研讨会的会议记录，该研讨会于7月15日在英国爱丁堡举行。该研讨会是作为交互式定理证明国际会议（ITP 2010）的卫星研讨会举办的，ITP 2010本身是2010年联邦逻辑会议（FLoC 2010）的一部分。这个研讨会是研究人员在定理证明器中处理部分函数和终止一般（共同）递归的新方法的场所。
2010-12-21 cs.LO
Proceedings Tenth International Workshop on Rule-Based Programming
本卷包含规则2009：第十届基于规则的编程国际研讨会的会议记录。它发生在2009年6月28日，巴西利亚，巴西，作为RDP 2009的卫星事件。第一届规则研讨会于2000年在蒙特利尔举行，随后的版本在佛罗伦萨，匹兹堡，瓦伦西亚，亚琛，奈良，西雅图，巴黎和哈根贝格举行。
2010-03-30 cs.LO cs.PL
Proceedings Seventeenth International Workshop on the ACL2 Theorem Prover and its Applications
本卷包含了在第17届国际研讨会上提交的关于ACL 2定理证明及其应用（ACL 2 2022）的论文选集。这些讲习班是介绍与ACL2有关的研究和经验的主要技术论坛。
2022-05-23 cs.AI 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 9th International Workshop on Computing with Terms and Graphs
本卷包含TERMGRAPH 2016的会议记录，第九届国际术语和图形计算研讨会于2016年4月8日在荷兰埃因霍温举行，作为欧洲软件理论与实践联合会议（ETAPS 2016）的卫星活动。
2016-09-10 cs.LO cs.SC
Proceedings Eighth Workshop on Intersection Types and Related Systems
本卷包含在2016年6月26日在波尔图举行的第八届交叉口类型和相关系统研讨会（ITRS 2016）上提交的论文的最终和修订选择，与FSCD 2016合作。
2017-03-30 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 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 of the Sixteenth International Workshop on the ACL2 Theorem Prover and its Applications
本卷包含了在第16届ACL 2定理证明及其应用国际研讨会（ACL 2 -2020）上提交的论文选集。这些讲习班是介绍与ACL 2有关的研究和经验的主要技术论坛。
2020-09-26 cs.AI cs.LO
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 Combined 30th International Workshop on Expressiveness in Concurrency and 20th Workshop on Structural Operational Semantics
本卷为EXPRESS/SOS 2023合并研讨会论文集，该会议在比利时安特卫普作为CONCUR 2023附属会议举行，旨在汇聚对系统形式语义及计算模型表达性感兴趣的研究人员。
2023-09-11 cs.IT cs.LO math.IT
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 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 Fourth Workshop on Proof eXchange for Theorem Proving
本卷EPTCS包含第四届定理证明的证据交换研讨会（PxTP 2015）的会议记录，该研讨会是2015年8月2日至3日在柏林举行的自动演绎国际会议（CADE 2015）的一部分。PxTP研讨会系列汇集了研究人员，他们致力于推理系统和形式主义之间的通信，集成和合作的各个方面。这些会议记录包含七篇常规论文，以及Georges Gonthier（微软研究院）和Bart Jacobs（鲁汶大学）受邀演讲的摘要。
2015-07-30 cs.LO
Proceedings of the 18th International Workshop on the ACL2 Theorem Prover and Its Applications
本卷为ACL2-2023研讨会论文集，涵盖ACL2定理证明器及其应用的研究成果，会议于2023年11月13-14日在德克萨斯大学奥斯汀分校线上线下举行。
2023-11-14 cs.LO
Proceedings Twelfth Workshop on Fixed Points in Computer Science
本EPTCS卷收录了2024年2月在意大利那不勒斯举行的第十二届国际计算机科学不动点研讨会（作为CSL 2024卫星会议）的精选后论文集。
2025-11-01 cs.LO cs.PL
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 First Workshop on Logics and Model-checking for Self-* Systems
本卷包含了第一次自 * 系统逻辑和模型检验研讨会（MOD* 2014）的会议记录。该研讨会于2014年9月12日在意大利Bertinoro举行，是iFM 2014（第11届集成形式方法国际会议）的卫星活动。研讨会的重点是展示形式化方法对现代复杂系统的适用性，具有高度的自适应性和可重构性，通过汇集研究人员和从业人员，推动逻辑和模型检验的最新发展。
2014-11-13 cs.FL cs.LO cs.MA
Proceedings 6th International Workshop on Symbolic-Numeric methods for Reasoning about CPS and IoT
第六届CPS和物联网推理的符号-数值方法国际研讨会（SNR 2020）的会议记录包含研讨会上提出的论文。SNR侧重于结合符号和数值方法来推理信息物理系统和物联网，以促进这些系统的模型识别，规范，验证和控制综合。
2021-01-01 cs.LO cs.SC
Proceedings 16th International Workshop on Expressiveness in Concurrency
本卷包含第16届并发表达性国际研讨会（EXPRESS'09）的会议记录，该研讨会于2009年9月5日在博洛尼亚举行，与CONCUR'09位于同一地点。EXPRESS研讨会系列旨在将那些对与并发性广泛相关的正式模型的表达性和比较感兴趣的研究人员聚集在一起。特别是，这也包括新兴领域，如逻辑和交互，博弈论模型和面向服务的计算。
2009-11-17 cs.LO
Proceedings 17th International Workshop on Expressiveness in Concurrency
本卷包含第17届并发表达性国际研讨会（EXPRESS'10）的会议记录，该研讨会于2010年8月30日在巴黎举行，与CONCUR'10位于同一地点。EXPRESS研讨会系列旨在将那些对与并发性广泛相关的正式模型的表达性和比较感兴趣的研究人员聚集在一起。特别是，这也包括新兴领域，如逻辑和交互，博弈论模型和面向服务的计算。
2010-11-28 cs.LO
Proceedings 8th International Workshop on Computing with Terms and Graphs
本卷包含第八届国际术语和图形计算研讨会（TERMGRAPH 2014）的后续会议记录。该研讨会于2014年7月13日在维也纳举行，隶属于RTA和TLCA联合会议，该会议是联邦逻辑会议（FLoC）的一部分，而FLoC又参加了2014年维也纳逻辑夏季（VSL）。这些程序中的四个常规文件是其程序前版本的显着扩展版本。他们又接受了一轮审查。Samuel Mimram的论文是一份特邀贡献。
2015-05-26 cs.CC cs.LO
Proceedings Second International Workshop on Computational Models for Cell Processes
第二届细胞过程计算模型国际研讨会（ComProc 2009）于2009年11月3日在埃因霍温理工大学举行，与Formal Methods 2009一起举行。该讲习班是与欧共体海洋和海洋分析网项目联合举办的。这一卷载有所有已接受在讲习班上提出的材料的最后文本。
2009-10-22 cs.CE cs.LO
