新機能 connpass の「IT勉強会カレンダー」画面において、以前からご要望の多かった、都道府県の絞り込みが可能になりました。詳しくは こちら をご覧ください

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

9月

2

Proof Summit 2018

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

主催 : coqtokyo

ハッシュタグ :#proofsummit2018
募集内容

参加枠1

無料

先着順
95/100

イベントの説明

Proof Summit 2018

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

ハッシュタグ

#proofsummit2018

発表者募集

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

発表予定

| 時間 | 発表者 | 発表内容 | |:------------ |:-------------- | :------------ |

放送

ネット中継などによる放送、録画は ありません

参加費

無料です。

会場

会場はドワンゴ セミナールーム(南海東京ビルディング3階)です。 ドワンゴセミナールーム移転により、去年と場所が若干異なることにご注意ください。

入場方法

電源タップについて

無線LANと電源はありますが、床埋込み式の電源は Macのアダプタが刺さりません 。 電源タップをご持参ください。

その他

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

資料 資料をもっと見る/編集する

資料が投稿されると、最新の3件が表示されます。

フィード

yoshihiro503

yoshihiro503 さんが Proof Summit 2018 を公開しました。

2018/06/11 15:04

Proof Summit 2018 を公開しました!

グループ

Proof Summit

イベント数 4回

メンバー数 221人

開催前

2018/09/02(日)

11:00
16:30

イベントに申し込むには
ログインしてください

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

募集期間
2018/06/11(月) 15:03 〜
2018/09/02(日) 16:30

会場

ドワンゴセミナールーム(南海東京ビルディング3階)

東京都中央区銀座5-15-1(南海東京ビル)

参加者(95人)

notogawa

notogawa

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

rkyymmt

rkyymmt

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

cympfh

cympfh

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

wm5775

wm5775

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

masamune123

masamune123

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

junji hashimoto

junji hashimoto

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

jbking

jbking

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

y_taka_23

y_taka_23

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

tanaka_akr

tanaka_akr

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

参加者一覧(95人)

キャンセルした人(6人)