Revision 9644b8207f89bb26cdd09c138e50c3e7a5204e60

Schedule/ProofSummit2014

#ProofSummit 2014

概要

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

プログラム

(* 未定 *)

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

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

主催・協力