(TPP2014) in Kyushu University - 数学協働プログラム

10th TPP (TPP2014) in Kyushu University
TPP (Theorem Proving and Provers Meeting)は，2005 年から年に 1 回開催さ
れ，定理証明系を作っている人から使う側の人まで幅広い人たちが集まり，様々
な側面からの話をしてアイディアの交換をしてきたものです. 今年は 12 月 3 日
(水)〜5 日(金)に九州大学西新プラザにて開催します．皆様のご参加, ご講演をお待ちしています. 日時：2014 年 12 月 3 日(水) 〜 12 月 5 日(金) 場所：九州大学・西新プラザ (福岡市早良区西新 2-16-23) 福岡空港から地下鉄で西新駅まで約 20 分, その後, 徒歩約 10 分. プログラム : 詳細は未定(準備中)です. みなさまのご講演をお待ちしています. Adam Chlipala 氏 (MIT, USA), Cyril Cohen 氏 (Univ. Gothenburg, Sweden) をお招きして, Coq および Ssreflect, MathComp に関する御講演
を頂く予定です. 問い合わせ先: [email protected] (溝口佳寛(九州大学)) ホームページ: http://coop-math.ism.ac.jp/event/2014E04 (注. 作成途中です.「TPP2014 数学」で検索してみて下さい.) 補足: 研究集会「高信頼な理論と実装のための定理証明および定理証明器」として, 九州大学マス・
フォア・インダストリ研究所数学理論先進ソフトウェア開発室, 及び, 統計数理研究所数学協働プ
ログラムの支援を得ています. 10th TPP (TPP2014) in Kyushu University
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 to 2014/12/05
Place: Kyushu University, Nishijin Plaza
(2-16-23 Nishijin, Sawara-ku, Fukuoka City)
Invited Speakers:
Adam Chlipala (MIT, USA)
Cyril Cohen (Univ. Gothenburg, Sweden)
Submission/questions to:
[email protected]
(Yoshihiro Mizoguchi, KYUSHU University)
URL: http://coop-math.ism.ac.jp/event/2014E04
(Tentative Japanese HP. Revised English HP will be notified later.)

Download Report