Proof Summit 2019

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

• 日時 令和元年9月29日(日曜日)
• 場所: 株式会社朝日ネット セミナールーム

ハッシュタグ

#proofsummit

発表者募集

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

発表予定

• @blackenedgold 「Idrisの話とIdris2のウワサ」
• @___yuni 「300行で作るproof assistant」
• YutakaNg 「人工知能によるIsabelle/HOLの証明支援」
• @yf0fyf 「Coqのベース体系の無矛盾性について（仮題）」
• @suharahiromichi 「Mathcompで文字列を使う」
• @2015fuj 「ProofIrrelevance」

時間	発表者	発表内容
11:00 〜 11:10	-	会場説明等
11:10 〜 11:40	@blackenedgold	「Idrisの話とIdris2のウワサ」
11:40 〜 12:10	@___yuni	「300行で作るproof assistant」
12:10 〜 13:50	-	昼休憩
13:50 〜 14:20	@2015fuj	「ProofIrrelevance」
14:20 〜 14:50	@suharahiromichi	「Mathcompで文字列を使う」
14:50 〜 15:10	-	休憩
15:10 〜 15:40	YutakaNg	「人工知能によるIsabelle/HOLの証明支援」
15:40 〜 16:10	@yf0fyf	「Coqのベース体系の無矛盾性について（仮題）」

当日の進行は、それぞれの発表や休憩が短くなったり長くなったりして、上記の表の時間からずれる可能性があります。

参加費

無料です。

会場

歌舞伎座タワー 21F セミナールーム

21F に上るには 1F または B2F からエレベーターで 7F に上って、そこからさらに 21F に上がるエレベーターにのってください。

電源タップについて

電源タップは用意しますが、全員分の電源タップはありません。

昼食について

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

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

その他

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