186 |
![](http://moon.jbnu.ac.kr/files/thumbnails/483/811/100x100.crop.jpg) |
[2017-11-22] [Leuven, Belgium] PoEM/PrOse2017 : Presentation
1
|
moonkun |
2017-11-27 |
437 |
|
185 |
![](http://moon.jbnu.ac.kr/files/thumbnails/337/811/100x100.crop.jpg) |
[2017-11-22] [Leuven, Belgium] PoEM/PrOse2017 : Day 1
3
|
moonkun |
2017-11-23 |
461 |
|
184 |
![](http://moon.jbnu.ac.kr/files/thumbnails/925/810/100x100.crop.jpg) |
[2017-11-10] [Barcelona, Spain] My old friend, NyS.
1
|
moonkun |
2017-11-13 |
605 |
|
183 |
![](http://moon.jbnu.ac.kr/files/thumbnails/888/810/100x100.crop.jpg) |
[2017-11-09] [OKRC/PP] ER2017: Valencia, Old City
6
|
moonkun |
2017-11-13 |
580 |
|
182 |
![](http://moon.jbnu.ac.kr/files/thumbnails/881/810/100x100.crop.jpg) |
[2017-11-09] [OKRC/PP] ER2017: Day 1~4
|
moonkun |
2017-11-13 |
555 |
|
181 |
![](http://moon.jbnu.ac.kr/files/thumbnails/858/810/100x100.crop.jpg) |
[2017-11-08] [OKRC/PP] ER2017: Day 3
|
moonkun |
2017-11-13 |
574 |
|
180 |
![](http://moon.jbnu.ac.kr/files/thumbnails/852/810/100x100.crop.jpg) |
[2017-11-07] [OKRC/PP] ER2017: Day 2
|
moonkun |
2017-11-13 |
549 |
|
179 |
![](http://moon.jbnu.ac.kr/files/thumbnails/727/810/100x100.crop.jpg) |
[2017-11-06] [OKRC/PP] ER2017/AHA2017: Presentation
1
|
moonkun |
2017-11-07 |
752 |
|
178 |
![](http://moon.jbnu.ac.kr/files/thumbnails/720/810/100x100.crop.jpg) |
[2017-11-06] [OKRC/PP] ER2017/AHA2017: Day 1
1
|
moonkun |
2017-11-07 |
721 |
|
177 |
![](http://moon.jbnu.ac.kr/files/thumbnails/252/810/100x100.crop.jpg) |
[2017-10-26] 컴퓨터과학/공학 분야 연구와 교육에서의 적폐청산 방안 [펌]
2
|
moonkun |
2017-10-26 |
989 |
|
176 |
![](http://moon.jbnu.ac.kr/files/thumbnails/840/809/100x100.crop.jpg) |
[2017-10-15] [OKRC/PP] PoEM2017/PrOse2017: Final, Camera-Ready
|
moonkun |
2017-10-15 |
957 |
|
175 |
![](http://moon.jbnu.ac.kr/files/thumbnails/621/809/100x100.crop.jpg) |
[2017-10-10] SRE 실험실 & OMiLAB Korea 연구 센터: 석사/박사 과정 후보생 모집
|
moonkun |
2017-10-10 |
1021 |
|
174 |
![](http://moon.jbnu.ac.kr/files/thumbnails/229/809/100x100.crop.jpg) |
[2017-09-18] [OKRC/PP] ER2017/AHA2017: Final, Camera-Ready
|
moonkun |
2017-09-23 |
1198 |
|
173 |
![](http://moon.jbnu.ac.kr/files/thumbnails/897/808/100x100.crop.jpg) |
[2017-08-11] [Book] Formal Methods (published by CBNU Press)
|
moonkun |
2017-09-14 |
1437 |
|
172 |
![](http://moon.jbnu.ac.kr/files/thumbnails/446/808/100x100.crop.jpg) |
[2017-08-11] PoEM2017/PrOse2017 (Submitted)
|
moonkun |
2017-08-11 |
1862 |
|
171 |
![](http://moon.jbnu.ac.kr/files/thumbnails/367/808/100x100.crop.jpg) |
[2017-08-04] Formal Method [V0.2] (To be published in September by CBNU Press)
3
|
moonkun |
2017-08-04 |
2286 |
|
170 |
![](http://moon.jbnu.ac.kr/files/thumbnails/296/808/100x100.crop.jpg) |
[2017-07-27] BOC, Austria: ADONIS/ADOxx Training: Closing [Thur]
1
|
moonkun |
2017-07-28 |
37144 |
|
169 |
![](http://moon.jbnu.ac.kr/files/thumbnails/280/808/100x100.crop.jpg) |
[2017-07-28] NEMO2017, The University of Vienna, Austria: Day 10 - Closing [Fri]
2
|
moonkun |
2017-07-28 |
22138 |
|
168 |
![](http://moon.jbnu.ac.kr/files/thumbnails/274/808/100x100.crop.jpg) |
[2017-07-27] NEMO2017, The University of Vienna, Austria: Day 9 [Thur]
|
moonkun |
2017-07-28 |
2157 |
|
167 |
![](http://moon.jbnu.ac.kr/files/thumbnails/213/808/100x100.crop.jpg) |
[2017-07-26] NEMO2017, The University of Vienna, Austria: Exercise
1
|
moonkun |
2017-07-27 |
2016 |
|