한국정보과학회 프로그래밍언어연구회/한국정보보호학회 소프트웨어보안연구회 겨울학교
(SIGPL/SIGSS Winter School 2018)

일시: 2018년 2월 19일(월) ~ 2018년 2월 21일(수) 장소: 충남대학교 공대5호관 410호 주최: 한국정보과학회 프로그래밍언어연구회, 한국정보보호학회 소프트웨어보안연구회 주관: 충남대학교 소프트웨어연구소(SOREC), 충남대학교 ITRC 핀테크보안연구센터 후원: 코드마인드(주)

초대의 글

한국정보과학회 프로그래밍언어연구회와 한국정보보보학회 소프트웨어보안연구회에서 공동으로 주최하는 2018 겨울학교에 여러분을 초대합니다. 프로그래밍언어연구회에서는 최신 연구동향을 소개하고 참가자들이 학문적으로 활발히 교류하는 자리를 마련하기 위해 매년 겨울학교를 개최해 왔으며, 올해에는 소프트웨어보안연구회와 공동으로 준비하여 더욱 풍성한 프로그램을 마련하였습니다. 올해에는 프로그램 보안과 프로그래밍언어 이론을 중심으로 프로그래밍언어, 보안, SE 분야의 다양한 주제들로 강의를 준비하였으며, 특히 교토대학의 Atsushi Igarashi 교수를 초청하여 3일간에 걸친 특강을 준비하였습니다. 이번 2018 겨울학교에 여러분의 많은 참여와 관심을 바랍니다.

한국정보과학회 프로그래밍언어연구회 운영위원장 안준선(한국항공대) & 한국정보보호학회 소프트웨어보안연구회 운영위원장 창병모(숙명여대) 드림

조직위원장: 조은선(충남대)
프로그램위원장: 손윤식 (동국대)
운영위원: 이계식(한경대), 임현승(강원대)
프로그램위원: 류석영(KAIST), 오학주(고려대)

프로그램

2월 19일 (월요일) 13:00 ~ 14:00 등록 14:00 ~ 15:00 튜토리얼: 블록체인과 스마트컨트랙트보안 류재철 (충남대) 15:00 ~ 16:30 바이너리 난독화 코드 분석방안 최석우 (국가보안기술연구소) 16:30 ~ 17:00 휴식 17:00 ~ 18:00 Introduction to gradual typing Atsushi Igarashi (Kyoto Univ.) 2월 20일 (화요일) 10:00 ~ 11:00 eDSL을 이용한 해킹불가 프로그램 생성 신승철 (코드마인드(주)) 11:00 ~ 12:00 Precise Concolic Unit Testing of C Programs with Alarm Filtering Using Symbolic Calling Contexts 김윤호 (KAIST) 12:00 ~ 13:30 점심 식사 13:30 ~ 15:00 바이너리 분석과 보안 차상길 (KAIST) 15:00 ~ 15:30 휴식 15:30 ~ 16:30 Advanced topics in gradual typing (I) Atsushi Igarashi (Kyoto Univ.) 16:30 ~ 17:00 휴식 17:00 ~ 18:00 Hands-on gradual typing Atsushi Igarashi (Kyoto Univ.) 18:00 ~ 21:00 뱅킷 2월 21일 (수요일) 10:00 ~ 11:00 Advanced topics in gradual typing (II)​ Atsushi Igarashi (Kyoto Univ.) 11:00 ~ 12:00 Gentle Introduction to Probabilistic Programming 양홍석 (KAIST) 12:00 ~ 사진 촬영

등록

• 사전등록 마감: 2월 13일(화요일)
• 등록 방법: 등록 페이지를 통하여 등록할 수 있습니다.

  	학생	일반
  사전 등록	100,000원	150,000원
  현장 등록	120,000원	170,000원

숙박안내

충남대학교 주변 숙박 안내입니다. 아래에 안내해 드린 가격은 혹시 변동이 있을수 있으니 확인하시고 예약하시기 바랍니다.
• 대덕특구 게스트하우스 (042-865-2500) 홈페이지
  TJB 대전방송국 근처
  1인실: 40,000원/1박, 2인실: 55,000원/1박, 4인실: 75,000원/1박
• 토요코인 (042-545-1045) 홈페이지
  지하철 정부청사역 4번 출구에서 도보10분
  1인실: 40,000원/1박, 더블, 트윈: 77,000원/1박
• 호텔 ICC (042-866-5000) 홈페이지
  TJB 대전방송국 근처
  더블: 67,500원/1박, 트윈:85,500원/1박 (아래 서식 접수 후 해당 금액으로 가능)
  서식: 다운로드

오시는길

충남대학교 찾아오시는 길

---

프로그래밍언어연구회