제목	프로그래밍언어연구회 겨울학교 (사전등록 : 2009년 2월 7일까지)
개최일		등록일	2009.01.23
홈페이지	바로가기 ☞
한국정보과학회 프로그래밍언어 연구회(SIGPL)는 매년 여름과 겨울 방학기간에 대학원생과 엔지니어, 교수, 연구자들을 대상으로 계절학교를 개최하고 있습니다. 올해에는 정확한 프로그래밍언어 및 소프트웨어 개발의 핵심인 정형기법(Formal Methods)에 관련된 기초 강의와 최신 연구 강의를 마련하였습니다. 현재 국내 정형기법 분야의 연구를 주도하시는 교수님들의 강의가 예정되어 있습니다. 많은 관심과 참여를 부탁드립니다. - 주제: 정형기법과 정확한 프로그래밍언어 및 소프트웨어 개발 - 일시: 2009년 2월9일(월)~2월11일(수) - 장소: 한림대학교 퇴계관 강당 (16309호) - 문의 : 한림대학교 방기석 교수(mysaver@hallym.ac.kr) 한림대학교 방기석 교수(mysaver@hallym.ac.kr) - 사전등록 : 1/21~2/7

이전글	2009 한국 소프트웨어공학 학술대회 (일시 : 2009년 2월 9일 ~ 1...
다음글	제3회 패턴인식 겨울 학교 (일시 : 2009년 2월 11일 ~ 12일 )

사이트맵

연구문헌