Revision 87ff9ef76c8dcea1c700117ac07fe60dc7d35239
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による形式証明の簡単な実例 |
| 17:30~ | [@amutake_s](https://twitter.com/amutake_s) | ライトニングトーク: ProveEverywhereの紹介 | |
| 17:40~ | [@kaizen_nagoya](https://twitter.com/kaizen_nagoya) | ProofCafe | ライトニングトーク: 「四色問題」と「素数の音楽」 |
| 17:50~ | ライトニングトーク: … | ||
| 18:30~20:30 | 懇親会 at とりとり亭本山店 |
お昼ごはん
土曜日なので学内の食堂(の一部)がavailableだと思います。詳細はこちら: 名古屋大学 東山キャンパスアメニティマップ
懇親会
本山のとりとり亭で懇親会を行います。懇親会への参加登録はこちら
主催・協力
連絡・お問い合わせ先
- twitter: [@yoshihiro503](http://twitter.com/yoshihiro503)
- mail: yoshihiro503 at proofcafe.org