BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//https://techplay.jp//JP
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALDESC:Proof Summit 2018
X-WR-CALNAME:Proof Summit 2018
X-WR-TIMEZONE:Asia/Tokyo
BEGIN:VTIMEZONE
TZID:Asia/Tokyo
BEGIN:STANDARD
DTSTART:19700101T000000
TZOFFSETFROM:+0900
TZOFFSETTO:+0900
TZNAME:JST
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
UID:682520@techplay.jp
SUMMARY:Proof Summit 2018
DTSTART;TZID=Asia/Tokyo:20180902T110000
DTEND;TZID=Asia/Tokyo:20180902T163000
DTSTAMP:20260505T175004Z
CREATED:20180630T210408Z
DESCRIPTION:イベント詳細はこちら\nhttps://techplay.jp/event/68252
 0?utm_medium=referral&utm_source=ics&utm_campaign=ics\n\nProof Summit 201
 8\n定理証明支援系や自動証明器などに関するユーザー
 イベントです。オススメのツールを紹介したいという
 人も、どういうものか知りたいという人も大歓迎です
 。\n\n日時 平成30年9月2日(日曜日)\n場所: ドワンゴ セミ
 ナールーム（南海東京ビルディング3階）\n\n当日は1F正
 面入口が空いていないので、地下からエレベーターを
 利用してください。\n(地下鉄駅から向かう場合: https://
 dwango.github.io/articles/moving-seminar-room/ )\nハッシュタグ\n#pr
 oofsummit2018\nアンケート\n参加者アンケートにご協力く
 ださい\nhttps://q.nicovideo.jp/watch/nq907\n発表者募集\n発表希
 望の方はここにコメントいただくか、 @yoshihiro503 か @tm
 iya_ にご連絡ください。\n発表予定\n\n\n\n時間\n所属\n発
 表者\n発表内容\n\n\n\n\n11:00 - 11:10\n株式会社ドワンゴ\n@y
 oshihiro503\n諸連絡\n\n\n11:10 - 12:00\ncoqtokyo\n@2015fuj\n「Coqのm
 atch」\n\n\n12:00 - 13:30\n\n\n昼休憩\n\n\n13:30 - 14:20\n株式会
 社ドワンゴ\n@yoshihiro503\n「ニコニコをCoqで証明してみ
 た」\n\n\n14:20 - 14:30\n\n\n10分休憩\n\n\n14:30 - 15:20\n産業技
 術総合研究所\n田中哲\n「依存型の話」\n\n\n15:20 - 15:30\n
 \n\n10分休憩\n\n\n15:30 - 16:30\n\nksknac\n「DSSS2018参加報告」\
 n\n\n\n放送\nネット中継などによる放送、録画は ありま
 せん 。\n参加費\n無料です。\n会場\n会場はドワンゴ セ
 ミナールーム（南海東京ビルディング3階）です。\nド
 ワンゴセミナールーム移転により、去年と場所が若干
 異なることにご注意ください。\n(地下鉄駅から向かう
 場合: https://dwango.github.io/articles/moving-seminar-room/ )\n入場
 方法\n電源タップについて\n無線LANと電源はありますが
 、床埋込み式の電源は Macのアダプタが刺さりません 
 。 電源タップをご持参ください。\n昼食について\n会
 場のある東銀座駅周辺に飲食店はたくさんあるのです
 が，日曜日の昼には営業していないところもあるので
 注意が必要です．日曜の昼にも営業している（いそう
 な）お店を次のページにまとめましたのでご参考くだ
 さい．\nhttps://gist.github.com/fluiddynamics/c0748c9107e575fe79764589
 b49894fd\nその他\n\n喫煙室はありません\n貴重品は各自で
 管理してください\n会場は飲食可能です\nゴミは各自で
 お持ち帰りください\n
LOCATION:ドワンゴセミナールーム(南海東京ビルディング3
 階) 東京都中央区銀座5-15-1(南海東京ビル)
URL:https://techplay.jp/event/682520?utm_medium=referral&utm_source=ics&utm
 _campaign=ics
END:VEVENT
END:VCALENDAR