[logic-ml] 1st CFP: TPP2014 Theorem Proving and Provers meeting

[Jacques Garrigue]

皆様、

TPPの講演募集案内を送らせて頂きます。
定理証明に興味のある方はご検討下さい。

Jacques Garrigue

------------------------[CFP: TPP2014]-------------------------------

TPPミーティングについてのご案内です．
(English version is below.)

さて, 今年のTPPミーティングですが, 第10回を記念(!?)して,
少しだけ日程を拡大し, 12月3日(水)-5日(金)に九州大学にて開催します．
このミーティングは，2005年から年に1回開催され，定理証明系を作って
いる人から使う側の人まで幅広い人たちが集まり，様々な側面からの話を
してアイディアの交換をしてきたものです.

研究集会「高信頼な理論と実装のための定理証明および定理証明器」として, 
九州大学マス・フォア・インダストリ研究所数学理論先進ソフトウェア開発室,
及び, 統計数理研究所数学協働プログラムの支援を得ることが出来ましたので,
この3日間の予定の中でTPP2014を開催したいと考えています.
そして, 特に,
 Adam Chipala 氏 (MIT, USA)
 Cyril Cohen 氏 (Univ. Gothenburg, Sweden)
をお招きして御講演頂く予定です.

日時：2014年 12月3日(水) 13:00頃(予定) 〜 12月5日(金) 15:00頃(予定)
場所：九州大学・西新プラザ
     (福岡市早良区西新2-16-23) http://bit.ly/QdaiNishijin

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

申込み・問い合わせ先:
tpp2014 at imi.kyushu-u.ac.jp (溝口 佳寛)

URL: http://coop-math.ism.ac.jp/event/2014E04
    (注. ホームページは作成途中です.
     「TPP2014 数学」で検索してみて下さい.)

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

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

講演する場合
タイトル：
（講演のタイトルが決まっていなければ，TBAでもかまいません．
決まったらご連絡ください．）
講演希望日: (○/×) 12/3  (○/×) 12/4  (○/×) 12/5

その他(ご意見/ご要望ありましたらお願いします):


-------------------------------------------------------------------------

=========================================================================

This is the call for participation for the 10th TPP meeting (Theorem
Proving and Provers meeting), to be held on Dec. 3(Wed) - 5(Fri),
2014 at Kyushu University.

Time:  2014/12/03 around 1pm to 12/05 around 3pm
Place: Kyushu University, Nishijin Plaza
      (2-16-23 Nishijin, Sawara-ku, Fukuoka City)
      http://bit.ly/QdaiNishijinPDF
Invited Speakers:
      Adam Chipala (MIT, USA)
      Cyril Cohen (Univ. Gothenburg, Sweden)

If you are planning to attend the meeting, please send the information
slip below to the indicated address by mid-October.

Submission/questions to: 
tpp2014 at imi.kyushu-u.ac.jp (Yoshihiro Mizoguchi)

URL: http://coop-math.ism.ac.jp/event/2014E04
 (Tentative Japanese HP. Revised English HP will be notified later.)

-------------------------------------------------------------------------
TPP 2014 Registration

Name:
Affiliation:
Will give a talk:      Yes/No
Will attend the party: Yes/No
Title of the talk: (If it is not decided yet, TBA is OK.)

Which date do you prefer to talk ?
 12/3 (OK/NG)  12/4 (OK/NG)  12/5 (OK/NG)

Requests for the organizer (if any):


-------------------------------------------------------------------------