09:00 [PhD defense] 문정욱 12／2 10：00 E3-1 2450호

10:00 [PhD defense] 현종환 12／2 10：00 E3-1 4420호

16:00 [PhD defense] 김서영 12／2 16：00 N1 601호

16:00 [KAIST SoC Colloquium] Runtime Protocol Refinement Checking for Distributed Protocol Implementations

09:30 [PhD defense] 이선재 12／3 09：30 E3-1 4420호

16:00 [PhD defense] 황수진 12／3 16：00 E3-1 4420호

16:30 [PhD defense] Rifki Afina Putri 12／3 16：30 E3-1 3420호

17:00 [PhD defense] 정재황 12／3 17：00 E3-1 4420호

11:00 [PhD defense] 이선호 12／4 11：00 E3-1 4420호

10:00 [PhD defense] MAHE ZABIN 12／5 10：00 E3-1 4420호

14:00 [PhD defense] TRIRAT PATARA 12／5 14：00 E3-1 2452호

16:00 [PhD defense] 김종명 12／5 16：00 E3-1 4420호

17:00 [PhD defense] 장명재 12／5 17：00 N1 701호

11:30 [PhD defense] 하태욱 12／9 11：30 E3-1 3420호

16:00 [KAIST SoC Colloquium]Breaking the Memory Wall： Near-Data Processing for Hyperscale Applications

09:00 [PhD defense] 이근홍 12／11 09：00 N1 601호

10:30 [PhD defense] 이동건 12／11 10：30 E3-1 4420호

11:00 [PhD defense] 신희찬 12／16 11：00 E3-1 4448호