Proof Summit 2017

定理証明支援系や自動証明器などに関するユーザーイベントです。オススメのツールを紹介したいという人も、どういうものか知りたいという人も大歓迎です。

• 日時 平成29年7月23日
• 場所: ドワンゴ セミナールーム（松竹スクエア13F）

ハッシュタグ

#proofsummit2017

Toggetterにまとめができました。 https://togetter.com/li/1133030

発表者募集

発表者募集は締め切りました。たくさんのエントリありがとうございました。

発表希望の方は @yoshihiro503 か @tmiya_ にご連絡ください。

発表予定

時間	発表者	発表内容
11:00-11:30	@yoshihiro503	はじめて学ぶCoq
11:40-12:20	@erutuf13	Coq で自動証明プラグイン - Hint Rewrite DB の Knuth-Bendix 完備化
12:20-13:50		昼休憩(90分)
13:50-14:20	@tanaka_akr	CoqからのCプログラム生成
14:30-15:00	@suharahiromichi	「The Little Prover」 の紹介
15:20-15:50	@msakai @skyrunner_01	定理証明　＋　機械学習　＝　？
16:00-16:30	@masterq_mogumog	無条件に仮定にFalseを追加して、どんなサブゴールも消せるtactic作ったよ

放送

ネット中継などによる放送、録画は ありません 。

参加費

無料です。

会場

会場はドワンゴ セミナールーム（松竹スクエア 13F）です。

入場方法

地下鉄各線東銀座駅5番出口から地上にあがって、橋を渡ったところにあるビルです。 正面入口から入り奥にあるエレベーターで13Fまであがってください。

電源タップについて

無線LANと電源はありますが、床埋込み式の電源は Macのアダプタが刺さりません 。 電源タップをご持参ください。

その他

• 喫煙室はありません
• 貴重品は各自で管理してください
• 会場は飲食可能です
• ゴミは各自でお持ち帰りください