■ 분야

- 넷트웍 프로그래밍 (network/mobile programming)
- 데이타베이스 프로그래밍 (database query system)
- 전화시스템 프로그래밍 (telephony system programming)
- 컴파일러 디자인 (conventional/innovative compiler technologies)
- 타입 프로그래밍 (higher-order & typed programming)
- 프로그래밍 논리 (programming/computational logics)
- 프로그래밍 도구및 환경 (programming environments/libraries)
- 프로그램의 엄밀한 작성 및 검증 (program specification and proof)
 

　■ 제출 기한

- 제목 및 Abstract: 2월 10일 (수) 까지
- 완성 논문: 2월 12일 (금) 까지

　■ 제 출 처

- Email :

　■ 파일 포맷

- postscript, pdf, ms word, and hwp