Revision 8a4b79c94fc20dd3439d39e7de1ebf5552a3760a

Schedule/ProofSummit2014

Changes from 8a4b79c94fc20dd3439d39e7de1ebf5552a3760a to c7fc3457bf14fe2041f3411d437e176a7a330843

#ProofSummit 2014

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

- 日時: 2014年09月06日(土)
- 場所: 名古屋市内 (予定)
- 参加費: 無料
- 参加登録: [ProofSummit 2014 - Partake](http://partake.in/events/b01d8f2b-d0e9-4b48-96ac-ed633dce83d4)

## プログラム

(* 作成中 *)

- (* CoqでOpenSSLのバグを見つけた話 *) [@kikx](http://twitter.com/kikx)
- (* CoqでOpenSSLのバグを見つけた話 *) [@kikx](http://twitter.com/kikx)さん
- タイトル未定 [@chiguri](https://twitter.com/chiguri) さん
- Proof and Emacs(仮) [@dico_leque](https://twitter.com/dico_leque)さん
- (* HoTTの話 *) [@t6s](http://twitter.com/t6s)
- (* Agdaを使って平塚市と共同研究している話か、 http://bit.ly/1l0KHQ0  を形式化してる話 *) [@kiiiino3](https://twitter.com/kiiiino3)
- (* HoTTの話 *) [@t6s](http://twitter.com/t6s)さん
- (* Agdaを使って平塚市と共同研究している話か、 http://bit.ly/1l0KHQ0  を形式化してる話 *) [@kiiiino3](https://twitter.com/kiiiino3)さん

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

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

## 主催・協力

- [有限会社 ITプランニング](http://www.itpl.co.jp/)
- [ProofCafe](http://proofcafe.org/wiki/)
- [Formal methods forum](https://groups.google.com/forum/#!forum/fm-forum)