[logic-ml] 研究集会「高信頼な理論と実装のための定理証明および定理証明器」案内
Yoshihito Tanaka
ytanaka at ip.kyusan-u.ac.jp
Mon Sep 22 16:16:50 JST 2014
九州大学マス・フォア・インダストリ研究所の溝口先生の代理で投稿いたします.
=========================================================================
研究集会「高信頼な理論と実装のための定理証明および定理証明器」案内
(English version is below.)
12月3日(水)-5日(金)に九州大学西新プラザにて,
研究集会「高信頼な理論と実装のための定理証明および定理証明器」
を開催します. 皆様のご参加をお待ちしています.
日時:2014年 12月3日(水) 〜 12月5日(金)
場所:九州大学・西新プラザ
(福岡市早良区西新2-16-23) http://bit.ly/QdaiNishijin
福岡空港から地下鉄で西新駅まで約20分, その後, 徒歩約10分.
プログラム:
詳細は未定(準備中)です. みなさまのご講演をお待ちしています.
Adam Chlipala氏 (MIT, USA), Cyril Cohen 氏 (Univ. Gothenburg,
Sweden) をお招きして, Coqおよび Ssreflect, MathCompに関する
御講演を頂く予定です.
参加者と講演の数を大体把握しておきたいと思いますので,参加される方は
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
その他(ご意見/ご要望ありましたらお願いします):
-------------------------------------------------------------------------
=========================================================================
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 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):
-------------------------------------------------------------------------
=========================================================================
More information about the Logic-ml
mailing list