207 |
|
[2017-07-20] NEMO2017, The University of Vienna, Austria: Day 4 [Thur]
1
|
moonkun |
2017-07-21 |
2168 |
|
206 |
|
[2017-07-21] NEMO2017, The University of Vienna, Austria: Day 5 [Fri]
|
moonkun |
2017-07-24 |
2218 |
|
205 |
|
[2017-07-24] NEMO2017, The University of Vienna, Austria: Day 6 [Mon]
|
moonkun |
2017-07-25 |
1990 |
|
204 |
|
[2017-07-25] NEMO2017, The University of Vienna, Austria: Day 7 [Tue]
|
moonkun |
2017-07-26 |
2269 |
|
203 |
|
[2017-07-26] NEMO2017, The University of Vienna, Austria: Day 8 [Wed]
1
|
moonkun |
2017-07-27 |
2156 |
|
202 |
|
[2017-07-26] NEMO2017, The University of Vienna, Austria: Lecture
1
|
moonkun |
2017-07-27 |
2232 |
|
201 |
|
[2017-07-26] NEMO2017, The University of Vienna, Austria: Exercise
1
|
moonkun |
2017-07-27 |
2018 |
|
200 |
|
[2017-07-27] NEMO2017, The University of Vienna, Austria: Day 9 [Thur]
|
moonkun |
2017-07-28 |
2158 |
|
199 |
|
[2017-07-28] NEMO2017, The University of Vienna, Austria: Day 10 - Closing [Fri]
2
|
moonkun |
2017-07-28 |
22171 |
|
198 |
|
[2017-07-27] BOC, Austria: ADONIS/ADOxx Training: Closing [Thur]
1
|
moonkun |
2017-07-28 |
37186 |
|
197 |
|
[2017-08-04] Formal Method [V0.2] (To be published in September by CBNU Press)
3
|
moonkun |
2017-08-04 |
2289 |
|
196 |
|
[2017-08-11] PoEM2017/PrOse2017 (Submitted)
|
moonkun |
2017-08-11 |
1862 |
|
195 |
|
[2017-08-11] [Book] Formal Methods (published by CBNU Press)
|
moonkun |
2017-09-14 |
1438 |
|
194 |
|
[2017-09-18] [OKRC/PP] ER2017/AHA2017: Final, Camera-Ready
|
moonkun |
2017-09-23 |
1198 |
|
193 |
|
[2017-10-10] SRE 실험실 & OMiLAB Korea 연구 센터: 석사/박사 과정 후보생 모집
|
moonkun |
2017-10-10 |
1022 |
|
192 |
|
[2017-10-15] [OKRC/PP] PoEM2017/PrOse2017: Final, Camera-Ready
|
moonkun |
2017-10-15 |
957 |
|
191 |
|
[2017-10-26] 컴퓨터과학/공학 분야 연구와 교육에서의 적폐청산 방안 [펌]
2
|
moonkun |
2017-10-26 |
990 |
|
190 |
|
[2017-11-06] [OKRC/PP] ER2017/AHA2017: Day 1
1
|
moonkun |
2017-11-07 |
723 |
|
189 |
|
[2017-11-06] [OKRC/PP] ER2017/AHA2017: Presentation
1
|
moonkun |
2017-11-07 |
754 |
|
188 |
|
[2017-11-07] [OKRC/PP] ER2017: Day 2
|
moonkun |
2017-11-13 |
550 |
|