프로그래밍언어연구회 2003년도 여름 워크숍 [내려받기]
LiComR
Summer 2003
2003년 8월
18일(월) - 21일(목)
전남 순천
송광사(http://www.songgwangsa.org/)
주최
: 한국정보과학회
주관 : 한국정보과학회 프로그래밍언어연구회
후원 : 아이티플러스(주)
[초대의
글]
안녕하십니까? 프로그래밍언어연구회에서는
Logic in Computing Research란 주제로 여름워크숍을 개최합니다. 프로그래밍
언어뿐만 아니라 전산학 전반에 거쳐서 활발하게 응용되고 있는 논리를
중심으로 최근 연구 동향을 살펴보고 서로 의견을 교환하며 공부하는
자리로 마련하였습니다. 많은 참여를 부탁드립니다.
정보과학회
프로그래밍언어연구회 운영위원장 오세만
|