皆様、

TPP2014の案内をお送りします。更新点は

- TPP2014のHPにAdam Chlipala氏の講演タイトル等を掲示しました. http://imi.kyushu-u.ac.jp/lasm/tpp2014/index_ja.html

- TPPMARKの問題を掲示し証明を募集しています. 　証明支援系, 解き方を問わず, みなさまの多くの証明例を募集しています. 　よろしく, お願いします. 投稿された証明はclosedなrepositoryに投稿者のみ見えるようにしています. 開催時には全てをopenにさせて頂きます.

- 学生の講演者へ若干の旅費の援助を計画しています. 援助を希望される 学生の方は, 溝口 [email protected] までご相談下さい. その際には, 手続きの都合上, 10月末までに講演申し込みをお願いします.

みなさまの参加をお待ちしています. お気づきの点, ご質問等ありましたら, お知らせ下さい.

TPP2014幹事 (溝口佳寛)

========================================================================= 研究集会「高信頼な理論と実装のための定理証明および定理証明器」案内 　　　　　　　　　　　　　　　　　　　(English version is below.)

12月3日(水)-5日(金)に九州大学西新プラザにて, 研究集会「高信頼な理論と実装のための定理証明および定理証明器」 を開催します. 皆様のご参加をお待ちしています.

日時：2014年 12月3日(水)13:00 〜 12月5日(金)17:00 (予定) 場所：九州大学・西新プラザ (福岡市早良区西新2-16-23) http://bit.ly/QdaiNishijin 福岡空港から地下鉄で西新駅まで約20分, その後, 徒歩約10分. プログラム： 詳細は未定(準備中)です. みなさまのご講演をお待ちしています. Adam Chlipala氏 (MIT, USA), Cyril Cohen 氏 (Univ. Gothenburg, Sweden) をお招きして, Coqおよび Ssreflect, MathCompに関する 御講演を頂く予定です.

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

申込み・問い合わせ先: [email protected] (溝口佳寛(九州大学))

URL: http://imi.kyushu-u.ac.jp/lasm/tpp2014/index_ja.html (注. 作成途中です.「TPP2014 数学」で検索してみて下さい.)

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

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

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

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

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

========================================================================= Workshop: Theorem proving and provers for reliable theory and implementations (TPP2014)

This is the call for participation for TPP2014, to be held on Dec. 3(Wed) - 5(Fri), 2014 at Kyushu University.

Date: 2014/12/03 around 1pm to 12/05 around 3pm Venue: Nishijin Plaza, Kyushu University (2-16-23 Nishijin, Sawara-ku, Fukuoka City) http://bit.ly/QdaiNishijinPDF Invited Speakers: Adam Chlipala (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 the end of October.

Submission/questions to: 　　　[email protected] (Yoshihiro Mizoguchi)

URL: http://imi.kyushu-u.ac.jp/lasm/tpp2014/

------------------------------------------------------------------------- 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):

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

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