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

  • 일시: 2010년 2월 19일(금)
  • 장소: 성신여자대학교 성신관 710호

  • 한국정보과학회 프로그래밍언어 연구회(SIGPL)는 매년 여름과 겨울 방학기간에 대학원생과 엔지니어, 교수, 연구자들을 대상으로 계절학교를 개최하고 있습니다. 이번 겨울학교에는 병렬프로그래밍, 타입 이론, 함수형 프로그래밍, 소프트웨어 저작권과 관련된 강의가 준비되어 있습니다. 많은 관심과 참여를 부탁드립니다.

    한국정보과학회 프로그래밍언어연구회 운영위원장 변석우

    프로그램 일정

    09:30-09:45 등록
    오전 세션
    09:45-10:45   직렬로 생각하는 버릇 깨기 (Breaking Sequential Habits of Thought) 1 류석영 (KAIST)
    11:00-12:00 직렬로 생각하는 버릇 깨기 (Breaking Sequential Habits of Thought) 2 류석영 (KAIST)
    오후 세션
    13:30-14:45 Programming with dependent types 이계식 (서울대)
    15:00-16:15 모나드와 모나드 트랜스포머를 이용하는 프로그래밍 변석우 (경성대)
    16:30-17:45 소프트웨어 저작권 보호를 위한 코드 도용 탐지 방법 임현일 (KAIST)

    등록안내

    준비위원회

    장소안내

    성신여자대학교 오시는 길

    학교내부에서 행사장소까지 오시는 길