お知らせ 【重要なお知らせ】iOSアプリの運用および提供を2024年6月3日(月)を以て終了いたします。詳細は お知らせをご覧ください。

お知らせ connpassではさらなる価値のあるデータを提供するため、イベントサーチAPIの提供方法の見直しを決定しました。2024年5月23日(木)より 「企業・法人」「コミュニティ及び個人」向けの2プランを提供開始いたします。ご利用にあたっては利用申請及び審査がございます。詳細はヘルプページをご確認ください。

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

Sep

12

Proof Summit 2015

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

Organizing : tmiya_

Registration info

参加枠1

Free

FCFS
56/72

Attendees
ざっきー
xuwei_k
erutuf13
msakai
Hiroshi Hatake
chiguri
nagaet
dico_leque
mzp
yugawara
View Attendee List
Start Date
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階

View Map

Description

日程決定のお知らせ

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

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

発表者

Feed

msakai

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

09/18/2016 15:43

SUHARA Hiromichi

SUHARA Hiromichi wrote a comment.

2015/09/27 17:44

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

masterq

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

09/24/2015 20:29

msakai

msakai wrote a comment.

2015/09/13 13:53

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

SUHARA Hiromichi

SUHARA Hiromichi wrote a comment.

2015/09/12 14:38

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

ikegami__

ikegami__ wrote a comment.

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

2015/09/10 09:46

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

SUHARA Hiromichi

SUHARA Hiromichi wrote a comment.

2015/08/26 21:48

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

masterq

masterq wrote a comment.

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 266

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

Hiroshi Hatake

Hiroshi Hatake

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)