BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//https://techplay.jp//JP
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALDESC:Proof Summit 2017
X-WR-CALNAME:Proof Summit 2017
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:623516@techplay.jp
SUMMARY:Proof Summit 2017
DTSTART;TZID=Asia/Tokyo:20170723T110000
DTEND;TZID=Asia/Tokyo:20170723T163000
DTSTAMP:20260511T095434Z
CREATED:20170601T102013Z
DESCRIPTION:イベント詳細はこちら\nhttps://techplay.jp/event/62351
 6?utm_medium=referral&utm_source=ics&utm_campaign=ics\n\nProof Summit 201
 7\n定理証明支援系や自動証明器などに関するユーザー
 イベントです。オススメのツールを紹介したいという
 人も、どういうものか知りたいという人も大歓迎です
 。\n\n日時 平成29年7月23日\n場所: ドワンゴ セミナール
 ーム（松竹スクエア13F）\n\nハッシュタグ\n#proofsummit2017
 \nToggetterにまとめができました。\nhttps://togetter.com/li/113
 3030\n発表者募集\n発表者募集は締め切りました。たく
 さんのエントリありがとうございました。\n発表希望
 の方は @yoshihiro503 か @tmiya_ にご連絡ください。\n発表
 予定\n\n\n\n時間\n発表者\n発表内容\n\n\n\n\n11:00-11:30\n@yosh
 ihiro503\nはじめて学ぶCoq\n\n\n11:40-12:20\n@erutuf13\nCoq で自
 動証明プラグイン - Hint Rewrite DB の Knuth-Bendix 完備化\n\n
 \n12:20-13:50\n\n昼休憩(90分)\n\n\n13:50-14:20\n@tanaka_akr\nCoqか
 らのCプログラム生成\n\n\n14:30-15:00\n@suharahiromichi\n「The L
 ittle Prover」 の紹介\n\n\n15:20-15:50\n@msakai @skyrunner_01\n定理
 証明　＋　機械学習　＝　？\n\n\n16:00-16:30\n@masterq_mogumo
 g\n無条件に仮定にFalseを追加して、どんなサブゴール
 も消せるtactic作ったよ\n\n\n\n放送\nネット中継などによ
 る放送、録画は ありません 。\n参加費\n無料です。\n
 会場\n会場はドワンゴ セミナールーム（松竹スクエア 
 13F）です。\n入場方法\n地下鉄各線東銀座駅5番出口か
 ら地上にあがって、橋を渡ったところにあるビルです
 。 正面入口から入り奥にあるエレベーターで13Fまであ
 がってください。\n電源タップについて\n無線LANと電源
 はありますが、床埋込み式の電源は Macのアダプタが刺
 さりません 。 電源タップをご持参ください。\nその他
 \n\n喫煙室はありません\n貴重品は各自で管理してくだ
 さい\n会場は飲食可能です\nゴミは各自でお持ち帰りく
 ださい\n
LOCATION:ドワンゴセミナールーム 東京都中央区築地1-13-1(
 銀座松竹スクエア13F)
URL:https://techplay.jp/event/623516?utm_medium=referral&utm_source=ics&utm
 _campaign=ics
END:VEVENT
END:VCALENDAR