정보과학회 프로그래밍언어연구회 (SIGPL)
2007 겨울학교

  • 일시: 2007년 2월 8일(목)-10일(토)
  • 장소: 천안 병천면 국립중앙청소년수련원

  • 안녕하십니까? 한국정보과학회 프로그래밍언어연구회(SIGPL)는 매년 여름과 겨울 방학기간에 대학원생과 엔지니어, 교수, 연구자들을 대상으로 계절학교를 개최합니다. 계절학교는 프로그래밍언어 분야의 기초 이론에서 최신 응용 분야에 이르기까지 해당 전문가의 직관적이고 깊이있는 강좌를 마련하고 있습니다.

    금년 겨울학교는 천안 병천면에 있는 국립중앙청소년수련원에서 2월 8일부터 10일까지 열립니다. 금년에는 특별히 프로그래밍언어 이론 뿐만 아니라 건강에 관한 강좌를 마련하였습니다. 많은 관심과 참여를 부탁드립니다.


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

    프로그램

    2/8(목) 발표자 좌장
    13:00 등록
    15:00 개회식 개회사: 표창우 (홍익대) 창병모 (숙명여대)
    15:30 Logic in Programming Language
    정리증명기
    정주희 (경북대) 이욱세 (한양대)
    17:00 식생활과 건강 박유경 (경희대) 도경구 (한양대)
    18:00 저녁식사 및 활동
    2/9(금) 발표자 좌장
    09:00 Programming Language in Software Engineering 김문주 (KAIST) 우균 (부산대)
    10:30 Programming Language in Business
    Erlang: History, Concept and Application
    곽남영 사장 (WINIT) 조장우 (동아대)
    12:00 점심
    13:30 Programming Language in Security 이은영 (동덕여대) 조은선 (충남대)
    15:00 Programming Language in Embbeded Software 한환수 (KAIST) 변석우 (경성대)
    16:30 Current Issues in Programming Language 박성우 (포항공대) 창병모 (숙명여대)
    18:00 저녁식사 및 활동
    2/10(토) 발표자 좌장
    09:00 Future Leaders in Programming Languages
    석박사 학생 연구 방향 발표 및 토론
    이은영 (동덕여대)
    타입레벨 프로그래밍의 간소화 차리서 (고려대)
    Parallelizing OpenGL Applications 신건철 (KAIST)
    Type Reconstruction in Rank-2 Fragment of
    the Polymorphic Modal Lambda-Calculus
    임현승 (포항공대)
    A Practical String Analyzer by the Widening Approach 최태형 (한양대)
    11:45 폐회 및 사진촬영

    등록안내

    • 등록비
       학생일반회원비회원
      등록비150,000원200,000원250,000원
    • 등록비에는 숙식, 간식 및 음료, 기념품 등 포함
    • 영수증은 당일 등록과 동시에 등록 데스크에서 발급
    • 등록 방법: 2월 6일까지 등록페이지를 통하여 등록

    준비위원회

    • 준비위원장: 신승철 교수 (한국기술교육대)
    • 학술위원장: 최진영 교수 (고려대)
    • 문의: 총무 창병모 교수 (숙명여대)

    장소안내

    • 국립중앙청소년수련원 오시는길
         
    • 교통편
      • 기차: 천안역 하차후 독립기념관행 버스이용 목천읍사무소 하차(35분소요)
      • 고속버스: 천안 고속버스터미널 하차후 독립기념관행 버스이용 목천읍사무소 하차(40분소요)
      • KTX(고속철도): 1번버스로 천안역 하차후 독립기념관행 버스이용 목천읍사무소 하차 (35분 소요), 2번버스로 천안역 하차후 독립기념관행 버스이용 목천읍사무소 하차 (40분 소요)
      • 시외버스: 천안 시외버스터미널 하차후 고속버스터미널 앞에서 독립기념관행 버스이용 (40분 소요)
      • 일반버스: 320, 350, 352, 380, 381, 390, 400, 410, 411, 412 ,413 ,420, 421, 422, 423, 424, 430, 431, 432, 440, 441, 442, 450, 460, 470, 580, 481, 490번 버스이용 (목천읍 사무소앞 하차.)
      • 좌석버스: 401,402번 버스이용 - 목천읍 사무소앞 하차. (도보로 약 15분소요)
      • 자가차량: 경부고속도로 목천(독립기념관) 인터체인지에서 3 Km (3분) 천안에서 21번 국도 이용시 13km (20분) 중부고속도로 진천 인터체인지에서 30km (30분)

    프로그래밍언어연구회