BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//https://techplay.jp//JP
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALDESC:Proof Summit 2019
X-WR-CALNAME:Proof Summit 2019
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:743480@techplay.jp
SUMMARY:Proof Summit 2019
DTSTART;TZID=Asia/Tokyo:20190929T110000
DTEND;TZID=Asia/Tokyo:20190929T163000
DTSTAMP:20260426T062015Z
CREATED:20190729T014220Z
DESCRIPTION:イベント詳細はこちら\nhttps://techplay.jp/event/74348
 0?utm_medium=referral&utm_source=ics&utm_campaign=ics\n\nProof Summit 201
 9\n定理証明支援系や自動証明器などに関するユーザー
 イベントです。オススメのツールを紹介したいという
 人も、どういうものか知りたいという人も大歓迎です
 。\n\n日時 令和元年9月29日(日曜日)\n場所: 株式会社朝
 日ネット セミナールーム\n\nハッシュタグ\n#proofsummit\n
 発表者募集\n発表希望の方はここにコメントいただく
 か、 @2015fuj か @yoshihiro503 か @tmiya_ にご連絡ください。
 \n発表予定\n\n@blackenedgold 「Idrisの話とIdris2のウワサ」\n
 @___yuni 「300行で作るproof assistant」\nYutakaNg 「人工知能
 によるIsabelle/HOLの証明支援」\n@yf0fyf 「Coqのベース体系
 の無矛盾性について（仮題）」\n@suharahiromichi 「Mathcomp
 で文字列を使う」\n@2015fuj 「ProofIrrelevance」\n\n\n\n\n時間
 \n発表者\n発表内容\n\n\n\n\n11:00 〜 11:10\n-\n会場説明等\n\
 n\n11:10 〜 11:40\n@blackenedgold\n「Idrisの話とIdris2のウワサ
 」\n\n\n11:40 〜 12:10\n@___yuni\n「300行で作るproof assistant」\
 n\n\n12:10 〜 13:50\n-\n昼休憩\n\n\n13:50 〜 14:20\n@2015fuj\n「Pro
 ofIrrelevance」\n\n\n14:20 〜 14:50\n@suharahiromichi\n「Mathcompで
 文字列を使う」\n\n\n14:50 〜 15:10\n-\n休憩\n\n\n15:10 〜 15:4
 0\nYutakaNg\n「人工知能によるIsabelle/HOLの証明支援」\n\n\n
 15:40 〜 16:10\n@yf0fyf\n「Coqのベース体系の無矛盾性につ
 いて（仮題）」\n\n\n\n当日の進行は、それぞれの発表
 や休憩が短くなったり長くなったりして、上記の表の
 時間からずれる可能性があります。\n参加費\n無料です
 。\n会場\n歌舞伎座タワー 21F セミナールーム\n21F に上
 るには 1F または B2F からエレベーターで 7F に上って、
 そこからさらに 21F に上がるエレベーターにのってく
 ださい。\n電源タップについて\n電源タップは用意しま
 すが、全員分の電源タップはありません。\n昼食につ
 いて\n会場のある東銀座駅周辺に飲食店はたくさんあ
 るのですが，日曜日の昼には営業していないところも
 あるので注意が必要です．日曜の昼にも営業している
 （いそうな）お店を次のページにまとめましたのでご
 参考ください．\nhttps://gist.github.com/fluiddynamics/c0748c9107e5
 75fe79764589b49894fd\nその他\n\n喫煙室はありません\n貴重品
 は各自で管理してください\n会場は飲食可能です\nゴミ
 は各自でお持ち帰りください\n
LOCATION:株式会社朝日ネット セミナールーム 東京都中央
 区銀座 4-12-15 歌舞伎座タワー21階
URL:https://techplay.jp/event/743480?utm_medium=referral&utm_source=ics&utm
 _campaign=ics
END:VEVENT
END:VCALENDAR