프로그래밍언어연구회 2004년도 겨울 학교
LiComR Winter School 2004

[프로그램]

  * 2004년 2월 11일(수)
    <Session 1> 좌장 : 도경구
        15:00-17:00  [Invited Lecture] Martin-Lof Type Theory
                            Bengt Nordstrom(Chalmers University of Technology, Sweden;중앙대) [자료]
    <Session 2> 좌장 : 신승철
        19:00-21:00  JVM and Bytecode Verification - 창병모(숙명여대)  [자료]

  * 2004년 2월 12일(목)
   <Session 1> 좌장 : 백윤홍
       10:00-12:00 Typeful Staged Computations - 김익순(서울대)  [자료]
   <Session 2> 좌장 : 안준선
       14:00-16:00  Quantum Programming - 이광근(서울대)  [자료]
       16:00-18:00  최광무(KAIST)  [자료]
   <간친회>
       19:30-

 * 2004년 2월 13일(금)
   <Session 1> 좌장 : 정주희
       09:30-11:30  Program Analyses for Memory - 이욱세(서울대) [자료]