DSLab. Activities in 2012
　

• 2012.02.07 ~ 02.08 :  국방SW연구회 2012년 동계워크샵 (프로그램)
  • 강원도 평창 휘닉스 한화리조트
  • 유준범 교수 (연구회 총무), 랩 전원 현장등록 지원

• 2012.02.08 ~ 02.10 :  소프트웨어공학 사이어티 동계 학술대회 (KCSE 2012)
  • 강원도 평창 휘닉스 한화리조트
  • 이종훈 (석2) 논문 발표 (paper, ppt)

• 2012.02.08 ~ 02.10 :  ISMS 2012
  • 유준범 교수, 3rd International Conference on Intelligent Systems, Modeling and Simulation (ISMS 2012) 참가
  • Kota Kinabalu, Malaysia

• 2012.02.13 ~ 02.14 :  2012년 DSLab. 제1차 워크샵
  • 경기도 청평 풍림리조트

• 2012.04.09 ~ 04.10:  ETRI CPS과제 Kick-off Workshop
  • 덕산 리솜 스파 캐슬
  • 유준범 교수, 조재연, 윤상현 참가
  • 건국대 소과제명: ETRI 하이브리드 시스템 모델을 위한 정형검증 기법

• 2012.05.16 ~ 05.18:  한국원자력학회 춘계학술발표대회
  • 제주 컨벤션 센터
  • 이동아, 이종훈, 김의섭, 이선휘 참가
  • 이종훈(석2) 논문 발표 (paper, ppt)

• 2012.06.04 ~ 06.09 : ICSE 2012
  • 유준범 교수, 34th International Conference on Software Engineering (ICSE 2012) 참가
  • Zurich, Switzerland

• 2012.06.27 ~ 06.29 : 한국정보과학회 2012 한국컴퓨터종합학술대회 (KCC 2012)
  • 제주 휘닉스아일랜드
  • 윤상현 (박1) 논문발표 (paper, ppt)

• 2012.08.23 : IWCPS 2012
  • 유준범 교수, 2nd International Workshop on Cyber Physical Systems 2012  (IWCSP 2012) 참가
  • 대구경북과학기술원
  • 유준범 교수 발표 (ppt)

• 2012.08.28 ~ 08.31 : FM 2012
  • 유준범 교수, 18th International Symposium on Formal Methods (FM 2012) 참가
  • Paris, France

• 2012.09.06 ~ 09.08 : International Workshop on Technologies and Applications for Cyber Physical System (TACPS 2012)
  • 광주, 김대중 컨벤션 센터
  • 조재연 (석2) 논문 발표 (paper, ppt)

• 2012.09.20 ~ 09.22 : Korea-Japan Joint Workshop on ICT (ICT 2012)
  • 포항, 포항공대
  • 조재연 (석2) 논문발표 (paper, ppt) , 이선휘 (석1) 논문발표 (paper, ppt)

• 2012.10.16 : 국방SW연구회 추계단기강좌
  • 한국과학기술회관, "한국형 국방 실시간 소프트웨어 플랫폼" (프로그램)
  • 이종훈(석2), 이선휘(석1) 현장 지원

• 2012.11.01 ~ 11.02 : NuPIC 2012 제4회 원전계측제어심포지엄 (NuPIC 2012)
  • 대명리조트 단양 (프로그램)
  • 유준범 교수 연구발표 (ppt)

• 2012.11.23 ~ 11.24 : 한국정보과학회 2012 추계학술대회 (KIISE 2012)
  • 충남대학교
  • 이동아 (박1) 논문 발표 (paper, ppt)

• 2012.12.04 ~ 12.07 : APSEC 2012
  • 랩 전체 (총 7명), The 19th Asia-Pacific Software Engineering Conference (APSEC 2012) 참가 (프로그램)
  • Hong Kong