Revision ee16de4e4e7911d5df1c0eb93fda48a873bf2352
Schedule/ProofSummit2014
#ProofSummit 2014
概要
定理証明支援系(Coq,Agda,Isabelle/HOL,ACL2などなど)や自動証明器などを中心に集まるお祭りです。
- 日時: 2014年09月06日(土)
- 場所: 名古屋大学 多元数理科学棟 109?
- 参加費: 無料
- 参加登録: ProofSummit 2014 - Partake
- 持ち物: おやつ、(電源タップ)、(PC)
プログラム
| time | 発表者(敬称略) | 所属 | |
|---|---|---|---|
| 10:10~ | [@dico_leque](https://twitter.com/dico_leque) | ITプランニング | Proof and Emacs(仮)" |
| 11:00~ | chiguri | VSTでCの検証 | |
| 12:00~13:30 | 昼休憩 | ||
| 13:30~ | [@kikx](http://twitter.com/kikx) | (* CoqでOpenSSLのバグを見つけた話 *) | |
| 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