Revision 8a4b79c94fc20dd3439d39e7de1ebf5552a3760a

Schedule/ProofSummit2014

#ProofSummit 2014

概要

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

プログラム

(* 作成中 *)

  • (* 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)

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

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

主催・協力