TPP'10: 6th Theorem Proving and Provers Meeting

English version

第6回 TPPミーティングを 11月 25日(木)-26日(金) に名古屋大学にて開催します.
このミーティングは,2005年から年に1回開催され, 定理証明系を作っている人から使う側の人まで幅広い人たちが集まり, 様々な側面からの話をしてアイディアの交換をしてきたものです.

日時:11月25日(木) 13:00頃 〜 11月26日(金) 15:00頃
場所:名古屋大学 多元 数理科学研究科
参加者と講演の数を大体把握しておきたいと思いますので, 講演される方は10月22日までに 下の参加申し込みを下記メールアドレスまでお送りください. 参加者には,できるだけ講演していただければと思います. 参加のみは随時受け付けます.

申込み・問い合わせ先: tpp10 at (Jacques Garrigue)

TPP 2010 参加申し込み

講演 :する/しない


注:外国人の参加者もいますので,スライドは英語でお願いします. 発表は日本語で構いません.


今年も皆で問題を解いて,TPPで解を比べようと思います. 以下の問題を解いて下さい. 解や質問は上記のメールアドレスに送って下さい.

This is the call for participation for the 6th TPP meeting, to be held on November 25(Thu) - 26(Fri), 2010 at Nagoya 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.

Time: 11/25 around 1pm to 11/26 around 3pm
Place: Nagoya University Graduate School of Mathematics
If you are planning to attend the meeting, please send the information slip below to the indicated address by October 22. Participants not giving talks can apply after this date.
There will be a party on the 25th.

Registration/questions to: tpp10 at (Jacques Garrigue)

TPP 2010 Registration

Will give a talk:      Yes/No
Will attend the party: Yes/No

Title of the talk:
This is not a formally international workshop, so presentations may be in Japanese, but we expect slides to be in English.


This year again we would like you to solve a problem in your favorite theorem prover, and compare solutions at the workshop. Here is the problem. Please send questions and solutions to the above mail address.

Last update: November 1, 2010.