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

  • 일시: 2012년 2월 2일(목) ~ 2012년 2월 4일(토)
  • 장소: 경상북도 영주시 무섬마을

  • 한국정보과학회 프로그래밍언어연구회(SIGPL)는 매년 여름과 겨울 방학기간에 대학원생과 엔지니어, 교수, 연구자들을 대상으로 계절학교를 개최하고 있습니다. 이번 겨울학교에는 증명이론, 프로그램분석, 파싱, 프로그래밍언어에 관한 다양한 강의가 준비되어 있습니다. 많은 관심과 참여를 부탁드립니다.

    한국정보과학회 프로그래밍언어연구회 운영위원장 이광근

    무섬마을

    이번 겨울학교는 500년 역사와 전통을 간직한 경상북도의 대표적 민속마을인 무섬마을에서 개최합니다. 경상북도 영주시 문수면에 위치한 무섬마을은 마을 전체를 낙동강이 휘감아 흐르고 있는 풍경이 강 건너편에서 바라보면 마치 물 위에 떠 있는 섬처럼 보인다고 하여 ‘무섬’이라 불린다고 합니다. 40 여 가구가 오순도순 지붕을 맞대고 있는 무섬마을은 수 백 년의 역사와 전통이 오롯이 남아 있으며, 특히 경북 북부지역의 전형적인 양반집 구조인 ‘ㅁ’ 자형 전통가옥이 늘어서 있는 모습이 장관입니다. 또한 마을 내 9 개 가옥이 경북 문화재 자료 및 경북 민속 자료로 지정되어 있으며, 역사가 100 년이 넘는 가옥도 16 채나 있어 조상들의 자취와 숨결을 그대로 느낄 수 있습니다. 이처럼 마을 내 고택과 정자들이 옛 모습 그대로 보존되어있기 때문에 고풍스러운 옛 향취를 음미할 수 있습니다. 더 자세한 정보는 홈페이지를 참조하시기 바랍니다.

    프로그램

    2월 2일 (목)
    15:30-15:50 등록
    15:50-16:00 개교식
    16:00-18:00 증명이론 소개 (1) 박성우 (포항공대)
    18:00-19:00 저녁식사
    19:00-20:00 프로그램 분석의 비용절감 기술 (1) 오학주 (서울대)
    20:00-21:30 두괄식 글쓰기 이광근 (서울대)
    2월 3일 (금)
    08:00-09:00 아침식사
    09:00-12:00 증명이론 소개 (2) 박성우 (포항공대)
    12:00-13:00 점심식사
    13:00-14:00 무섬마을 해설
    14:00-16:00 프로그램 분석의 비용절감 기술 (2) 오학주 (서울대)
    16:00-19:00 언어, 문법, 파서, 그리고 고쳐쓰기 최광무 (KAIST)
    19:00-21:00 저녁식사
    2월 4일 (토)
    08:00-09:00 아침식사
    09:00-12:00 풀그림언어 설계의 확장 원칙 도경구 (한양대)
    12:00-13:00 점심식사
    모든 강의는 1시간 단위로 50분 강의, 10분 휴식으로 이루어집니다.

    등록

    준비위원회

    장소안내

    참가안내