Revision e3f9fe8805ce848c2c8c23eb9ae093406d99ecac

Schedule/ProofSummit2014

#ProofSummit 2014

概要

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

  • 日時: 2014年09月06日(土)
  • 場所: 名古屋大学 多元数理科学棟 109?
  • 参加費: 無料
  • 参加登録: ProofSummit 2014 - Partake
  • 持ち物: おやつ、(電源タップ)、(PC)

プログラム

  • 10:10~ [@dico_leque](https://twitter.com/dico_leque)さん(ITプランニング): “Proof and Emacs(仮)”
  • 11:00~ chiguriさん:「VSTでCの検証」
  • 12:00~13:30 昼休憩
  • 13:30~ (* CoqでOpenSSLのバグを見つけた話 *) [@kikx](http://twitter.com/kikx)さん
  • 14:20~ 才川隆文さん(名古屋大学): “HoTT関連(TBA)”
  • おやつタイム
  • 15:30~ 木下修司([@kiiiino3](https://twitter.com/kiiiino3))さん: “Agdaを使った形式化の実例紹介”
  • 16:20~ notogawaさん: “Real World Agda (仮)”
  • 17:10~ @Alcor80UMa (岡崎裕之)さん (Stowarzyszenie Uzytkownikow Mizara (信州大学)): “Mizarによる形式証明の簡単な実例”

主催・協力

連絡・お問い合わせ先

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