한국정보과학회 프로그래밍언어연구회 여름학교
(SIGPL Summer School 2019)
-
일시: 2019년 8월 26일(월) ~ 2019년 8월 28일(수)
-
장소: 휘닉스 평창 호텔 2층 Agenda Room I
-
주최: 한국정보과학회 프로그래밍언어연구회
-
후원: 코드마인드(주)
|
|---|
초대의 글
한국정보과학회 프로그래밍언어 연구회에서 준비한 2019 여름학교에 여러분을 초대합니다. 프로그래밍언어연구회에서는 매년 최신 연구동향을 소개하고 참가자들이 학문적으로 활발히 교류하는 자리를 마련해 왔습니다. 올해 여름학교에서는 학계 및 산업현장에서 활발히 활동하시는 프로그래밍언어 분야 전문가들의 최신 연구와 특별히 프랑스 CNRS의 Giuseppe Castagna 박사님을 모시고 타입 이론 관련 강의를 준비하였습니다. 프로그래밍언어연구회 2019 여름학교에 여러분의 많은 참여와 관심을 바랍니다.
한국정보과학회 프로그래밍언어연구회 운영위원장 류석영 (KAIST) 드림
조직위원장: 허충길 (서울대)
프로그램위원장: 임현승 (강원대)
프로그램위원: 이우석 (한양대), 강지훈 (KAIST)
프로그램
| 8월 26일 (월요일) |
|---|
| 13:00 ~ 14:00 | 등록 | |
| 14:00 ~ 15:00 | 함수형 프로그래밍 과제 자동 채점 및 피드백 생성 시스템 | 송도원 (고려대) |
| 15:00 ~ 16:00 | Polymorphic Symmetric Multiple Dispatch with Variance | 홍재민 (KAIST) |
| 16:00 ~ 16:30 | 휴식 | |
| 16:30 ~ 17:30 | 번개발표 | 대학원생 |
| 19:00 ~ 21:00 | 포스터 발표 | 대학원생 |
| 8월 27일 (화요일) |
|---|
| 09:30 ~ 10:45 |
Four forms of polymorphism: subtyping polymorphism | Giuseppe Castagna (CNRS) |
| 10:45 ~ 11:00 | 휴식 | |
| 11:00 ~ 12:15 | Four forms of polymorphism: parametric polymorphism | Giuseppe Castagna (CNRS) |
| 12:15 ~ 13:30 | 점심 식사 | |
| 13:30 ~ 14:45 | Four forms of polymorphism: ad hoc polymorphism and set-theoretic types | Giuseppe Castagna (CNRS) |
| 14:45 ~ 15:00 | 휴식 | |
| 15:00 ~ 16:00 | Privacy, Transparency, and Formal Verification | 김홍석 (Google Research) |
| 16:00 ~ 17:00 | Semantics-Based Automated Program Repair | 이주용 (UNIST) |
| 17:00 ~ 17:15 | 휴식 | |
| 17:15 ~ 18:15 | MR3 개발 사례로 Mythical Man-Month 검증하기 | 박성우 (POSTECH) |
| 18:15 ~ 20:00 | 뱅킷 | |
| 8월 28일 (수요일) |
|---|
| 09:30 ~ 10:45 | Four forms of polymorphism: dynamic and gradual typing | Giuseppe Castagna (CNRS) |
| 10:45 ~ 11:00 | 휴식 | |
| 11:00 ~ 12:00 | 동시성 프로그램에서 쓰레기를 수집하는 세가지 방법 | 강지훈 (KAIST) |
| 12:00 ~ | 사진 촬영 | |
|
등록
- 사전등록 마감: 8월 23일(금요일)
- 등록 방법: 등록 페이지 를 통하여 등록할 수 있습니다.
| | 학생 | 일반 |
|---|
| 사전 등록 | 80,000원 | 100,000원 |
|---|
| 현장 등록 | 100,000원 | 120,000원 |
|---|
- 무료 제공되는 식사는 화요일 저녁 뱅킷뿐 입니다.
숙박안내
아래 문서(MS 워드 및 pdf 형식)를 사용하여 아래 할인된 가격으로 예약 할 수 있습니다.
- 예약 방법: docx, pdf
- 예약 기간: 2019. 8. 1. ~ 8. 16.
객실 할인가격 (1박)
1) 콘도 / 20평(4인) : 90,000원
2) 콘도 / 30평(5인) : 110,000원
3) 콘도 / 40평(6인) : 130,000원
4) 콘도 / 50평(7인) : 170,000원
5) 호텔 / 트윈 : 130,000원
식당 안내
- 레스토랑 ONDO (휘닉스 호텔 3층)
- 도미노 피자 (센터플라자 1층)
- 파리바게트 (센터플라자 2층)
- 손수헌 (센터플라자 1층)
오시는길
평창 휘닉스 파크 웹사이트를 참고하세요.
프로그래밍언어연구회
