eldesh
(eldesh)

利用開始日: 2013/05/13

アレゲを目指して転職活動中

2017

09/23

(土)

12:45〜

主催

#静的コード解析の会 第5回 開催前

Metasepi

#静的コード解析の会 第5回

masterq masterq

東京都千代田区神田須田町2-3-1 NBF神田須田町ビル7F

15/18

2017

09/16

(土)

14:00〜

主催

Coq勉強会 - (SF読み進捗ダメです会議) -  #42 終了

readcoqart

Coq勉強会 - (SF読み進捗ダメです会議) - #42

tmiya_ tmiya_

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

3

2017

09/09

(土)

11:00〜

主催

申込済

2017

08/20

(日)

14:00〜

主催

申込済

Coq勉強会 - (SF読み進捗ダメです会議) -  #41 終了

readcoqart

Coq勉強会 - (SF読み進捗ダメです会議) - #41

tmiya_ tmiya_

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

5

2017

08/06

(日)

12:30〜

主催

#静的コード解析の会 第4回@大阪 終了

Metasepi

#静的コード解析の会 第4回@大阪

masterq masterq

大阪府大阪市北区大深町 3-1 (グランフロント大阪タワー B 14F)

6/10

2017

07/23

(日)

11:00〜

主催

Proof Summit 2017 終了

Proof Summit

Proof Summit 2017

tmiya_ tmiya_

東京都中央区築地1-13-1(銀座松竹スクエア13F)

64/108

2017

07/01

(土)

14:00〜

主催

Coq勉強会 - (SF読み進捗ダメです会議) -  #40 終了

readcoqart

Coq勉強会 - (SF読み進捗ダメです会議) - #40

tmiya_ tmiya_

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

5

2017

05/28

(日)

14:00〜

主催

申込済

Coq勉強会 - (SF読み進捗ダメです会議) -  #39 終了

readcoqart

Coq勉強会 - (SF読み進捗ダメです会議) - #39

tmiya_ tmiya_

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

5

2017

05/28

(日)

12:30〜

主催

#静的コード解析の会 第3回@名古屋 終了

Metasepi

#静的コード解析の会 第3回@名古屋

masterq masterq

名古屋市中村区名駅2-35-22 (メビウス名古屋ビル2階)

9/15

2017

04/29

(土)

12:45〜

主催

#静的コード解析の会 第2回 終了

Metasepi

#静的コード解析の会 第2回

masterq masterq

東京都千代田区神田須田町2-3-1 NBF神田須田町ビル7F

12/17