2011-07-05から1日間の記事一覧

ProofSummit2011(仮題)

ProofSummit 2011 - PARTAKE ProofSummit2011(仮題) 定理証明支援系(Coq,Agda,Isabelle/HOL,ACL2などなど)を中心に集まるお祭り 日時:2011年9月25日(日) 10:00 - 17:00 申込締切:2011年9月18日(日) 12:00 カテゴリ:コンピューター 定員:40 会場:株式会…

函数プログラミングの集い 2011 in Tokyo

函数プログラミングの集い 2011 in Tokyo - PARTAKE 函数プログラミングの集い 2011 in Tokyo ICFPに合わせた函数プログラミングのお祭りです。日時:2011年9月17日(土) 10:00 - 17:00 申込締切:2011年9月17日(土) 10:00 カテゴリ:コンピューター 定員:15…