This is the call for participation for the 7th TPP meeting (Theorem Proving and Provers meeting), to be held on Nov. 17(Thu) - 18(Fri), 2011 at National Institute of Advanced Industrial Science and Technology (AIST Tsukuba).

If you are planning to attend the meeting, please register by sending the information slip below to the indicated address by November, 14(Mon.). If you register this way, you can go directly to the meeting place (AIST Tsukuba Central 1, Auditorium) to get your entry card.

Submission/questions to: tpp11@m.aist.go.jp (Reynald Affeldt, Yoshinao Isobe, Koichi Takahashi)

URL: http://staff.aist.go.jp/reynald.affeldt/tpp2011/

TPPmark

--------------------------------------------------
TPP 2011 Registration

Name:
Affiliation:
Telephone:
Will attend the party: Yes/No
--------------------------------------------------

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

参加される方は 11月14日（月）まで に下の参加申し込みを下記メールアドレスまでお送りください．事前に申し込 まれた方は，TPPの会場（共用講堂中会議室）に直接おいでください．TPPの会 場で産総研の入館証をお渡しします．

申込み・問い合わせ先: tpp11@m.aist.go.jp (アフェルト レナルド, 磯部 祥尚, 高橋 孝一)

URL: http://staff.aist.go.jp/reynald.affeldt/tpp2011/

TPPmark

---------------------------------------------
TPP 2011 参加申し込み

お名前：
ご所属：
電話番号：
懇親会：参加する／参加しない
---------------------------------------------