| 188 |
 |
[2017-11-24] [Leuven, Belgium] PoEM/PrOse2017 : Day 3
 |
moonkun |
2017-11-27 |
405 |
|
|
| 187 |
 |
[2017-11-23] [Leuven, Belgium] PoEM/PrOse2017 : Day 2
|
moonkun |
2017-11-27 |
408 |
|
|
| 186 |
 |
[2017-11-22] [Leuven, Belgium] PoEM/PrOse2017 : Presentation
 1
|
moonkun |
2017-11-27 |
399 |
|
|
| 185 |
 |
[2017-11-22] [Leuven, Belgium] PoEM/PrOse2017 : Day 1
3
|
moonkun |
2017-11-23 |
423 |
|
|
| 184 |
 |
[2017-11-10] [Barcelona, Spain] My old friend, NyS.
1
|
moonkun |
2017-11-13 |
554 |
|
|
| 183 |
 |
[2017-11-09] [OKRC/PP] ER2017: Valencia, Old City
6
|
moonkun |
2017-11-13 |
528 |
|
|
| 182 |
 |
[2017-11-09] [OKRC/PP] ER2017: Day 1~4
|
moonkun |
2017-11-13 |
524 |
|
|
| 181 |
 |
[2017-11-08] [OKRC/PP] ER2017: Day 3
|
moonkun |
2017-11-13 |
533 |
|
|
| 180 |
 |
[2017-11-07] [OKRC/PP] ER2017: Day 2
|
moonkun |
2017-11-13 |
514 |
|
|
| 179 |
 |
[2017-11-06] [OKRC/PP] ER2017/AHA2017: Presentation
1
|
moonkun |
2017-11-07 |
707 |
|
|
| 178 |
 |
[2017-11-06] [OKRC/PP] ER2017/AHA2017: Day 1
1
|
moonkun |
2017-11-07 |
653 |
|
|
| 177 |
 |
[2017-10-26] 컴퓨터과학/공학 분야 연구와 교육에서의 적폐청산 방안 [펌]
 2
|
moonkun |
2017-10-26 |
882 |
|
|
| 176 |
 |
[2017-10-15] [OKRC/PP] PoEM2017/PrOse2017: Final, Camera-Ready
|
moonkun |
2017-10-15 |
918 |
|
|
| 175 |
 |
[2017-10-10] SRE 실험실 & OMiLAB Korea 연구 센터: 석사/박사 과정 후보생 모집
|
moonkun |
2017-10-10 |
958 |
|
|
| 174 |
 |
[2017-09-18] [OKRC/PP] ER2017/AHA2017: Final, Camera-Ready
|
moonkun |
2017-09-23 |
1139 |
|
|
| 173 |
 |
[2017-08-11] [Book] Formal Methods (published by CBNU Press)
|
moonkun |
2017-09-14 |
1220 |
|
|
| 172 |
 |
[2017-08-11] PoEM2017/PrOse2017 (Submitted)
|
moonkun |
2017-08-11 |
1811 |
|
|
| 171 |
 |
[2017-08-04] Formal Method [V0.2] (To be published in September by CBNU Press)
3
|
moonkun |
2017-08-04 |
2139 |
|
|
| 170 |
 |
[2017-07-27] BOC, Austria: ADONIS/ADOxx Training: Closing [Thur]
1
|
moonkun |
2017-07-28 |
2041 |
|
|
| 169 |
 |
[2017-07-28] NEMO2017, The University of Vienna, Austria: Day 10 - Closing [Fri]
2
|
moonkun |
2017-07-28 |
2081 |
|
|
