会员服务
会议 · Automator ·
7 月 10 日
Proceedings of the 21st International Workshop on Termination
翻译：暂无翻译
Florian Frohn,Étienne Payet
Florian Frohn,Étienne Payet

This report contains the proceedings of the 21st International Workshop on Termination (WST 2026), which was held in Lisbon on July 25. It was affiliated with the 13th International Joint Conference on Automated Reasoning (IJCAR 2026), which was part of the Federated Logic Conference (FLoC 2026).


翻译：暂无翻译
0
下载
关闭预览

相关内容

学术会议，包括国内外相关会议
ICLR2024，强化学习领域约301篇Accept论文汇总整理，附原文与交流群
ICLR2024，强化学习领域约301篇Accept论文汇总整理，附原文与交流群
专知会员服务
61+阅读 · 2024年1月24日
中国可持续交通发展报告，116页pdf
中国可持续交通发展报告，116页pdf
专知会员服务
28+阅读 · 2022年5月30日
【CVPR 2022】连续驾驶场景与不断增长的建筑的连续立体匹配，Continual Stereo Matching of Continuous Driving Scenes with Growing Architecture
【CVPR 2022】连续驾驶场景与不断增长的建筑的连续立体匹配，Continual Stereo Matching of Continuous Driving Scenes with Growing Architecture
专知会员服务
11+阅读 · 2022年3月12日
重磅！中国工程院发布《2021全球工程前沿》，247页pdf
重磅！中国工程院发布《2021全球工程前沿》，247页pdf
专知会员服务
117+阅读 · 2021年12月14日
近期必读的5篇顶会WWW 2021【对比学习（CL）】相关论文和代码
专知会员服务
51+阅读 · 2021年6月17日
SIGIR2021接受论文列表公布！151篇论文都在这了！
专知会员服务
38+阅读 · 2021年4月27日
最新！CCF-A类顶会WWW2021最佳论文出炉！华盛顿大学最佳论文，台湾国立交通大学斩获最佳学生论文！
最新！CCF-A类顶会WWW2021最佳论文出炉！华盛顿大学最佳论文，台湾国立交通大学斩获最佳学生论文！
专知会员服务
25+阅读 · 2021年4月24日
【INTERSPEECH2020】元学习与自然语言处理应用，台大李宏毅老师讲解。附视频与PPT
【INTERSPEECH2020】元学习与自然语言处理应用，台大李宏毅老师讲解。附视频与PPT
专知会员服务
28+阅读 · 2020年11月5日
Risk Sensitive Portfolio Optimization with Regime-Switching and Default Contagion，香港理工大学应用数学系余翔助理教授，第八届全国社会媒体处理大会SMP2019
Risk Sensitive Portfolio Optimization with Regime-Switching and Default Contagion，香港理工大学应用数学系余翔助理教授，第八届全国社会媒体处理大会SMP2019
专知会员服务
11+阅读 · 2019年10月24日
Connections between Support Vector Machines, Wasserstein distance and gradient-penalty GANs
Connections between Support Vector Machines, Wasserstein distance and gradient-penalty GANs
专知会员服务
37+阅读 · 2019年10月17日
【快讯】IJCAI2021结果出炉，587篇上榜， 你的paper中了吗？
【快讯】IJCAI2021结果出炉，587篇上榜， 你的paper中了吗？
专知
27+阅读 · 2021年4月30日
CCF-A类顶会WWW2021论文结果出炉，357篇上榜！你的论文中了吗？
CCF-A类顶会WWW2021论文结果出炉，357篇上榜！你的论文中了吗？
专知
23+阅读 · 2021年1月17日
IEEE WHISPERS大规模高光谱目标跟踪挑战赛来了！
IEEE WHISPERS大规模高光谱目标跟踪挑战赛来了！
中国图象图形学报
60+阅读 · 2020年7月8日
实验室学生参加 IJCAI 2019会议并做报告
实验室学生参加 IJCAI 2019会议并做报告
inpluslab
16+阅读 · 2019年8月25日
Hierarchically Structured Meta-learning
Hierarchically Structured Meta-learning
CreateAMind
27+阅读 · 2019年5月22日
Transferring Knowledge across Learning Processes
Transferring Knowledge across Learning Processes
CreateAMind
29+阅读 · 2019年5月18日
2019版CCF推荐国际学术会议和期刊目录发布！AI领域七大A类会议，你认同吗？
2019版CCF推荐国际学术会议和期刊目录发布！AI领域七大A类会议，你认同吗？
黑龙江大学自然语言处理实验室
10+阅读 · 2019年5月1日
A Technical Overview of AI & ML in 2018 & Trends for 2019
A Technical Overview of AI & ML in 2018 & Trends for 2019
待字闺中
18+阅读 · 2018年12月24日
disentangled-representation-papers
disentangled-representation-papers
CreateAMind
26+阅读 · 2018年9月12日
每日论文 | Twin-GAN实现不同次元的图像的迁移；半监督学习实际效果调查；对深度学习进行长度描述
每日论文 | Twin-GAN实现不同次元的图像的迁移；半监督学习实际效果调查；对深度学习进行长度描述
论智
13+阅读 · 2018年9月6日
面向发动机的湍流燃烧基础研究指导专家组战略研究和学术交流
国家自然科学基金
0+阅读 · 2016年12月31日
多年冻土区宽幅路基耦合换热机理及边界尺度热效应研究
国家自然科学基金
0+阅读 · 2015年12月31日
面向真实细观界面力学行为仿真的沥青混合料多精度三维重构及数值建模
国家自然科学基金
0+阅读 · 2015年12月31日
变工况机械动态信号瞬时耦合的理解、识别与故障预示
国家自然科学基金
2+阅读 · 2015年12月31日
中国跨国城市网络演化过程与机理研究
国家自然科学基金
2+阅读 · 2015年12月31日
面向发动机燃料的着火、火焰传播及反应动力学研究
国家自然科学基金
0+阅读 · 2014年12月31日
多场耦合作用下制备高性能粉末冶金TiAl合金板材的基础研究
国家自然科学基金
0+阅读 · 2014年12月31日
混凝土反应动力学和结构形成动力学的研究及计算机模拟
国家自然科学基金
0+阅读 · 2014年12月31日
基于多元荷载耦合作用下高速铁路交叉隧道动力响应及损伤机理研究
国家自然科学基金
0+阅读 · 2014年12月31日
近空间飞行器的关键基础科学问题指导专家组调研和学术交流经费
国家自然科学基金
0+阅读 · 2014年12月31日
Auditing Frozen-Encoder Anomaly Detection Across Mechanical Systems: Representation Provenance, Calibration, and Protocol Effects
Arxiv
0+阅读 · 9月1日
Who Speaks Matters: Authority-Aware Multi-View RAG over Italian Parliamentary Proceedings
Arxiv
0+阅读 · 8月13日
Mechanism Design for Generative Engines: From Exploitation toward Win-Win Outcomes
Arxiv
0+阅读 · 8月11日
TRACE: Trustworthy Retrieval-Augmented Conversational Engine
Arxiv
0+阅读 · 8月10日
Termination analysis with interpolation-based transition invariant generation
Arxiv
0+阅读 · 8月9日
Improving the Security of Containerized Workloads using Transparency and Traceability Services
Arxiv
0+阅读 · 8月1日
Termination Analysis of Linear-Constraint Programs
Arxiv
0+阅读 · 7月24日
RealDESED: A Real-World Domestic Sound Event Detection Benchmark
Arxiv
0+阅读 · 7月18日
Proceedings 21st International Symposium on Logical and Semantic Frameworks with Applications
Arxiv
0+阅读 · 7月17日
Knowledge Graph and Accurate Portrait Construction of Scientific and Technological Academic Conferences
Arxiv
0+阅读 · 7月9日
VIP会员
文章信息
前往arXiv
下载PDF
相关主题
会议
Automator
最新内容
《异构无人机蜂群中的自组织：通过局部规则实现透明、韧性与适应性蜂群行为》2026最新200页报告
《异构无人机蜂群中的自组织：通过局部规则实现透明、韧性与适应性蜂群行为》2026最新200页报告
专知会员服务
0+阅读 · 7分钟前
《人工智能（AI）智能体兵棋推演决策的可视化理解》报告
《人工智能（AI）智能体兵棋推演决策的可视化理解》报告
专知会员服务
0+阅读 · 9分钟前
美国开始在五个军事基地进行为期一年的定向能反无人机试验
美国开始在五个军事基地进行为期一年的定向能反无人机试验
专知会员服务
0+阅读 · 14分钟前
综述 | 面向大模型智能体的图结构个性化记忆
综述 | 面向大模型智能体的图结构个性化记忆
专知会员服务
0+阅读 · 今天13:56
综述 | 机器人策略验证器：为什么没有免费的检查器
综述 | 机器人策略验证器：为什么没有免费的检查器
专知会员服务
0+阅读 · 今天13:54
《复杂空战仿真中多智能体强化学习：可解释性驱动集成大语言模型和知识图谱》最新30页报告
《复杂空战仿真中多智能体强化学习：可解释性驱动集成大语言模型和知识图谱》最新30页报告
专知会员服务
5+阅读 · 9月9日
《多智能体强化学习方法的空战仿真评估》最新30页报告
《多智能体强化学习方法的空战仿真评估》最新30页报告
专知会员服务
3+阅读 · 9月9日
《军事指挥与控制结构内的动态信息处理》2026最新80页
《军事指挥与控制结构内的动态信息处理》2026最新80页
专知会员服务
5+阅读 · 9月9日
人工智能与未来空战管理
人工智能与未来空战管理
专知会员服务
6+阅读 · 9月9日
综述 | 动态异质图表示学习：方法谱系、数据集与未来方向
综述 | 动态异质图表示学习：方法谱系、数据集与未来方向
专知会员服务
4+阅读 · 9月8日
综述 | 高效GUI智能体：观察、记忆、动作与运行时优化
综述 | 高效GUI智能体：观察、记忆、动作与运行时优化
专知会员服务
6+阅读 · 9月8日
机器的崛起：美海军陆战队组建机器人营思考
机器的崛起：美海军陆战队组建机器人营思考
专知会员服务
9+阅读 · 9月8日
无面之战：人工智能如何重绘权力版图
无面之战：人工智能如何重绘权力版图
专知会员服务
6+阅读 · 9月8日
《海军指挥与控制中的人工智能信任建模》2026最新90页
《海军指挥与控制中的人工智能信任建模》2026最新90页
专知会员服务
7+阅读 · 9月8日
《异构无人水面艇编队作战的自主制导算法》2026最新130页
《异构无人水面艇编队作战的自主制导算法》2026最新130页
专知会员服务
6+阅读 · 9月8日
相关VIP内容
ICLR2024，强化学习领域约301篇Accept论文汇总整理，附原文与交流群
ICLR2024，强化学习领域约301篇Accept论文汇总整理，附原文与交流群
专知会员服务
61+阅读 · 2024年1月24日
中国可持续交通发展报告，116页pdf
中国可持续交通发展报告，116页pdf
专知会员服务
28+阅读 · 2022年5月30日
【CVPR 2022】连续驾驶场景与不断增长的建筑的连续立体匹配，Continual Stereo Matching of Continuous Driving Scenes with Growing Architecture
【CVPR 2022】连续驾驶场景与不断增长的建筑的连续立体匹配，Continual Stereo Matching of Continuous Driving Scenes with Growing Architecture
专知会员服务
11+阅读 · 2022年3月12日
重磅！中国工程院发布《2021全球工程前沿》，247页pdf
重磅！中国工程院发布《2021全球工程前沿》，247页pdf
专知会员服务
117+阅读 · 2021年12月14日
近期必读的5篇顶会WWW 2021【对比学习（CL）】相关论文和代码
专知会员服务
51+阅读 · 2021年6月17日
SIGIR2021接受论文列表公布！151篇论文都在这了！
专知会员服务
38+阅读 · 2021年4月27日
最新！CCF-A类顶会WWW2021最佳论文出炉！华盛顿大学最佳论文，台湾国立交通大学斩获最佳学生论文！
最新！CCF-A类顶会WWW2021最佳论文出炉！华盛顿大学最佳论文，台湾国立交通大学斩获最佳学生论文！
专知会员服务
25+阅读 · 2021年4月24日
【INTERSPEECH2020】元学习与自然语言处理应用，台大李宏毅老师讲解。附视频与PPT
【INTERSPEECH2020】元学习与自然语言处理应用，台大李宏毅老师讲解。附视频与PPT
专知会员服务
28+阅读 · 2020年11月5日
Risk Sensitive Portfolio Optimization with Regime-Switching and Default Contagion，香港理工大学应用数学系余翔助理教授，第八届全国社会媒体处理大会SMP2019
Risk Sensitive Portfolio Optimization with Regime-Switching and Default Contagion，香港理工大学应用数学系余翔助理教授，第八届全国社会媒体处理大会SMP2019
专知会员服务
11+阅读 · 2019年10月24日
Connections between Support Vector Machines, Wasserstein distance and gradient-penalty GANs
Connections between Support Vector Machines, Wasserstein distance and gradient-penalty GANs
专知会员服务
37+阅读 · 2019年10月17日
热门VIP内容
相关资讯
【快讯】IJCAI2021结果出炉，587篇上榜， 你的paper中了吗？
【快讯】IJCAI2021结果出炉，587篇上榜， 你的paper中了吗？
专知
27+阅读 · 2021年4月30日
CCF-A类顶会WWW2021论文结果出炉，357篇上榜！你的论文中了吗？
CCF-A类顶会WWW2021论文结果出炉，357篇上榜！你的论文中了吗？
专知
23+阅读 · 2021年1月17日
IEEE WHISPERS大规模高光谱目标跟踪挑战赛来了！
IEEE WHISPERS大规模高光谱目标跟踪挑战赛来了！
中国图象图形学报
60+阅读 · 2020年7月8日
实验室学生参加 IJCAI 2019会议并做报告
实验室学生参加 IJCAI 2019会议并做报告
inpluslab
16+阅读 · 2019年8月25日
Hierarchically Structured Meta-learning
Hierarchically Structured Meta-learning
CreateAMind
27+阅读 · 2019年5月22日
Transferring Knowledge across Learning Processes
Transferring Knowledge across Learning Processes
CreateAMind
29+阅读 · 2019年5月18日
2019版CCF推荐国际学术会议和期刊目录发布！AI领域七大A类会议，你认同吗？
2019版CCF推荐国际学术会议和期刊目录发布！AI领域七大A类会议，你认同吗？
黑龙江大学自然语言处理实验室
10+阅读 · 2019年5月1日
A Technical Overview of AI & ML in 2018 & Trends for 2019
A Technical Overview of AI & ML in 2018 & Trends for 2019
待字闺中
18+阅读 · 2018年12月24日
disentangled-representation-papers
disentangled-representation-papers
CreateAMind
26+阅读 · 2018年9月12日
每日论文 | Twin-GAN实现不同次元的图像的迁移；半监督学习实际效果调查；对深度学习进行长度描述
每日论文 | Twin-GAN实现不同次元的图像的迁移；半监督学习实际效果调查；对深度学习进行长度描述
论智
13+阅读 · 2018年9月6日
相关论文
Auditing Frozen-Encoder Anomaly Detection Across Mechanical Systems: Representation Provenance, Calibration, and Protocol Effects
Arxiv
0+阅读 · 9月1日
Who Speaks Matters: Authority-Aware Multi-View RAG over Italian Parliamentary Proceedings
Arxiv
0+阅读 · 8月13日
Mechanism Design for Generative Engines: From Exploitation toward Win-Win Outcomes
Arxiv
0+阅读 · 8月11日
TRACE: Trustworthy Retrieval-Augmented Conversational Engine
Arxiv
0+阅读 · 8月10日
Termination analysis with interpolation-based transition invariant generation
Arxiv
0+阅读 · 8月9日
Improving the Security of Containerized Workloads using Transparency and Traceability Services
Arxiv
0+阅读 · 8月1日
Termination Analysis of Linear-Constraint Programs
Arxiv
0+阅读 · 7月24日
RealDESED: A Real-World Domestic Sound Event Detection Benchmark
Arxiv
0+阅读 · 7月18日
Proceedings 21st International Symposium on Logical and Semantic Frameworks with Applications
Arxiv
0+阅读 · 7月17日
Knowledge Graph and Accurate Portrait Construction of Scientific and Technological Academic Conferences
Arxiv
0+阅读 · 7月9日
相关基金
面向发动机的湍流燃烧基础研究指导专家组战略研究和学术交流
国家自然科学基金
0+阅读 · 2016年12月31日
多年冻土区宽幅路基耦合换热机理及边界尺度热效应研究
国家自然科学基金
0+阅读 · 2015年12月31日
面向真实细观界面力学行为仿真的沥青混合料多精度三维重构及数值建模
国家自然科学基金
0+阅读 · 2015年12月31日
变工况机械动态信号瞬时耦合的理解、识别与故障预示
国家自然科学基金
2+阅读 · 2015年12月31日
中国跨国城市网络演化过程与机理研究
国家自然科学基金
2+阅读 · 2015年12月31日
面向发动机燃料的着火、火焰传播及反应动力学研究
国家自然科学基金
0+阅读 · 2014年12月31日
多场耦合作用下制备高性能粉末冶金TiAl合金板材的基础研究
国家自然科学基金
0+阅读 · 2014年12月31日
混凝土反应动力学和结构形成动力学的研究及计算机模拟
国家自然科学基金
0+阅读 · 2014年12月31日
基于多元荷载耦合作用下高速铁路交叉隧道动力响应及损伤机理研究
国家自然科学基金
0+阅读 · 2014年12月31日
近空间飞行器的关键基础科学问题指导专家组调研和学术交流经费
国家自然科学基金
0+阅读 · 2014年12月31日
Top
微信扫码咨询专知VIP会员
Top