|
정보과학회 프로그래밍언어연구회
SGIPL 2003 추계학술대회 및 정기총회
|
일시
: 2003년 11월 22일(토) 오전 10시
장소
: 동국대학교 원흥관(공대건물) 4층 E417호
|
|
안녕하십니까?
프로그래밍언어연구회에서는 추계학술대회 및 정기 총회를 동국대학교
서울캠퍼스에서 개최합니다.
초청강연, 발제발표, 그리고 엄선된 8편의
연구논문 발표를 통하여 최근 프로그래밍 언어와 관련된 최근 동향 및
연구 결과를 논의하는 자리가 될 예정입니다.
많은 참여 및 성원을 부탁드립니다.
정보과학회
프로그래밍언어연구회
운영위원장 오세만
|
|
|
10:00-10:20 등록
10:20-10:30 개회
|
오세만
교수(동국대학교 컴퓨터공학부)
|
|
10:30-11:20 초청강연
|
Software
Memory Consistency Model / 이재진 교수(서울대)
|
|
11:30-11:50
|
속성 분할을 이용한 릴레이 모델 체킹 / 이태훈·권기현(경기대)
|
|
11:50-12:10
|
비트연산을
이용한 향상된 연산 난독화 기법 / 박희완·최석우·한태숙(KAIST)
|
|
12:10-12:30
|
Topology
String을 이용한 단백질 구조 비교 방법 / 김진홍·안건태·이명준(울산대),
이수현(창원대)
|
|
13:30-13:50
|
다중
메모리 구조를 위한 효율적인 자료 할당 기법
(우수논문상) / 조정훈(하이닉스),
백윤흥·최준식(서울대)
|
|
13:50-14:10
|
Sensor
Network Application 개발을 위한 NesC / 이민구·강정훈·유준재(전자부품연구원)
|
|
14:10-14:30
|
마크업 언어의 대수적 분석에 의한 분할과 변환/곽동규·최종명·유재우(숭실대)
|
|
14:30-14:40
|
tea break
|
|
14:40-15:00
|
집합
제한식을 이용한 프로시저-내 정보흐름 안전성 분석 / 임흥태·도경구(한양대),
신승철(동양대)
|
|
15:00-15:20
|
정보
흐름에 대한 SSA기반 분석/ 최성권·신승철(동양대),
도경구(한양대)
|
|
15:20-15:50 발제
|
우리분야의
한글용어에 대해서 / 이광근 교수(서울대)
|
|
16:00-17:00 정기총회
|
|
|
|
등록안내
(1)
등록비 : 1만원(일반), 5천원(학생)
(2)
등록비에는 중식, 음료, 프로시딩 포함
(3)
영수증은 당일 등록과 동시에 등록 데스크에서 발급
|
|
문 의
한양대학교
도경구 교수 ( ,
031-400-5667, 018-279-5667)
|
|
