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

9月

12

Proof Summit 2015

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

Organizing : tmiya_

Registration info

参加枠1

Free

FCFS
56/72

Description

日程決定のお知らせ

まだ、発表者など何も決定していませんが、会場と日程だけ決定しました。 今年は 9/8-11 に早稲田で日本ソフトウェア科学会大会が開催されるので、それに合わせて 9/12 に東京で開催します。

詳細が決まりしだい追記します。

発表者

Feed

msakai

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

09/18/2016 15:43

SUHARA Hiromichi

SUHARA Hiromichi さんが書き込みました。

2015/09/27 17:44

スライドの場所を移動しました。 https://drive.google.com/open?id=13JzBbpY64I5NcC8DUQoeiZ5OpLWAt_Yt-iLoq5pbGrA

masterq

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

09/24/2015 20:29

msakai

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

2015/09/13 13:53

「SAT/SMTソルバのしくみ」発表資料の改訂版を http://www.slideshare.net/sakai/satsmt で公開しました。 #ProofSummit

SUHARA Hiromichi

SUHARA Hiromichi さんが書き込みました。

2015/09/12 14:38

#Proofsummit 今日のリフレクションについての発表資料です http://www.slideshare.net/HiromichiSuhara/ss-52675855

ikegami__

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

2015/09/12 13:38

LT のリソースです スライド http://ikegamidaisuke.github.io/ProofSummit2015/ 原稿 https://github.com/IKEGAMIDaisuke/ProofSummit2015/blob/master/resource/talk/talk.md Idris で書いた uniq (IOの副作用がないことを保証する) https://github.com/IKEGAMIDaisuke/ProofSummit2015/tree/master/Idris-examples

msakai

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

2015/09/10 09:46

「SMTソルバのしくみ」的な話なら出来るかも知れません。

SUHARA Hiromichi

SUHARA Hiromichi さんが書き込みました。

2015/08/26 21:48

リフレクションの話をさせてください。

masterq

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

2015/06/23 23:16

ATS/LFという証明器について発表したいです!

tmiya_

tmiya_ published Proof Summit 2015.

06/08/2015 15:09

Proof Summit 2015 を公開しました!

Group

Proof Summit

Number of events 5

Members 267

Ended

2015/09/12(Sat)

13:00
18:00

Registration Period
2015/06/08(Mon) 00:00 〜
2015/09/12(Sat) 06:00

Location

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

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

Attendees(56)

ざっきー

ざっきー

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

xuwei_k

xuwei_k

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

erutuf13

erutuf13

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

msakai

msakai

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

cosmo0920

cosmo0920

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

chiguri

chiguri

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

nagaet

nagaet

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

dico_leque

dico_leque

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

mzp

mzp

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

yugawara

yugawara

I joined Proof Summit 2015!

Attendees (56)

Canceled (23)