Revision b8339c998e0959ecf5d5efa8900f2d2c24d7bff8

Schedule/ProofSummit2014

概要
プログラム
主催・協力

#ProofSummit 2014

概要

定理証明支援系(Coq,Agda,Isabelle/HOL,ACL2などなど)や自動証明器などを中心に集まるお祭りです。

日時: 2014年09月06日(土)
場所: 名古屋市内 (予定)
参加費: 無料
参加登録: ProofSummit 2014 - Partake

プログラム

(* 作成中 *)

タイトル未定 [@chiguri](https://twitter.com/chiguri) さん
Proof and Emacs(仮) [@dico_leque](https://twitter.com/dico_leque)さん

発表者を募集しています。証明支援系に関して発表しても良いという方は連絡をお願いします。

twitter: [@yoshihiro503](http://twitter.com/yoshihiro503)
mail: yoshihiro503 at proofcafe.org

主催・協力