Schedule/ProofSummit2014

ProofSummit 2014

概要

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

プログラム

時刻 発表者(敬称略) 所属 内容
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による形式証明の簡単な実例
17:30~ [@amutake_s](https://twitter.com/amutake_s) ライトニングトーク: ProveEverywhereの紹介
17:40~ [@kaizen_nagoya](https://twitter.com/kaizen_nagoya) ProofCafe ライトニングトーク: 「四色問題」と「素数の音楽」
18:30~20:30 懇親会 at とりとり亭本山店

お昼ごはん

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

懇親会

本山のとりとり亭で懇親会を行います。懇親会への参加登録はこちら

主催・協力

連絡・お問い合わせ先

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