|
2005년도 프로그래밍언어연구회 겨울학교
SIGPL
Winter
School 2005
[프로그램]
: [전체사진]
2월 17일 (목요일)
13:00-14:00 등록
14:00-14:10
개회 및 겨울학교 소개, 도경구 교수(한양대)
<<좌장 : 신승철(동양대)>>
14:20-16:10 "An Axiomatic Basis for Computer Programming", C.A.R.Hoare(1969)
- 우균 교수(부산대)
[사진]
16:20-18:10 "A Discipline of Programming", Edsger W. Dijkstra (Part I)(1976)
- 김도형 교수(성신여대)
[사진]
18:30-19:30 패널
토의 "프로그램언어 분야의
고전들"
-
토론자
:
이광근 교수(서울대), 창병모 교수(숙명여대), 하상호(순천향대), 변석우 교수(경성대),
신승철 교수(동양대), 조장우 교수(동아대), 정주희 교수(경북대), 안준선
교수(항공대)
2월 18일 (금요일)
<<좌장 : 조장우(동아대)>>
09:30-11:20 "A Discipline of Programming", Edsger W. Dijkstra (Part II)(1976)
- 김도형 교수(성신여대)
<<좌장
: 정주희(경북대)>>
13:30-15:20
"Recursive Functions of Symbolic Expressions and Their Computation by Machine
: Part I", John McCarthy (1960) - 김익순 박사(서울대)
[사진]
15:30-17:20 "A Formulation of the Simple Theory of Types", Alonzo Church(1940)
- 이욱세 교수 (한양대)
[사진]
2월 19일 (토요일)
<<좌장
: 안준선(항공대)>>
09:30-11:20 "Towards a Theory of Type Structure", John Reynolds(1974)
- 양홍석 박사 (서울대)
|
