Proceedings Eighth International Symposium on Games, Automata, Logics and Formal Verification
本卷包含第八届游戏、自动机、逻辑和形式化验证国际研讨会（GandALF 2017）的会议记录。研讨会于2017年9月20日至22日在意大利罗马举行。Gandalf研讨会是由一群意大利计算机科学家建立的，他们对数学逻辑、自动机理论、博弈论及其在复杂系统规范、设计和验证中的应用感兴趣。它的目的是提供一个论坛，让来自不同地区，可能有不同背景的人可以进行富有成效的互动。Gandalf具有真正的国际精神，这一点可以从项目和指导委员会的组成以及提交论文的国家分布中得到证明。
2017-09-06 cs.FL cs.GT cs.LO
Proceedings First Symposium on Games, Automata, Logic, and Formal Verification
本卷包含了第一次研讨会上的“游戏，自动机，逻辑，和形式化验证（GandALF）"，在米诺里（阿马尔菲海岸），意大利，2010年6月17日至18日举行的会议记录。研讨会由一些对博弈论、数理逻辑、自动机理论及其在复杂系统的规范、设计和验证中的应用感兴趣的意大利计算机科学家推动。它涵盖了大量的研究课题，从理论方面到具体应用。它的目的是提供一个论坛，让来自不同地区的人，可能有不同的背景，可以成功地互动。该活动的高水平国际形象由节目委员会的组成和最终节目见证。
2010-06-09 cs.FL cs.GT cs.LO
Proceedings Sixth International Symposium on Games, Automata, Logics and Formal Verification
本卷包含第六届国际游戏、自动机、逻辑和形式化验证研讨会（GandALF 2015）的会议记录。研讨会于2015年9月21日和22日在意大利热那亚举行。专题讨论会的会议记录载有三次应邀演讲的摘要和13篇论文，这些论文是经过仔细评估后被接受在会议上介绍的。被接受的论文的主题包括算法博弈论，自动机理论，形式化验证，模态和时序逻辑。
2015-09-23 cs.FL cs.LO
Proceedings Ninth International Symposium on Games, Automata, Logics, and Formal Verification
本卷包含第九届游戏，自动机，逻辑和形式化验证国际研讨会（GandALF 2018）的会议记录。研讨会于2018年9月26日至28日在德国萨尔布吕肯举行。Gandalf研讨会是由一群意大利计算机科学家建立的，他们对数学逻辑、自动机理论、博弈论及其在复杂系统规范、设计和验证中的应用感兴趣。它的目的是提供一个论坛，让来自不同地区，可能有不同背景的人可以进行富有成效的互动。Gandalf具有真正的国际精神，这一点可以从项目和指导委员会的组成以及提交论文的国家分布中得到证明。
2018-09-07 cs.FL cs.LO
Proceedings Seventeenth International Symposium on Games, Automata, Logics, and Formal Verification
本文是关于GandALF 2026研讨会论文集的介绍，该会议于2026年在丹麦奥尔堡举行，旨在汇集博弈、自动机、逻辑与形式化验证领域的研究者，促进理论与应用的交叉融合。
2026-10-08 cs.FL cs.LO
Proceedings 7th Symposium on Working Formal Methods
本文集收录了2023年9月21日至22日在布加勒斯特大学举办的第七届工作形式方法研讨会的会议论文。
2023-09-22 cs.LO
Proceedings Third International Symposium on Games, Automata, Logics and Formal Verification
本卷包含了2012年9月6日至8日在那不勒斯（意大利）举行的第三届游戏、自动机、逻辑和形式化验证国际研讨会（GandALF）的会议记录。Gandalf是由一些意大利计算机科学家创立的，他们对数学逻辑、自动机理论、博弈论及其在复杂系统规范、设计和验证中的应用感兴趣。它的目的是提供一个论坛，让来自不同地区，可能有不同背景的人可以进行富有成效的互动。尽管专题讨论会的想法是在意大利研究界提出的，但正如会议委员会的组成和方案所证明的那样，这次活动具有真正的国际性质。
2012-10-07 cs.GT cs.LO
Proceedings of the Fourteenth International Symposium on Games, Automata, Logics, and Formal Verification
该论文集汇集GandALF 2023关于博弈、自动机、逻辑与形式验证的研究，旨在连接学界与业界并推动理论及应用的交叉融合。
2023-09-29 cs.CC cs.FL cs.LO
Pre-proceedings of the 28th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2018)
本卷构成了第28届基于逻辑的程序合成和转换国际研讨会的预录（LOPSTR 2018），于2018年9月4日至6日在美因河畔法兰克福举行，德国，并与第20届声明式编程原则和实践国际研讨会同地举行（PPDP 2018）和第26届函数和逻辑编程国际研讨会（WFLP 2018）。
2018-09-11 cs.LO
Pre-proceedings of the 26th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2016)
本卷是2016年9月6日至8日在英国苏格兰爱丁堡举行的第26届基于逻辑的程序合成和转换国际研讨会（LOPSTR 2016）的预录，与第18届声明式编程原理与实践国际研讨会（PPDP 2016）和第23届静态分析研讨会（SAS 2016）位于同一地点。在研讨会讨论后，论文将通过第二轮评审和选择的正式程序。
2016-09-01 cs.LO cs.PL
Pre-proceedings of the 27th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2017)
本卷是2017年10月10日至12日在比利时那慕尔举行的第27届基于逻辑的程序合成和转换国际研讨会（LOPSTR 2016）的预录，并与第19届声明式编程原理和实践国际研讨会（PPDP 2017）共同举办。在研讨会讨论后，论文将通过第二轮评审和选择的正式程序。
2017-08-31 cs.LO cs.PL
Proceedings 9th edition of Working Formal Methods Symposium
本卷收录了2025年9月在罗马尼亚Alexandru Ioan Cuza大学举办的第9届工作形式化方法研讨会的论文集。
2025-09-15 cs.LO cs.PL cs.SE
Proceedings Fifteenth International Symposium on Games, Automata, Logics, and Formal Verification
本卷是2024年6月在冰岛雷克雅未克举办的第十五届GandALF研讨会论文集，该会汇聚游戏、自动机等领域产学研研究者，覆盖理论到应用主题以促进跨领域融合。
2024-10-29 cs.CC cs.FL cs.LO
Pre-proceedings of the 31st International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2021)
本卷构成了第31届基于逻辑的程序合成和转换国际研讨会的预录（LOPSTR 2021），于2021年9月7日至8日举行，作为混合（混合）会议，双方都亲自参加（在爱沙尼亚塔林的教师之家）和虚拟，并与第23届声明式编程的原则和实践国际研讨会（PPDP 2021）共同举办。在研讨会讨论后，论文将通过第二轮评审和选择的正式程序。
2021-08-31 cs.LO cs.PL
Proceedings of Second International Symposium on Games, Automata, Logics and Formal Verification
本卷包含了第二届游戏、自动机、语言和形式化验证国际研讨会（GandALF 2011）的论文集。会议于2011年6月15日至17日在意大利阿马尔菲海岸的米诺里举行。Gandalf研讨会的目的是为来自不同领域和不同背景的研究人员提供一个论坛，这些研究人员在博弈论，数理逻辑，自动机理论及其在复杂系统的规范，设计和验证中的应用方面有着共同的兴趣。本论文集包含三个特邀演讲和十九篇定期论文的摘要，这些论文是根据原创性、质量和与研讨会主题的相关性通过严格的审查过程选出的。
2011-06-04 cs.LO
Proceedings Eighth Symposium on Working Formal Methods
本文介绍了实用形式化方法研讨会（FROM）系列会议，其旨在汇聚形式化方法领域的研究者与从业者，推动理论成果创新及相关软件工具的开发与应用。
2024-10-30 cs.LO
Informal proceedings of the 32nd International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2022)
本卷是第32届基于逻辑的程序合成和转换国际研讨会的非正式会议录（LOPSTR 2022），于2022年9月21日至23日举行，作为混合（混合）会议，（在格鲁吉亚第比利斯的Ivane Javakhishvili Tbilisi State University -TSU）和虚拟，并与第24届声明式编程原理与实践国际研讨会（PPDP 2022）共同举办，作为2022年计算逻辑秋季峰会（CLAS 2022）的一部分。
2022-07-29 cs.LO cs.PL
Proceedings Third Symposium on Working Formal Methods
本卷包含了2019年9月3日至5日在罗马尼亚蒂米什瓦拉举行的第三届正式工作方法研讨会的会议记录。从旨在汇集研究人员和从业者谁工作的正式方法，通过贡献新的理论成果，方法，技术和框架，和/或使正式方法的工作，通过创建或使用软件工具，应用理论的贡献。
2019-09-02 cs.LO cs.SC
Proceedings 21st International Symposium on Logical and Semantic Frameworks with Applications
第21届逻辑与语义框架及其应用研讨会会议录发布，旨在推广从传统到前沿的相关技术成果，从实践角度提供整合、实现和使用这些方法及成果的反馈。
2026-07-20 cs.LO
Proceedings of the Sixteenth International Symposium on Games, Automata, Logics, and Formal Verification
本卷为 GandALF 2025（第十六届国际游戏、自动机、逻辑与形式化验证研讨会）论文集，旨在汇聚相关领域产学研人员，推动从理论到应用的广泛主题交流与交叉融合。
2025-09-16 cs.LO
Proceedings Tenth Symposium on Working Formal Methods
本文介绍了第十届工作形式方法研讨会（FROM 2026）的举办信息，包括时间地点、组织方、同期会议及收录的14篇论文。
2026-09-28 cs.LO cs.SC cs.SE
Proceedings Twentieth International Symposium on Logical and Semantic Frameworks with Applications
本文介绍在巴西利亚举行的LSFA 2025会议论文集，说明其旨在连接逻辑与语义框架领域的理论研究与实践反馈。
2025-09-28 cs.LO
Proceedings Fourth International Symposium on Symbolic Computation in Software Science
符号计算是用符号对象（术语、公式、程序、代数对象、几何对象等）进行计算的科学。在过去的几十年中，强大的符号算法已经发展起来，并在定理证明，自动推理，软件验证，模型检验，重写，数学形式化，网络安全，Groebner基地，特征集等国际研讨会上发挥了重要作用“符号计算在软件科学”是SCSS研讨会系列的第四个。SCSS 2008和2010在奥地利哈根贝格的符号计算研究所（RISC）举行，SCSS 2009在突尼斯的Gammarth举行。这些研讨会是由内部研讨会发展而来的，这些研讨会汇集了来自以下领域的研究人员：a）评分（符号计算研究小组），日本筑波大学，b）奥地利林茨约翰内斯开普勒大学符号计算研究所的定理小组，c）SSFG（软件科学基金会小组），以及d）突尼斯迦太基大学的Sup'Com（突尼斯通信高等学院）。
2013-07-30 cs.LO cs.SC
Proceedings of the Sixth Working Formal Methods Symposium
我们很高兴地介绍在“Al. I.”举行的第六届工作形式方法研讨会（从2022年开始）的论文。2022年9月19日至20日，罗马尼亚雅西大学。从旨在汇集研究人员和从业者谁工作的正式方法，通过贡献新的理论成果，方法，技术和框架，和/或使正式方法的工作，通过创建或使用软件工具，应用理论的贡献。该计划委员会选择了五个贡献和四个邀请演讲，其中一个与第28届逻辑，语言，信息和计算研讨会（WoLLIC 2022）共享。两个贡献处理匹配逻辑，一个表达逻辑框架，程序设计语言和其他逻辑的正式定义可以嵌入。其他贡献涉及分布式系统，多代理系统和教学正式的方法。邀请的会谈目前的工作与这些主题大致一致。
2022-09-19 cs.LO cs.PL cs.SE
Proceedings of the 9th International Symposium on Symbolic Computation in Software Science
本卷包含在第九届软件科学符号计算国际研讨会（SCSS 2021）上发表的论文。符号计算是一门用符号对象（术语、公式、程序、代数对象的表示等）进行计算的科学。在过去的几十年里，在符号计算的主要子领域：计算机代数和计算逻辑中，已经开发出了强大的算法。这些算法和方法被成功地应用于各个领域，包括软件科学，它涵盖了广泛的主题，软件建设和分析。同时，人工智能方法和机器学习算法如今被广泛用于各个领域，特别是与符号计算相结合。有几种方法混合了人工智能和符号方法以及部署在大型语料库上的工具，以创建所谓的认知系统。认知计算专注于构建通过推理与人类自然交互的系统，旨在大规模学习。SCSS的目的是结合现代人工智能技术，促进软件科学中符号计算的理论和实践方面的研究。这些会议记录包括Bruno Buchberger的主旨文件和10份供稿。此外，会议计划包括三个特邀演讲，九个简短的和正在进行的论文，以及一个关于计算机代数和计算逻辑的特别会议。由于COVID-19大流行，研讨会完全在线举行。它由林茨约翰尼斯开普勒大学的符号计算研究所（RISC）于2021年9月8日至10日组织。
2021-09-06 cs.AI cs.LO cs.SC
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 First Workshop on Quantitative Formal Methods: Theory and Applications
本卷包含了在第一次研讨会上提出的论文定量形式化方法：理论和应用，这是在埃因霍温举行的2009年11月3日作为国际研讨会的一部分形式化方法2009年。这一卷载有所有已接受在讲习班上提出的材料的最后文本。
2009-12-10 cs.LO cs.PF
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 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 Quantities in Formal Methods
本卷包含2012年8月28日在法国巴黎举行的QFM 2012正式方法研讨会的会议记录。该研讨会隶属于第18届形式方法研讨会，FM 2012。研讨会的重点是建模、验证和综合中的数量。形式化方法的现代应用需要对时间、资源或概率等量进行形式化推理。标准的形式化方法和工具已经非常擅长建模（和验证）定性属性：某些事件是否会发生。在过去的几年中，这些方法和工具已经扩展到也覆盖定量方面，特别是导致工具，例如UPPAAL（用于实时系统），PRISM（用于概率系统）和PHAVer（用于混合系统）。然而，在这些工具可以用于它们所针对的工业应用之前，还有很多工作要做。
2012-12-14 cs.FL cs.LG cs.LO
Proceedings 2nd Workshop on Formal Methods in the Development of Software
本卷包含第二届软件开发中的形式化方法研讨会（WS-FMDS 2012）的会议记录。该研讨会于2012年8月30日在法国巴黎举行，作为第18届形式方法国际研讨会（FM-2012）的卫星活动。WS-FMDS 2012的目的是为那些对使用软件方法论开发的系统上的形式化方法的应用感兴趣的研究人员提供一个论坛。特别是，该讲习班旨在汇集活跃在正式方法领域并有兴趣交流这些方法的工业应用经验的科学家和从业人员。该研讨会还致力于促进研究和开发，以改进工业应用的正式方法和工具。
2012-07-08 cs.LO cs.SE
Proceedings 2nd French Singaporean Workshop on Formal Methods and Applications
本卷包含第二届法国新加坡正式方法和应用研讨会（FSFMA'14）的会议记录。该研讨会于2014年5月13日在新加坡举行，作为第19届形式方法国际研讨会（FM'14）的卫星活动。FSFMA旨在分享研究兴趣，并在正式方法及其应用领域开展合作。研讨会的科学主题涵盖（但不限于）形式规范、模型检验、验证、程序分析/转换、软件工程以及计算机科学主要领域（包括航空航天）的应用等领域。该研讨会汇集了来自法国，新加坡和其他国家的研究人员和行业研发专家，交流他们的知识，讨论他们的研究成果，并探索潜在的合作。本卷包含八个贡献：四个邀请会谈和四个定期文件。
2014-07-08 cs.LO 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
Proceedings of the Second Workshop on Verification of Objects at RunTime EXecution
本卷包含在阿姆斯特丹举行的第二届运行时对象验证研讨会（VORTEX 2018）的后续活动，与欧洲面向对象编程会议（ECOOP 2018）和ACM SIGSOFT软件测试和分析国际研讨会（ISSTA 2018）共同举办。运行时验证是一种软件验证方法，涉及对软件和硬件系统执行的监控和分析。最近，它已经获得了更多的共识，作为一个有效的和有前途的方法，以确保软件的可靠性，弥合之间的差距形式化验证，和传统的测试，在运行时执行过程中监视系统提供了额外的机会，解决错误恢复，自适应，和其他问题，超越软件的可靠性。VORTEX的目标是将研究人员聚集在一起，研究涉及理论或实践方面的主题的运行时验证，或者最好是两者兼而有之，重点是面向对象的语言和系统。
2019-08-25 cs.LO cs.PL cs.SE
Proceedings of the Fourteenth Workshop on Logical Frameworks and Meta-Languages: Theory and Practice
本卷包含LFMTP 2019年6月22日在加拿大温哥华举行的第14届逻辑框架和元语言国际研讨会：理论与实践（LFMTP）上发表的论文选集。该研讨会隶属于第34届年度ACM/IEEE计算机科学逻辑研讨会（LICS）。逻辑框架和元语言形成了一个共同的基础，用于表示、实现和推理逻辑和计算机科学中感兴趣的各种演绎系统。它们的设计，实现和它们在推理任务中的使用，从软件的正确性到形式系统的属性，一直是过去二十年来大量研究的焦点。该研讨会将汇集设计师，实施者和从业人员，讨论影响逻辑框架结构和实用性的各个方面，包括变量绑定，归纳和共归纳推理技术的处理以及推理过程的表达性和清晰度。
2019-10-19 cs.LO
