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)
                          - 양홍석 박사 (서울대)