TOP

Proof Summit 2018

Coq

イベント内容

Proof Summit 2018

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

当日は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

その他

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

注意事項

※ こちらのイベント情報は、外部サイトから取得した情報を掲載しています。
※ 掲載タイミングや更新頻度によっては、情報提供元ページの内容と差異が発生しますので予めご了承ください。
※ 最新情報の確認や参加申込手続き、イベントに関するお問い合わせ等は情報提供元ページにてお願いします。
2018/09/02(日)
11:00〜16:30
参加者
84人 / 定員100人
会場
ドワンゴセミナールーム(南海東京ビルディング3階)
東京都中央区銀座5-15-1(南海東京ビル)