[11/16-17開催] TPP 2026 (Theorem Proving and Provers Meeting)

[園田翔]

(English follows)

皆様
（重複して受け取られた場合はご容赦ください）

理研 / CyberAgent の園田です．
定理証明技術の研究会 TPP 2026 のご案内です．

TPP は2005年から毎年開催される，定理証明器や証明支援系のユーザと開発者がアイデアを交換する場です．定理証明，証明支援系，形式手法，プログラミング言語，数学の形式化，機械学習・AI と定理証明技術の接点などに関心のある皆様のご参加をお待ちしています．

日程：
2026年11月16日（月）・17日（火）

場所：
理研・東京オフィス

イベント詳細：

https://auto-res.github.io/tpp2026/

参加・発表登録の詳細は後日公開します．

多くの方のご参加をお待ちしております．

園田

---
Dear all,

This is Sho Sonoda from RIKEN AIP / CyberAgent.
We are pleased to announce TPP 2026, The 22nd Theorem Proving and Provers Meeting.

TPP has been held every year since 2005 as a meeting for users and implementors of theorem provers and proof assistants. We aim to make TPP a place where people interested in theorem proving technologies can gather widely.

Date:
November 16-17, 2026

Venue:
RIKEN AIP Tokyo Office

Event website:
https://auto-res.github.io/tpp2026/

Details on participation and presentation registration will be announced later.

We look forward to welcoming participants interested in theorem proving, proof assistants, formal methods, programming languages, formalization of mathematics, and connections between theorem proving technologies and machine learning or AI.

Best regards,

Sho Sonoda