ProofSummit2011(仮題)

ProofSummit 2011 - PARTAKE

ProofSummit2011(仮題)
定理証明支援系(Coq,Agda,Isabelle/HOL,ACL2などなど)を中心に集まるお祭り
日時:2011年9月25日(日) 10:00 - 17:00
申込締切:2011年9月18日(日) 12:00
カテゴリ:コンピューター
定員:40
会場:株式会社豆蔵トレーニングルーム(新宿三井ビル34F)
住所:東京都新宿区西新宿2-1-1

定理証明支援系に興味のある方集合!
定理証明支援系とは、コンピュータを使って証明を行うツールのことです。
当日は、数学の証明でもソフトウェアの証明でもなんでもありで、
定理証明支援系を使った結果を共有していきたいと考えています。

参加登録しました。
行かれる方はよろしくお願いします。