제목	프로그래밍언어연구회 2004년도 겨울학교(LiComR Winter School 2004 )
개최일		등록일	2004.02.10
홈페이지	바로가기 ☞
프로그래밍언어연구회 2004년도 겨울학교 LiComR Winter School 2004 2004년 2월 11일(수) - 13일(금) 충남 태안 만리포 해양 연수원 안녕하십니까? 프로그래밍언어연구회에서는 2003년부터 Logic in Computing Research란 주제를 가지고 매년 여름과 겨울에 교수, 연구원, 대학원생 등 연구자를 대상으로 계절학교를 개최하고 있습니다. LiComR 계절학교는 프로그래밍언어뿐만 아니라 전산학의 토대가 되는 고전 논리와 비고전 논리로부터 프로그래밍언어 연구의 기초 이론과 최신 동향에 이르는 다양한 튜토리얼 강좌로 이루어집니다. 프로그래밍언어 연구의 활성화와 저변 확대를 위해 마련하였으니 많은 참여를 부탁드립니다. 정보과학회 프로그래밍언어연구회 운영위원장 도경구 2004년 2월 11일(수) 14:00-15:00 등록 15:00-17:00 Simply Typed Lambda Calculus and Cartesian Closed Category - 최진영(고려대) 19:00-21:00 [Invited Lecture] Martin-Lof Type Theory - Bengt Nordstrom(Chalmers University of Technology, Sweden, 중앙대) 2004년 2월 12일(목) 10:00-12:00 Typeful Staged Computations - 김익순(서울대) 14:00-16:00 Quantum Programming (양자 프로그래밍) - 이광근(서울대) 16:00-18:00 JVM and Bytecode Verification - 창병모(숙명여대) 2004년 2월 13일(금) 09:30-11:30 Program Analyses for Memory - 이욱세(서울대)