정보과학회 프로그래밍언어연구회 (SIGPL)
|
일시: | 2011년 9월 24일 (토) 오후 1:00-6:00 |
장소: | 서울대학교 302동 (제2공학관) 107호 |
주관: | 한국정보과학회 프로그래밍언어연구회, 소프트웨어무결점연구센터 공동주관 |
URL: | http://sigpl.or.kr/conf/2011 |
안녕하십니까? 한국정보과학회 프로그래밍언어연구회(SIGPL)는 소프트웨어무결점연구센터과 공동으로 2011 프로그래밍언어연구회 학술대회를 서울대학교에서 개최합니다. 회원 여러분의 많은 참여와 관심을 부탁드립니다.
한국정보과학회 프로그래밍언어연구회 운영위원장 이 광 근
프로그램
- 프로그램
12:00 등록 13:00 개회 SIGPL 학술대회 개회사 위원장: 이광근 교수 (서울대) 13:10 초청 연설(Invited Talks) 좌장: 류석영 교수 (KAIST) 접근 제어 기반 NFC (near field communication) 응용프로그램 실행 환경 최광훈 교수 (연세대) 후위부자유 정규언어의 복합 연산 상태복잡도 한요섭 교수 (연세대) Evaluating Semantic Similarities between Functions via Semantic-based Analysis 정영범 박사 (서울대) 15:10 휴식 15:25 논문발표 (Work-in-Progress) 좌장: 박성우 교수 (포항공대) Coq Mechanization of Featherweight Fortress with Multiple Dispatch and Multiple Inheritance 김지응, 류석영 (KAIST) A Judgmental Subtyping System with Intersection Types and Model Types 서정봉, 박성우 (포항공대) 정적 분석기의 성능 향상 기법들 오학주, 이우석, 이광근 (서울대) 16:55 휴식 17:10 기업체 논문 발표 (Industry Session) 좌장: 한환수 교수 (성균관대) Program Understanding Features for Samsung SDK 강현구 박사, 최웅식 박사 (S-Core) 17:50 페회 SIGPL 학술대회 폐회사 위원장: 이광근 교수 (서울대)
등록안내
- 등록비 (등록 마감: 2011년 9월 24일)
학생 일반 등록비 50,000원 100,000원 - 영수증은 등록 데스크에서 발급 가능
- 등록방법: 등록 페이지를 통하여 등록
준비위원회
- 조직위원장: 이광근 교수 (서울대)
- 학술위원장: 한환수 교수 (성균관대)
- 문의: 총무 한환수 교수 (성균관대)
장소 안내
- 서울대학교 관악캠퍼스 302동 (제2공학관) 107호
- 주소: 서울시 관악구 관악로 1 서울대학교 302동 107호 (우) 151-742
- 지도: 아래 지도에서 우측상단 공과대학 표기 건물
(네이버지도)
- 대중교통
- 2호선 낙성대역 4번 출구에서 마을버스 02번 승차하여 신공학관 하차
노선도: 낙성대역→ 후문(20) → 관악사(19) → 관악사삼거리(15) → 노천강당(14-1) → 공동기기원(12) → 유전공학연구소(11) → 에너지자원연구소(7-1) → 신소재연구소(7) → 제2파워플랜트(8) → 신공학관(9) -
2호선 서울대입구역 3번 출구/서울대학교 정문에서 시내버스 5511/5513번 승차하여
신공학관 하차
노선도: 정문(1) → 법대입구(2) → 행정관입구(4) → 제3식당(5) → 공대입구(6) → 신소재연구소(7) → 제2파워플랜트(8) → 신공학관(9)
- 2호선 낙성대역 4번 출구에서 마을버스 02번 승차하여 신공학관 하차
- 그 외 자세한 교통편은 서울대학교 홈페이지에서 대학소개 > 방문 및 견학 > 관악캠퍼스 참조
프로그래밍언어연구회