한국정보과학회 프로그래밍언어연구회 여름학교
(SIGPL Summer School 2018)

일시: 2018년 8월 20일(월) ~ 2018년 8월 22일(수) 장소: 동국대학교 신공학관 4142호 주최: 한국정보과학회 프로그래밍언어연구회 주관: 동국대학교 융합SW교육원 후원: 코드마인드(주)

초대의 글

한국정보과학회 프로그래밍언어 연구회에서 준비한 2018 여름학교에 여러분을 초대합니다. 프로그래밍언어연구회에서는 매년 최신 연구동향을 소개하고 참가자들이 학문적으로 활발히 교류하는 자리를 마련해 왔습니다. 올해 여름학교에서도 프로그래밍언어 분야의 핫한 최신 연구를 소개하는 강연들과 "어쩌다 PL"이란 주제로 PL 분야에서 활발한 활동을 하는 젊은 패널들의 공개 토론회를 준비하였으며, 특히 병렬 및 분산 시스템 전문가인 런던 칼리지 대학교의 Ilya Sergey 교수와 사회적 저명인사인 박준영 변호사의 특강이 마련되어 있습니다. 프로그래밍언어연구회 2018 여름학교에 여러분의 많은 참여와 관심을 바랍니다.

한국정보과학회 프로그래밍언어연구회 운영위원장 이계식 (한경대) 드림

조직위원장: 손윤식 (동국대)
프로그램위원장: 류석영 (KAIST)
프로그램위원: 오학주(고려대)

프로그램

8월 20일 (월요일) 13:00 ~ 14:00 등록 14:00 ~ 15:00 π-calculus, intuitionistic logic, and compositional verification 안기영 (한남대) 15:00 ~ 15:15 휴식 15:15 ~ 16:15 스마트 컨트랙트 분석 이종협 (가천대) 16:15 ~ 16:30 휴식 16:30 ~ 17:30 스마트 컨트랙트를 작성할 때 고려해야 하는 블록체인의 특징 김재윤 (서울대) 17:30 ~ 19:00 저녁 19:00 ~ 21:00 포스터 세션 8월 21일 (화요일) 10:00 ~ 11:00 Reasoning about consensus protocols Ilya Sergey (University College London) 11:00 ~ 11:15 휴식 11:15 ~ 12:15 Reasoning about Byzantine protocols Ilya Sergey (University College London) 12:15 ~ 14:00 점심 14:00 ~ 15:00 Implementing and mechanically verifying smart contracts Ilya Sergey (University College London) 15:00 ~ 15:30 휴식 15:30 ~ 17:30 "어쩌다 PL" 패널 사회: 류석영 (KAIST) 패널: 강지훈 (서울대) 강현구 (S-Core) 오학주 (고려대) 임현승 (강원대) 정영범 (스패로우) 황성재 (KAIST) 17:30 ~ 18:00 휴식 18:00 ~ 20:00 뱅킷 8월 22일 (수요일) 10:00 ~ 11:00 Web security/privacy​ 손수엘 (KAIST) 11:00 ~ 11:15 휴식 11:15 ~ 12:15 배운 사람들이 그러면 안 된다 박준영 (변호사) 12:15 ~ 사진 촬영

등록

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

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

숙박안내

• SIGPL에서 필요한 학생들에게 숙박비를 지원합니다.
  지원 자격은 숙박비를 받지 못한 대학원생으로 한정합니다.
  선정된 학생에게는 소속기관 여비규정에 따라 숙박비를 지급합니다.
  지원을 위해서는 지도교수 추천서가 필요하고, 이는 입력한 지도교수 이메일을 통해 받습니다.
  추후 숙박 영수증 및 소속기관 여비 규정을 제출해야 합니다.

지원하기

지원마감: 2018년 8월 13일

동국대학교 주변 숙박 안내입니다. 충무로, 동대문 및 명동쪽에 호텔이 매우 많기 때문에 예약하시기는 어렵지 않으실 것으로 생각됩니다. 추천 호텔은 다음과 같으며, 2인기준 10만원 이내로 예약이 가능합니다.
• 티마크 호텔 명동 (02-2098-2000) 홈페이지
  서울특별시 중구 충무로 15
• 스테이B 호텔 (02-2277-6300) 홈페이지
  서울특별시 중구 충무로 23-1
• 써미트 호텔 (02-2285-0540) 홈페이지
  서울특별시 중구 장충단로 198
• 호텔 도마 (02-2273-9603) 홈페이지
  서울특별시 중구 퇴계로 216

오시는길

동국대학교 찾아오시는 길

---

프로그래밍언어연구회