한국정보과학회 프로그래밍언어연구회 겨울학교
(SIGPL Winter School 2017)

  • 일시: 2017년 2월8일(수) ~ 2017년 2월10일(금)
  • 장소: KAIST 정보전자공학동(E3-1) 1층 제1공동강의실 (1501호)
  • 주최: 한국정보과학회 프로그래밍언어연구회
  • 주관: KAIST SW 중심 대학

초대의 글

프로그래밍언어 연구회 회원, 그리고 프로그래밍언어 분야에 관심이 많으신 분들께, 안녕하십니까? 프로그래밍언어 연구회는 매년 여름과 겨울 방학 기간에 계절학교를 개최하여, 프로그래밍언어 분야의 근본적인 주제들로부터 최신 연구 주제들에 대한 강의를 해왔습니다. 2017년 겨울학교에서는 정형 증명 도구 Coq를 이용하여 논리학의 정리 증명 이론을 프로그래밍하고 실습하는 강의를 준비하였습니다. 프로그래밍언어, 정형 기법, 시스템의 검증과 안전성, 그리고 전산학의 기초 이론 분야에 유익한 기회가 될 수 있을 것입니다. 이번 겨울학교에 많은 참석과 성원을 부탁드립니다.

프로그래밍언어연구회 운영위원장 조장우 드림


조직위원장 류석영(KAIST)
프로그램위원장 이계식(한경대)

프로그램

* Coq 강의와 실습의 구체적인 일정은 진행 상황에 따라 변경 가능합니다. Coq 실습 중심으로 진행하므로, 개인 랩탑을 꼭 지참하셔야 합니다.

등록

숙박안내

오시는길