Jekyll2026-07-16T15:52:20+00:00https://auto-res.github.io/tpp2026/feed.xmlTPP 2026 is the 22nd Theorem Proving and Provers Meeting, held on November 16-17, 2026 at the RIKEN AIP Tokyo Office in Nihonbashi, Tokyo.