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

  • 주제: 정형기법과 정확한 프로그래밍언어 및 소프트웨어 개발
  • 일시: 2009년 2월9일(월)~2월11일(수)
  • 장소: 한림대학교 퇴계관 강당 (16309호)

  • 한국정보과학회 프로그래밍언어 연구회(SIGPL)는 매년 여름과 겨울 방학기간에 대학원생과 엔지니어, 교수, 연구자들을 대상으로 계절학교를 개최하고 있습니다. 올해에는 정확한 프로그래밍언어 및 소프트웨어 개발의 핵심인 정형기법(Formal Methods)에 관련된 기초 강의와 최신 연구 강의를 마련하였습니다. 현재 국내 정형기법 분야의 연구를 주도하시는 교수님들의 강의가 예정되어 있습니다. 많은 관심과 참여를 부탁드립니다.

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

    프로그램

    2/9(월) 발표자 좌장
    1:00-1:30 등록
    1:30-2:45 업데이트 기록에 기반한 상향방식 포인터 분석 강현구 박사 (KAIST)
    3:00-4:15 정형기법 소개 최진영 교수 (고려대)
    4:30-5:30 초청 강연 김종헌 대표 (Peace of Mind)
    2/10(화) 발표자 좌장
    9:00-10:15 모델검증과 요구분석 최윤자 교수 (경북대)
    10:30-11:45 SAT & Bounded Model Checking 권기현 교수 (경기대)
    1:00-2:15 컴파일러 실습용 도구, 그 다양한 시도들: 가상 기계, Lego Mindstorm, Eclipse 이수현 교수 (창원대)
    3:00- 견학 프로그램
    6:00- 저녁 만찬
    2/11(수) 발표자 좌장
    9:00-10:15 증명보조기 Coq 소개 박성우 교수 (Postech)
    10:30-11:45 자동차 전장용 임베디드 소프트웨어 플랫폼 조정훈 (경북대)

    등록안내

    준비위원회

    장소안내: 한림대학교 오시는 길