정보과학회 프로그래밍언어연구회

SIGPL 2004 추계학술대회 및 정기총회


일시 : 2004년 11월 20일(토) 오후 1시 - 5시 20분

장소 : 고려대학교 본교 캠퍼스 아산 이학관 107호


안녕하십니까?

프로그래밍언어연구회에서는 추계학술대회 및 정기 총회를 고려대학교 본교 캠퍼스에서 개최합니다.
초청강연과 6 편의 논문 발표 및 1 편의 사례 발표가 준비되었습니다. 프로그래밍 언어 연구에 대한 최근 동향과 결과를 토론하는 좋은 자리가 될 것입니다. 많은 참여 및 성원을 부탁드립니다.

정보과학회 프로그래밍언어연구회

 운영위원장 도경구

 * 프로그램 *

12:30 - 1:00 등록

초청강연 : 좌장 안준선(항공대)

1:00 - 1:50 A polymorphic modal types for staged computation with open codes
                  and imperative operations, 김익순(서울대)

세션 1 : 좌장 이욱세(한양대)

2:00 - 2:20 문장 결합을 통한 소프트웨어 테스트 데이터 생성, 곽동규, 조용윤, 김영철, 유재우(숭실대)

2:20 - 2:40 컴퓨터 보안정책을 위한 객체-기반 시각 명세 언어 설계 및 구현, 강철범, 김상욱 (경북대)

2:40 - 3:00 술어 추상화 기반의 자바 프로그램 모델 체킹, 이태훈, 권기현(경기대)

3:00 - 3:10 휴식

세션 2 : 좌장 조장우(동아대)

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, 정영범(서울대)

정기총회 4:50 - 5:20 

 


 *등록안내

 (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)