Revision 8aaf99094fd2df94a1db44d9736e1983a0f7a1e5

Schedule/ProofSummit2014

#ProofSummit 2014

概要

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

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

プログラム

時刻 発表者(敬称略) 所属 内容
10:00~ 今井宜洋 ITプランニング オープニング
10:10~10:40 今井宜洋 ITプランニング A Coq application in a broadcast system
10:40~11:20 chiguri VSTでCの検証
11:20~12:00 [@dico_leque](https://twitter.com/dico_leque) ITプランニング Proof and Emacs(仮)
12:00~13:30 昼休憩
13:30~14:20 [@kikx](http://twitter.com/kikx) (* CoqでOpenSSLのバグを見つけた話 *)
14:20~15:00 才川隆文 名古屋大学 HoTT関連(TBA)
15:00~15:30 おやつタイム
15:30~16:10 木下修司([@kiiiino3](https://twitter.com/kiiiino3)) Agdaを使った形式化の実例紹介
16:10~16:50 notogawa Real World Agda (仮)
16:50~17:30 @Alcor80UMa (岡崎裕之) Stowarzyszenie Uzytkownikow Mizara (信州大学) Mizarによる形式証明の簡単な実例

お昼ごはん

土曜日なので学内の食堂(の一部)がavailableだと思います。詳細はこちら: 名古屋大学 東山キャンパスアメニティマップ

主催・協力

連絡・お問い合わせ先

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