22nd Theorem Proving and Provers Meeting

TPP は2005年から毎年開催される、定理証明器や証明支援系のユーザと開発者がアイデアを交換する場です。 定理証明技術に関心のある方々が広く集まる場を目指しています。

開催情報

  • 開催日程：2026年11月16日（月）から17日（火）まで
  • 会場：理化学研究所 革新知能統合研究センター（理研AIP）東京オフィス
  • 住所：〒103-0027 東京都中央区日本橋1-4-1 日本橋一丁目三井ビルディング15階（アクセス情報）
  • 共催：理化学研究所 革新知能統合研究センター（理研AIP）
  • 幹事：園田翔（理研AIP / CyberAgent）、谷口雅弥（理研AIP）
  • 連絡先：sho.sonoda@riken.jp

参加・発表登録

後日公開します。

TPP-mark

今回の TPP-mark テーマは現在検討中です。掲載情報は更新次第追記します。

これまでのTPP

過去の開催ページを表示する

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

English version is also available.