このエントリーをはてなブックマークに追加

9月

29

Proof Summit 2019

定理証明系に関するユーザーイベントです。

Organizing : coqtokyo

Hashtag :#proofsummit
Registration info

参加枠

Free

FCFS
62/64

発表者枠

Free

FCFS
4/5

Description

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

その他

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

Presenter

Feed

κeen

κeenさんが資料をアップしました。

09/29/2019 22:40

lion

lionさんが資料をアップしました。

09/29/2019 16:16

lion

lionさんが資料をアップしました。

09/29/2019 16:11

lion

lionさんが資料をアップしました。

09/29/2019 12:33

lion

lionさんが資料をアップしました。

09/29/2019 12:31

lion

lion さんが書き込みました。

2019/09/25 07:43

タイムテーブルを更新しました

lion

lion さんが書き込みました。

2019/09/24 08:26

タイムテーブルを更新しました

κeen

κeen さんが書き込みました。

2019/09/21 22:34

発表者のκeenです。タイトルを「Idrisの話とIdris2のウワサ」に決めました。

YutakaNg

YutakaNg さんが書き込みました。

2019/07/31 09:29

「人工知能によるIsabelle/HOLの証明支援」で発表希望です。

yf0fyf

yf0fyf さんが書き込みました。

2019/07/30 23:37

「Coqのベース体系の無矛盾性について(仮題)」で発表希望です.よろしくお願いします.

lion

lion published Proof Summit 2019.

07/28/2019 16:36

Proof Summit 2019 を公開しました!

Group

Proof Summit

Number of events 5

Members 276

Ended

2019/09/29(Sun)

11:00
16:30

開催日時が重複しているイベントに申し込んでいる場合、このイベントには申し込むことができません

Registration Period
2019/07/28(Sun) 16:36 〜
2019/09/29(Sun) 16:30

Location

株式会社朝日ネット セミナールーム

東京都中央区銀座 4-12-15 歌舞伎座タワー21階

Attendees(66)

yoshihiro503

yoshihiro503

Proof Summit 2019 に参加を申し込みました!

hatsugai

hatsugai

Proof Summit 2019に参加を申し込みました!

kento

kento

Proof Summit 2019に参加を申し込みました!

khibino

khibino

Proof Summit 2019 に参加を申し込みました!

Ryo KAJI

Ryo KAJI

Proof Summit 2019 に参加を申し込みました!

tanimocchi

tanimocchi

Proof Summit 2019 に参加を申し込みました!

na4zagin3

na4zagin3

Proof Summit 2019 に参加を申し込みました!

suridaisuki

suridaisuki

Proof Summit 2019 に参加を申し込みました!

SUHARA Hiromichi

SUHARA Hiromichi

Proof Summit 2019 に参加を申し込みました!

cedretaber

cedretaber

Proof Summit 2019 に参加を申し込みました!

Attendees (66)

Canceled (32)