|
프로그래밍언어연구회 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 - 이욱세(서울대) [자료]
|