Revision db4d8ec4dcfc9292e34e872e0c85ac11f7b48dcd

Schedule/ProofSummit2014

Changes from db4d8ec4dcfc9292e34e872e0c85ac11f7b48dcd to e635d3f8db9caa7b8289bd7778af5e06dd03a133

#ProofSummit 2014

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

## プログラム

(* 未定 *)

発表者を募集しています。証明支援系に関して発表しても良いという方は連絡をしてもらえるとありがたいです。
発表者を募集しています。証明支援系に関して発表しても良いという方は連絡をお願いします。

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

## 主催・協力

- [有限会社 ITプランニング](http://www.itpl.co.jp/)