新機能イベントの「参加者への情報」欄に Markdown をご利用いただけるようになりました。詳しくはこちらをご確認ください

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日(日曜日)
場所: 株式会社朝日ネットセミナールーム

ハッシュタグ

発表者募集

発表希望の方はここにコメントいただくか、 @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

プログラミング言語に興味がある人。

SUHARA Hiromichi

ProofCafe -名古屋Coq勉強会- の共同主催者です。問い合わせは、twitter ...

Media View all Media

Feed

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

11/04/2019 17:36

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

09/29/2019 22:40

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

09/29/2019 16:16

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

09/29/2019 16:11

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

09/29/2019 12:33

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

09/29/2019 12:31

lion wrote a comment.

2019/09/25 07:43

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

lion wrote a comment.

2019/09/24 08:26

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

κeen wrote a comment.

2019/09/21 22:34

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

YutakaNg wrote a comment.

2019/07/31 09:29

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

yf0fyf wrote a comment.

2019/07/30 23:37

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

lion published Proof Summit 2019.

07/28/2019 16:36

Proof Summit 2019 を公開しました！

Group

Number of events 5

Members 268

Ended

2019/09/29(Sun)

11:00 〜 16:30

Google Calendar iCal

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

Event Organizer Contact

Location

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

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

Organizer

Attendees（66）

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

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

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

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

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

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

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

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

SUHARA Hiromichi

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

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

Canceled (32)