정보과학회 프로그래밍언어연구회 (SIGPL)
| ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|---|
회원여러분 안녕하십니까?
한국정보과학회 프로그래밍언어연구회(SIGPL)는 2012년 정기 학술대회를 제주에서 개최할 예정입니다. 본 학술대회에서는 초청강연 1편과 프로그래밍언어 관련 연구에 대한 자유로운 토론과 공유를 위하여 현재 진행 중인 연구 (work-in-progress)에 대한 7편의 발표가 있을 예정입니다. 많은 참여와 관심을 부탁드립니다.
한국정보과학회 프로그래밍언어연구회 운영위원장 이 광 근
프로그램
| 11월 2일 (금) | ||
|---|---|---|
| 15:00-17:00 | 등록 | |
| 17:00-18:00 | 개회 및 행사안내 | 총무: 이욱세 (한양대) |
| 18:00-20:00 | 리셉션 | |
| 11월 3일 (토) | ||
| 09:00-11:30 | 포럼: 국내 프로그래밍 언어 및 프로그래밍 교육 발전 방향 I | |
| 11:30-13:00 | 점심 | |
| 13:00-14:00 | 초청 강연 | 이병철 (광주과기원) |
| 14:00-14:15 | 휴식 | |
| 14:15-15:30 | 연구발표 (세션 I) | 좌장: 류석영 (KAIST) |
| 문맥자유 문법의 유도관계를 이용한 부합 분석에서 분석값 표현 방식 | 김세원 (한양대) | |
| General Sparse Analysis Framework | 오학주, 허기홍, 박대준, 강지훈, 이광근 (서울대) | |
| Recursive Call Cycle 작게 나누기 | 유병준, 오학주, 허진영, 이광근 (서울대) | |
| 15:30-15:45 | 휴식 | |
| 15:45-17:30 | 연구발표 (세션 II) | 좌장: 이계식 (한경대) |
| Designing a theorem prover for separation logic (분리 논리 정리증명기 설계) | 박성우 (포항공대) | |
| 직관 양상 논리체계(IS5)를 위한 자동 증명기 개발 | 박형철, 박성우 (포항공대) | |
| SAFE: Scalable Analysis Framework for ECMAScript | 이홍기, 원순철, 진준호, 조준희, 류석영 (KAIST) | |
| 분석기 검증 | 강지훈, 이영석, 조성근, 최준원, 이광근 (서울대) | |
| 17:30-18:00 | 총회 | 사회: 이욱세 (한양대) |
| 18:00-20:00 | 저녁 | |
| 11월 4일 (일) | ||
| 09:00-12:00 | 자유시간 | |
| 12:00-14:00 | 점심 | |
| 14:00-18:00 | 포럼: 국내 프로그래밍 언어 및 프로그래밍 교육 발전방향 II | |
| 18:00-20:00 | 리셉션 | |
| 20:00-20:30 | 폐회 | 위원장: 이광근 교수 (서울대) |
등록안내
- 등록비
일반회원 학생회원 비회원 120,000원 80,000원 130,000원 - 등록 페이지를 통해 사전등록 권장. 현장 등록 가능.
- 식사는 11월 3일 (토) 저녁 식사비만 등록비 포함
- 숙박은 등록비에 포함되어 있지 않으며 예약은 유하나 선생님께 문의 (아래 참조)
준비위원회
- 조직위원장: 이광근 교수 (서울대)
- 학술위원장: 이욱세 교수 (한양대)
- 문의: 이욱세 교수 (한양대, oukseh@hanyang.ac.kr, 031-400-5234)
- 숙박문의: 유하나 (소프트웨어무결점연구센터, hana@ropas.snu.ac.kr, 02-880-1674)
참가 안내
- 항공편 상황이 좋지 못하니 참여를 원하시는 회원님은 항공편 예약을 서두르시기 바랍니다.
- 제주 샤인빌 리조트 장소 안내
- 주소: 제주 서귀포시 표선면 토산리 16
- 전화: 064-780-7000
- 일요일 오전에 희망하시는 회원에 한하여 제주 Trail Run Jeju 2012에 참여 가능합니다. 개별예약 필요.
프로그래밍언어연구회