|
|
|
정보과학회 프로그래밍언어연구회
SIGPL
2004 추계학술대회 및 정기총회
일시
: 2004년 11월 20일(토) 오후 1시
- 5시 20분
장소
: 고려대학교 본교 캠퍼스 아산
이학관 107호
안녕하십니까?
프로그래밍언어연구회에서는
추계학술대회 및 정기 총회를 고려대학교 본교 캠퍼스에서 개최합니다.
초청강연과 6 편의 논문 발표 및 1 편의 사례 발표가 준비되었습니다.
프로그래밍 언어 연구에 대한 최근 동향과 결과를 토론하는 좋은 자리가 될 것입니다. 많은 참여 및 성원을 부탁드립니다.
정보과학회
프로그래밍언어연구회
운영위원장
도경구
*
프로그램 *
|
|
1:00
- 1:50 A polymorphic modal types for staged computation with open codes
and
imperative operations, 김익순(서울대)
|
|
2:00
- 2:20 문장
결합을 통한 소프트웨어 테스트 데이터 생성, 곽동규, 조용윤, 김영철, 유재우(숭실대)
2:20
- 2:40 컴퓨터 보안정책을 위한 객체-기반 시각 명세 언어 설계 및 구현, 강철범, 김상욱 (경북대)
2:40
- 3:00 술어
추상화 기반의 자바 프로그램 모델 체킹, 이태훈, 권기현(경기대)
3:00
- 3:10 휴식
|
|
3:10
- 3:30 동적 바인딩을 이용한 공유 데이터 구조, 배경호, 김태완, 장천현(건국대)
3:30
- 3:50 고급언어 기반의 대규모 네트워크 보안 관리 시스템 개발, 김장하, 이강희, 김상욱(경북대)
3:50
- 4:10 Petri Net을
사용한 임베디드 시스템의 스케줄링, 이태용(ETRI)
4:20
- 4:50 프로그램 분석 기술 사례 발표
: Airac, static analyzer of automatic verification of
array index ranges in C programs, 정영범(서울대)
|
|
*등록안내
(1)
등록비 : 1만원(KISS 및 SIGPL 일반회원), 1만5천원(KISS와 SIGPL 중 하나만 일반회원), 2만원(비회원) -- 학생은 해당 금액의 50%
(2)
등록비에는 간식 및 음료, 논문집 포함
(3)
영수증은 당일 등록과 동시에 등록 데스크에서 발급
(4)
현장에서 회원 가입 가능
*준비위원회
조직위원장
고려대 최진영 교수(choi at formal.korea.ac.kr)
학술위원장
서울대 이재진 교수(jlee at cse.snu.ac.kr)
*
문 의
동양대
신승철 교수(shin at dyu.ac.kr, 016-820-4447) |
|
|
