8th TPP (2012) in Chiba University

Theorem Proving and Provers meeting

The 8th Theorem Proving and Provers meeting will be held on November 21(Wednesday)-22(Thursday) at Chiba 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: November 21(Wed.)-22(Thu.), 2012
Place: Nishi-Chiba Campus, Chiba University (Access Information). Academic Link Center Bldg.-I 3F seminar room "KIWAMI" (Room 303).

CFP
Program
This year again we would like you to solve a problem in your favorite theorem prover, and compare solutions at the workshop. Please send questions and solutions to the email address below.
Submitted solutions added

定理証明及び定理証明系ミーティング

第8回TPPミーティングを11月21日(水)～22日(木) に千葉大学にて開催します。このミーティングは、2005年から年に1回開催され、定理証明系を作っている人から使う側の人まで幅広い人たちが集まり、様々な側面からの話をしてアイディアの交換をしてきたものです。

日時: 2012年11月21日(水)～22日(木)
場所: 千葉大学西千葉キャンパス(交通アクセス) アカデミック・リンク・センター I棟3階セミナールーム「きわみ」(303号室)

参加申し込み
プログラム
今年も皆で問題を解いて、TPPで解を比べようと思います。解や質問は下記のメールアドレスに送って下さい。
提出された解を追加しました。

Past TPP's / これまでのTPP

Questions / 問い合わせ先

mituharu+tpp2012@math.s.chiba-u.ac.jp (YAMAMOTO Mitsuharu / 山本光晴)