注意 現在 PayPal 側の支払い処理に不具合が起こっており、その影響により参加費用を支払ったのにイベントに参加登録できていない状況が複数件報告されております。 もしこの事象に遭われた参加者様、もしくはこの件についてお問い合わせされた主催者様はこちらのページを参考に対応を行なっていただけますようお願いいたします。

新機能 イベントメッセージの予約機能を追加しました。イベント主催者様は、参加者へのメッセージ送信を事前に予約できます。詳しくはこちらをご確認ください。

新機能 イベント詳細画面に「参加者への情報」欄を追加しました。イベント管理者、発表者、参加者(抽選中や補欠は除く)だけに表示されるフィールドです。詳しくはこちら

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

Sep

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

lion

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

11/04/2019 17:36

κ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 wrote a comment.

2019/09/25 07:43

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

lion

lion wrote a comment.

2019/09/24 08:26

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

κeen

κeen wrote a comment.

2019/09/21 22:34

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

YutakaNg

YutakaNg wrote a comment.

2019/07/31 09:29

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

yf0fyf

yf0fyf wrote a comment.

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 275

Ended

2019/09/29(Sun)

11:00
16:30

You cannot RSVP if you are already participating in another event at the same date.

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

てぴか✨

てぴか✨

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

SUHARA Hiromichi

SUHARA Hiromichi

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

cedretaber

cedretaber

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

Attendees (66)

Canceled (32)