Proof Summit 2018

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

• 日時 平成30年9月2日(日曜日)
• 場所: ドワンゴ セミナールーム（南海東京ビルディング3階）

当日は1F正面入口が空いていないので、地下からエレベーターを利用してください。 (地下鉄駅から向かう場合: https://dwango.github.io/articles/moving-seminar-room/ )

ハッシュタグ

#proofsummit2018

アンケート

参加者アンケートにご協力ください https://q.nicovideo.jp/watch/nq907

発表者募集

発表希望の方はここにコメントいただくか、 @yoshihiro503 か @tmiya_ にご連絡ください。

発表予定

時間	所属	発表者	発表内容
11:00 - 11:10	株式会社ドワンゴ	@yoshihiro503	諸連絡
11:10 - 12:00	coqtokyo	@2015fuj	「Coqのmatch」
12:00 - 13:30			昼休憩
13:30 - 14:20	株式会社ドワンゴ	@yoshihiro503	「ニコニコをCoqで証明してみた」
14:20 - 14:30			10分休憩
14:30 - 15:20	産業技術総合研究所	田中哲	「依存型の話」
15:20 - 15:30			10分休憩
15:30 - 16:30		ksknac	「DSSS2018参加報告」

放送

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

参加費

無料です。

会場

会場はドワンゴ セミナールーム（南海東京ビルディング3階）です。 ドワンゴセミナールーム移転により、去年と場所が若干異なることにご注意ください。

(地下鉄駅から向かう場合: https://dwango.github.io/articles/moving-seminar-room/ )

入場方法

電源タップについて

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

昼食について

会場のある東銀座駅周辺に飲食店はたくさんあるのですが，日曜日の昼には営業していないところもあるので注意が必要です．日曜の昼にも営業している（いそうな）お店を次のページにまとめましたのでご参考ください．

https://gist.github.com/fluiddynamics/c0748c9107e575fe79764589b49894fd

その他

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