Email Gateway (Feb 11 2026 at 02:07): Email Gateway (Feb 11 2026 at 02:07):From: Yutaka Nagashima <united.reasoning@gmail.com>
Dear all,
We are organising AIPV 2026, a workshop on AI, theorem proving,
and formal verification, co-located with FM 2026 in Tokyo.
Topics include AI-guided proof search, higher-order logics, benchmarks,
and practical experiences with interactive theorem provers such as Isabelle/HOL.
Key information:
• Co-located with FM 2026 (Tokyo, May 18 or 19, 2026)
• Focus: soundness-aware AI for proving and verification
• Welcomes published work, extended abstracts, tools, benchmarks
• Submission deadline: March 15, 2026
Full Call for Contributions:
https://aipv2026.github.io
Submission via EasyChair:
https://easychair.org/conferences/?conf=aipv2026
Best regards,
Yutaka
Last updated: Feb 22 2026 at 05:16 UTC