|
프로그래밍언어연구회 2004년도 겨울 학교
LiComR Winter
School 2004
2004년 2월
11일(수) - 13일(금)
충남
태안 만리포 해양 연수원
주최
: 한국정보과학회
주관 :
한국정보과학회 프로그래밍언어연구회
후원
:아이티플러스(주)
[초대의
글]
안녕하십니까? 프로그래밍언어연구회에서는 2003년부터 Logic in Computing Research란 주제를 가지고 매년 여름과 겨울에 교수, 연구원, 대학원생 등 연구자를 대상으로 계절 학교를 개최하고 있습니다. LiComR 계절 학교는 프로그래밍 언어뿐만 아니라 전산학의 토대가 되는 고전 논리와 비고전 논리로부터 프로그래밍언어 연구의 기초 이론과 최신 동향에 이르는 다양한 튜토리얼 강좌로 이루어집니다. 프로그래밍언어 연구의 활성화와 저변 확대를 위해 마련하였으니 많은 참여를 부탁드립니다.
정보과학회 프로그래밍언어연구회 운영위원장 도경구
|