TPP 2024: 20th Theorem Proving and Provers Meeting
English version
第20回 TPPミーティングを 11月 25日(月)-26日(火) に九州大学にて開催します．
このミーティングは，2005年から年に1回開催され，
定理証明系を作っている人から使う側の人まで幅広い人たちが集まり，
様々な側面からの話をしてアイディアの交換をしてきたものです．
開催情報
- 日時：11月25日(月) 13:00 〜 11月26日(火) 15:00
- 場所：九州大学
マス・フォア・インダストリ研究所
参加申込
参加は無料です．
この 参加登録フォー
ム をご記入下さい．
TPPmark
例年どおり，ここに問題を掲載します．
準備中に付き，少々お待ち下さい．
問い合わせ先
garrigue at math.nagoya-u.ac.jp (Jacques Garrigue)
The 20th Theorem Proving and Provers meeting will be held
on November 25(Mon) - 26(Tue), 2024 at Kyushu University.
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.
Information
- Time: 11/25 1pm to 11/26 3pm
- Place: Kyushu University,
Institute of Mathematics for Industry
Registration
Attendance is free.
Please fill
this Registration Form.
TPPmark
As always, there will be a TPPmark.
It is still in preparation, please visit this page again.
Questions
Send your questions to: garrigue at math.nagoya-u.ac.jp
(Jacques Garrigue)
これまでのTPP / Past TPPs
TPP2023 /
TPP2022 /
TPP2021 /
TPP2020 /
TPP2019 /
TPP2018 /
TPP2017 /
TPP2016 /
TPP2015 /
TPP2014 /
TPP2013 /
TPP2012 /
TPP2011 /
TPP2010 /
TPP2009 /
TPP2008 /
TPP2007 /
TPP2006 /
TPP2005
Last update: September 19, 2024.