22nd Theorem Proving and Provers Meeting

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. We aim to make TPP a place where people interested in theorem proving technologies can gather widely.

Event Information

  • Date: Monday, November 16, 2026 to Tuesday, November 17, 2026
  • Venue: RIKEN Center for Advanced Intelligence Project (RIKEN AIP), Tokyo Office
  • Address: 15F, Nihonbashi 1-chome Mitsui Building, 1-4-1 Nihonbashi, Chuo-ku, Tokyo 103-0027, Japan (Access information)
  • Co-host: RIKEN Center for Advanced Intelligence Project (RIKEN AIP)
  • Organizers: Sho Sonoda (RIKEN AIP / CyberAgent), Masaya Taniguchi (RIKEN AIP)
  • Contact: sho.sonoda@riken.jp

Participation and Presentation Registration

Details will be announced later.

TPP-mark

The 2026 TPP-mark topic is currently under consideration. Details will be added once finalized.

Past TPPs

Show past meeting pages

TPP 2025 / 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

日本語版も用意しています。