TPP 2025: 21st Theorem Proving and Provers meeting

The 21st Theorem Proving and Provers (TPP) meeting will be held on December 3 (Wed) - 4 (Thu), 2025 at Tohoku University.
第21回Theorem Proving and Provers TPPミーティングは2025年12月3日(水)・4日(木)に東北大学で開催されます．

TPP is held every year since 2005 and provides a forum to exchange ideas for both users and implementors of theorem provers and proof assistants.
TPPは2005年から毎年開催され， 定理証明器や証明支援系のユーザと開発者がアイディアを交換する場を提供しています．

Date: Dec 3 (Wed) afternoon - Dec 4 (Thu) exact time is to be announced later
日時: 12月3日(水)午後・4日(木) 正確な時間は後日アナウンス予定です

Place: Graduate School of Information Sciences, Aobayama Campus, Tohoku University https://www.is.tohoku.ac.jp/en/introduction/access.html
会場: 東北大学 青葉山キャンパス 情報科学研究科 https://www.is.tohoku.ac.jp/jp/introduction/access.html

Online participation (via Google Meet) will be available on a best-effort basis.
オンライン参加（Google Meetによる）はベストエフォートで対応する予定です．

Registration: TBA
参加登録: 後日アナウンス予定（追記: https://tpp2025.blogspot.com/2025/09/call-for-participation-and-presentations_30.html をご覧ください）

Program: TBA
プログラム: 後日アナウンス予定

TPPmark: https://tpp2025.blogspot.com/2025/09/tppmark-2025.html

E-mail questions to: sumii AT tohoku.ac.jp (Eijiro Sumii)
ご質問は電子メールにて sumii AT tohoku.ac.jp（住井 英二郎）までお送りください．

Past TPPs / 過去のTPP
TPP 2024 / TPP 2023 / TPP 2022 / TPP 2021 / TPP 2020 / TPP 2019 / TPP 2018 / TPP 2017 / TPP 2016 / TPP 2015 / TPP 2014 / TPP 2013 / TPP 2012 / TPP 2011 / TPP 2010 / TPP 2009 / TPP 2008 / TPP 2007 / TPP 2006 / TPP 2005