Revision 8a4b79c94fc20dd3439d39e7de1ebf5552a3760a

Schedule/ProofSummit2014

Changes from 8a4b79c94fc20dd3439d39e7de1ebf5552a3760a to current

#ProofSummit 2014

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

- 日時: 2014年09月06日(土)
- 場所: 名古屋市内 (予定)
- 場所: 名古屋大学 [多元数理科学棟](http://www.math.nagoya-u.ac.jp/ja/direction/campus.html) 109
- 参加費: 無料
- 参加登録: [ProofSummit 2014 - Partake](http://partake.in/events/b01d8f2b-d0e9-4b48-96ac-ed633dce83d4)
- Twitterハッシュタグ: [#ProofSummit](https://twitter.com/search?q=%23ProofSummit)
- 持ち物: おやつ、(電源タップ)、(PC)

## プログラム

(* 作成中 *)
|時刻        |発表者(敬称略)                                   |所属            |内容                                       |
|------------|------------------------------------------------|----------------|--------------------------------------------|
|10:00~      |[今井宜洋](http://proofcafe.org/~yoshihiro503/)  |[ITプランニング](http://www.itpl.co.jp/)|オープニング                                |
|10:10~10:40 |[今井宜洋](http://proofcafe.org/~yoshihiro503/)  |[ITプランニング](http://www.itpl.co.jp/)|[A Coq application in a broadcast system](http://proofcafe.org/~yoshihiro503/slides/CoqBroadcast.pdf)|
|10:40~11:20 |chiguri                                         |                |[VSTでCの検証](http://www.slideshare.net/chiguri/ps2014-38763484)                                |
|11:20~12:00 |[@dico_leque](https://twitter.com/dico_leque)   |[ITプランニング](http://www.itpl.co.jp/)|Proof and Emacs                       |
|12:00~13:30 |                                               |                | 昼休憩                                    |
|13:30~14:20 | [@kikx](http://twitter.com/kikx)               |                | [CoqでOpenSSLのバグを見つけた話](https://speakerdeck.com/kik/proof-summit-2014-opensslfalsehua)          |
|14:20~15:00 |才川隆文                                         |名古屋大学      | HoTT関連(TBA)                             |
|15:00~15:30 |                                                 |               | おやつタイム                                |
|15:30~16:10 |木下修司([@kiiiino3](https://twitter.com/kiiiino3))|神奈川大学 | [Agdaを使った形式化の実例紹介](http://www.slideshare.net/ShujiKinoshita/20140906proofsummit-upload)                |
|16:10~16:50 |notogawa                                         |                | [Real World Agda](https://github.com/notogawa/agda-haskell-example)                       |
|16:50~17:30 |@Alcor80UMa (岡崎裕之)                           |Stowarzyszenie Uzytkownikow Mizara (信州大学) |Mizarによる形式証明の簡単な実例|
|17:30~|[@amutake_s](https://twitter.com/amutake_s)||ライトニングトーク: [ProveEverywhereの紹介](https://speakerdeck.com/amutake/proveeverywherefalseshao-jie)|
|17:40~|[@kaizen_nagoya](https://twitter.com/kaizen_nagoya)|[ProofCafe](http://proofcafe.org/wiki/)|ライトニングトーク: 「四色問題」と「素数の音楽」|
|18:30~20:30|||懇親会 at [とりとり亭本山店](http://tabelog.com/aichi/A2301/A230107/23025771/)|

- (* CoqでOpenSSLのバグを見つけた話 *) [@kikx](http://twitter.com/kikx)
- タイトル未定 [@chiguri](https://twitter.com/chiguri) さん
- Proof and Emacs(仮) [@dico_leque](https://twitter.com/dico_leque)さん
- (* HoTTの話 *) [@t6s](http://twitter.com/t6s)
- (* Agdaを使って平塚市と共同研究している話か、 http://bit.ly/1l0KHQ0  を形式化してる話 *) [@kiiiino3](https://twitter.com/kiiiino3)
## お昼ごはん

発表者を募集しています。証明支援系に関して発表しても良いという方は連絡をお願いします。
土曜日なので学内の食堂(の一部)がavailableだと思います。詳細はこちら:
[名古屋大学 東山キャンパスアメニティマップ](http://web-honbu.jimu.nagoya-u.ac.jp/fmd/image/index_image/HigashiyamaAmenityMap.pdf)

- twitter: [@yoshihiro503](http://twitter.com/yoshihiro503)
- mail: yoshihiro503 at proofcafe.org
## 懇親会

本山のとりとり亭で懇親会を行います。[懇親会への参加登録はこちら](http://partake.in/events/b753130a-5e7d-4b90-bd8d-75bd4cd44145)

## 主催・協力

- [有限会社 ITプランニング](http://www.itpl.co.jp/)
- [ProofCafe](http://proofcafe.org/wiki/)
- [Formal methods forum](https://groups.google.com/forum/#!forum/fm-forum)

## 連絡・お問い合わせ先

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