8th TPP (2012) in Chiba University – Call for Participation.

Call for Participation.

This is the call for participation for the 8th TPP meeting (Theorem Proving and Provers meeting), to be held on Nov. 21(Wed) - 22(Thu), 2012 at Chiba University.

Time: 2012/11/21 around 1pm to 11/22 around 3pm
Place: Nishi-Chiba Campus, Chiba University (Access Information). Academic Link Center Bldg.-I 3F seminar room "KIWAMI" (Room 303).

If you are planning to attend the meeting, please send the information slip below to the indicated address as early as possible.

Submission/questions to: mituharu+tpp2012@math.s.chiba-u.ac.jp (YAMAMOTO Mitsuharu)

URL: http://www.math.s.chiba-u.ac.jp/tpp2012/

TPP 2012 Registration

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

TPPミーティングについてのご案内です．

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

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

参加者数を大体把握しておきたいと思いますので，参加される方はできるだけ早めに下の参加申し込みを下記メールアドレスまでお送りください．

申込み・問い合わせ先: mituharu+tpp2012@math.s.chiba-u.ac.jp (山本光晴)

URL: http://www.math.s.chiba-u.ac.jp/tpp2012/

TPP 2012 参加申し込み

お名前：
ご所属：
懇親会：参加する／参加しない