9th TPP (2013) in Shinshu University

Theorem Proving and Provers meeting

The 9th Theorem Proving and Provers meeting will be held on November 21(Thursday)-22(Friday) at Engineering Campus, Shinshu 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(Thu.)-22(Fri.), 2013
Place
Engineering Campus, Shinshu University (Wakasato, Nagano). OHTA International Memorial Hall. (Access Information).
  • 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.
problem page

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

第9回TPPミーティングを11月21日(木)〜22日(金) に信州大学工学部(若里キャンパス:長野市)にて開催します。 このミーティングは、2005年から年に1回開催され、定理証明系を作っている人から使う側の人まで幅広い人たちが集まり、様々な側面からの話をしてアイディアの交換をしてきたものです。

日時
2013年11月21日(木)〜22日(金)
場所
信州大学工学部キャンパス(長野市若里) 太田国際記念館(会場までのアクセス方法)
問題ページへ

[回答一覧]
平井先生のSsreflectによる回答
Jacques Garrigue先生のCoqによる回答
坂口さんのSsreflectによる回答
坂口さんのSsreflectによる回答(4*4に限定し,短くしたもの)

Partyの様子


Past TPP's / これまでのTPP

Questions / 問い合わせ先

Hiroyuki Okazaki | okazaki@shinshu-u.ac.jp (Hiroyuki Okazaki /岡崎裕之)

旧ページへのリンク