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

9月

29

Proof Summit 2019

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

Organizing : coqtokyo

Hashtag :#proofsummit
Registration info

参加枠

Free

FCFS
80/50

発表者枠

Free

FCFS
2/5

Description

Proof Summit 2019

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

  • 日時 令和元年9月29日(日曜日)
  • 場所: 確定待ち

ハッシュタグ

#proofsummit

発表者募集

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

発表予定

  • @blackenedgold 「Idris2の型とかType Driven Developmentとかの話(仮)」
  • @___yuni 「300行で作るproof assistant」
  • YutakaNg 「人工知能によるIsabelle/HOLの証明支援」
  • @yf0fyf 「Coqのベース体系の無矛盾性について(仮題)」
  • @suharahiromichi 「Mathcompで文字列を使う」

| 時間 | 所属 | 発表者 | 発表内容 |

発表者募集中

参加費

無料です。

会場

会場は、地下鉄東銀座駅の近くの、株式会社朝日ネット セミナールームです。変更される可能性もあります。

電源タップについて

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

昼食について

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

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

その他

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

Media View all Media

If you add event media, up to 3 items will be shown here.

Feed

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 267

Public

2019/09/29(Sun)

11:00
16:30

Please login to register

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

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

Location

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

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

Attendees(52)

yoshihiro503

yoshihiro503

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

lion

lion

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 に参加を申し込みました!

KentaroHara

KentaroHara

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

Attendees (52)

Waitlist (30)

krxross

krxross

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

higashino

higashino

I joined Proof Summit 2019!

haiju

haiju

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

msakai

msakai

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

yigano

yigano

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

amutake

amutake

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

roadrunner

roadrunner

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

watiko

watiko

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

kerfume

kerfume

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

ys1987

ys1987

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

Waitlist (30)

Canceled (2)