Revision 324f6acecc7b81eed1d805fe6ba2453caa86a4d3
Schedule/ProofSummit2014
#ProofSummit 2014
概要
定理証明支援系(Coq,Agda,Isabelle/HOL,ACL2などなど)や自動証明器などを中心に集まるお祭りです。
- 日時: 2014年09月06日(土)
- 場所: 名古屋市内 (予定)
- 参加費: 無料
- 参加登録: ProofSummit 2014 - Partake
プログラム
(* 作成中 *)
- (* 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を使った形式化の実例紹介 木下修司([@kiiiino3](https://twitter.com/kiiiino3))さん
発表者を募集しています。証明支援系に関して発表しても良いという方は連絡をお願いします。
- twitter: [@yoshihiro503](http://twitter.com/yoshihiro503)
- mail: yoshihiro503 at proofcafe.org