정보과학회 프로그래밍언어연구회
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)