|
한국정보과학회 프로그래밍언어연구회 겨울학교
(SIGPL Winter School 2017)
http://sigpl.or.kr/school/2017w/
|
|
▣ 일시: 2017년 2월 8일(수) ~ 2017년 2월 10일(금)
▣ 장소: 한국과학기술원(KAIST) 정보전자공학동(E3-1) 1층 제1공동강의실(1501호)
▣ 주최: 한국정보과학회 프로그래밍언어연구회
▣ 주관: KAIST SW 중심 대학 |
|
▣ 초대의 글 |
|
프로그래밍언어 연구회 회원, 그리고 프로그래밍언어 분야에 관심이 많으신 분들께,
안녕하십니까? 프로그래밍언어 연구회는 매년 여름과 겨울 방학 기간에 계절학교를 개최하여, 프로그래밍언어 분야의 근본적인 주제들로부터 최신 연구 주제들에 대한 강의를 해왔습니다. 2017년 겨울학교에서는 정형 증명 도구 Coq를 이용하여 논리학의 정리 증명 이론을 프로그래밍하고 실습하는 강의를 준비하였습니다. 프로그래밍언어, 정형 기법, 시스템의 검증과 안전성, 그리고 전산학의 기초 이론 분야에 유익한 기회가 될 수 있을 것입니다. 이번 겨울학교에 많은 참석과 성원을 부탁드립니다.
프로그래밍언어연구회 운영위원장 조장우 드림
조직위원장 류석영(KAIST)
프로그램위원장 이계식(한경대) |
|
▣ 프로그램 |
|
2월 8일 (수요일) |
|
13:00 ~ 14:00 |
등록 |
|
|
14:00 ~ 15:00 |
Coq 강의 (1) |
허충길 (서울대학교) |
|
15:00 ~ 16:30 |
Coq 실습 (1) |
|
|
16:30 ~ 17:30 |
Coq 강의 (2) |
허충길 (서울대학교) |
|
17:30 ~ 18:00 |
휴식 |
|
|
18:00 ~ 19:00 |
저녁 식사 |
|
|
19:00 ~ 21:00 |
Coq 실습 (2) |
|
|
2월 9일 (목요일) |
|
09:30 ~ 10:30 |
Logic 강의 (1) |
Martin Ziegler (KAIST) |
|
10:30 ~ 10:45 |
휴식 |
|
|
10:45 ~ 11:45 |
Logic 강의 (2) |
Martin Ziegler (KAIST) |
|
12:30 ~ 13:30 |
점심 식사 |
|
|
13:30 ~ 14:30 |
Coq 강의 (3) |
허충길 (서울대학교) |
|
14:30 ~ 16:00 |
Coq 실습 (3) |
|
|
16:00 ~ 17:00 |
Coq 강의 (4) |
허충길 (서울대학교) |
|
17:00 ~ 18:00 |
Coq 실습 (4) |
|
|
18:00 ~ 21:00 |
뱅킷 |
|
|
2월 10일 (금요일) |
|
10:00 ~ 11:00 |
Coq 강의 (5) |
허충길 (서울대학교) |
|
11:00 ~ 12:00 |
Coq 실습 (5) |
|
|
12:00 ~ |
사진촬영 |
| |
|
* Coq 강의와 실습의 구체적인 일정은 진행 상황에 따라 변경 가능합니다. Coq 실습 중심으로 진행하므로,
개인 랩탑을 꼭 지참하셔야 합니다. |
|
▣ 등록 |
|
사전등록마감 : ~ 2017년 2월 5일(일) 까지 |
▣ 등록비
|
구분 |
학생 |
일반 |
|
사전등록 |
100,000원 |
150,000원 |
|
현장등록 |
120,000원 |
170,000원 |
▣ 등록사이트 : http://www.kiise.or.kr/evt/2017/sigpl2017w/pay/payform.asp
▣ 문의처
- 등록관련: 한국정보과학회 정가영 사원, E-mail: gyj...@kiise.or.kr, Tel. 02-588-4001
- 행사관련: 조직위원장 KAIST 류석영 교수, E-mail: sry...@kaist.ac.kr, Tel. 042-350-3538 |
|
▣ 숙박안내 |
|
KAIST 주변 숙박 안내입니다. 아래에 안내해 드린 가격은 혹시 변동이 있을수 있으니 확인하시고 예약하시기 바랍니다.
|
|
▣ |
대덕특구 게스트하우스 (042-865-2500) |
|
갑천변 TJB 대전방송국 옆에 위치 |
|
1인실: 40,000원, 2인실: 55,000원, 4인실: 75,000원 |
|
▣ |
호텔B스테이션 (042-719-8000) 홈페이지 |
|
유성 계룡스파텔 근처 위치 |
|
2인1실: 77,000원 |
|
▣ |
토요코인 (042-545-1045) 홈페이지 |
|
지하철 정부청사역 4번 출구에서 도보10분 | | |
