11月につくばでTPPという催しが開かれるのですが、皆様ご存知でしょうか。TPPでは,毎年共通課題をいろいろな定理証明器で解いて比較するというイベントがあるそうで、今年の共通課題はパズル「Uniform Candy Distribution」とのことです。なかなか面白いのではないかと思います。
http://staff.aist.go.jp/reynald.affeldt/tpp2011/ucd.html
あいにく平日ですが、参加可能な方はご検討下さい。
-----------------------[CFP: TPP2011]-----------------------------
TPPミーティングについてのご案内です.
(English version is below.)
第7回 TPPミーティングを 11月17日(木)-18日(金) に産業技術総合研究所(つ
くば)にて開催します.このミーティングは,2005年から年に1回開催され,定
理証明系を作っている人から使う側の人まで幅広い人たちが集まり,様々な側
面からの話をしてアイディアの交換をしてきたものです.
日時:2011年 11月17日(木) 13:00頃 ~ 11月18日(金) 15:00頃
場所:産業技術総合研究所 つくば中央第一 共用講堂中会議室
( http://www.aist.go.jp/ )
参加者と講演の数を把握しておきたいと思いますので,参加される方は10月末
までに下の参加申し込みをメールにてTPP2011幹事( tp...@m.aist.go.jp )へお
送りください.参加者には,できるだけ講演していただければと思います.
申込み・問い合わせ先:
tp...@m.aist.go.jp (アフェルト レナルド, 磯部 祥尚, 高橋 孝一)
URL: http://staff.aist.go.jp/reynald.affeldt/tpp2011/
-------------------------------------------------------------------
TPP 2011 参加申し込み
お名前:
ご所属:
電話番号:
講演 :する/しない
懇親会:参加する/参加しない
講演する場合
タイトル:
(講演のタイトルが決まっていなければ,TBAでもかまいません.
決まったらご連絡ください.)
------------------------------------------------------------------
===================================================================
This is the call for participation for the 7th TPP meeting (Theorem
Proving and Provers meeting), to be held on Nov. 17(Thu) - 18(Fri),
2011 at National Institute of Advanced Industrial Science and
Technology (AIST Tsukuba).
Time: 2011/11/17 around 1pm to 11/18 around 3pm
Place: Conference Room no. 2, Auditorium,
Central 1, Tsukuba Central. Access information.
( http://www.aist.go.jp/ )
If you are planning to attend the meeting, please send the information
slip below to the TPP2011 organizers ( tp...@m.aist.go.jp ) by the end
of October.
Submission/questions to:
tp...@m.aist.go.jp (Reynald Affeldt, Yoshinao Isobe, Koichi Takahashi)
URL: http://staff.aist.go.jp/reynald.affeldt/tpp2011/
-------------------------------------------------------------------
TPP 2011 Registration
Name:
Affiliation:
Telephone:
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.)
------------------------------------------------------------------
--
山形頼之
(独)産業技術総合研究所 研究員
E-mail: yoriyuki...@aist.go.jp
http://staff.aist.go.jp/yoriyuki.yamagata/
On 10月19日, 午後3:45, Yoriyuki Yamagata <yoriyuki.yamag...@aist.go.jp>
wrote:
> 皆様、産総研の山形です。
>
> 11月につくばでTPPという催しが開かれるのですが、皆様ご存知でしょうか。TPPでは,毎年共通課題をいろいろな定理証明器で解いて比較するというイベントがあるそうで、今年の共通課題はパズル「Uniform Candy Distribution」とのことです。なかなか面白いのではないかと思います。
>
> http://staff.aist.go.jp/reynald.affeldt/tpp2011/ucd.html
>
> あいにく平日ですが、参加可能な方はご検討下さい。
年休申請をして、参加申し込みも行ったのですが、上司に年休キャンセル
されるかもしれない状況です。行けたら行くつもりです。
行きたいのですが、すでに業務都合が詰まっています・・・。
参加される方には、ぜひ事後のレポートを
本ML上でやっていただけるとうれしいな、と。
2011年10月19日20:53 tmiya <tm...@bu.iij4u.or.jp>:
酒井です。
On 10月19日, 午後3:45, Yoriyuki Yamagata <yoriyuki.yamag...@aist.go.jp>
wrote:
> 皆様、産総研の山形です。
>
> 11月につくばでTPPという催しが開かれるのですが、皆様ご存知でしょうか。TPPでは,毎年共通課題をいろいろな定理証明器で解いて比較するというイベント があるそうで、今年の共通課題はパズル「Uniform Candy Distribution」とのことです。なかなか面白いのではないかと思います。
>
> http://staff.aist.go.jp/reynald.affeldt/tpp2011/ucd.html
>
> あいにく平日ですが、参加可能な方はご検討下さい。
先日のTPP2011のTPPmarkの問題ですが、Isabelle, Coq, Agda 以外で解いてみた人はいないでしょうか?
良く知らないツールで ACL, PVS, Mizer あたりとか、あるいは汎用の定理証明ツールではないですがMaudeやCafeOBJとかでど
んな感じなのか見てみたいものです。
-- 酒井 政裕