▷초대의말씀    ▷프로그램    ▷찾아오는길    ▷조직위원 및 문의    ▷등록자

 

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


프로그래밍언어연구회