7th TPP (2011) in AIST (Tsukuba)

The 7th Theorem Proving and Provers meeting will be held on November 17(Thursday)-18(Friday) at AIST (Tsukuba). 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 17(Thu.)-18(Fri.), 2011
Place: Conference Room no. 2, Auditorium, Central 1, Tsukuba Central. Access information.

Call for Participation
Program
Venue information
SOLUTIONS ADDED (2011/11/17): 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.

第7回 TPPミーティングを 11月 17日(木)-18日(金) に産総研(つくば)にて開催します．このミーティングは，2005年から年に1回開催され，定理証明系を作っている人から使う側の人まで幅広い人たちが集まり，様々な側面からの話をしてアイディアの交換をしてきたものです．

日時：2011年11月17日(木),18日(金)
場所：つくば中央, 第1事業所, 共用講堂, 中会議室. 交通アクセス

参加申込み
プログラム
会場情報
SOLUTIONS ADDED (2011/11/17): 今年も皆で問題を解いて, TPPで解を比べようと思います. 解や質問は下記のメールアドレスに送って下さい.

7th TPP (2011) in AIST (Tsukuba)

Theorem Proving and Provers meeting 定理証明及び定理証明系ミーティング

Theorem Proving and Provers meeting
定理証明及び定理証明系ミーティング