TPP2013公式ページはこちら

TPP2013 9th 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 .

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

日時
2013年11月21日(木)〜22日(金)
場所
信州大学工学部キャンパス(長野市若里)
太田国際記念館
   

Questions / お問い合わせ先

okazaki@cs.shinshu-u.ac.jp
Hiroyuki Okazaki/ 岡崎　裕之