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

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


 

일시 : 2005년 11월 19일(토) 오후 1시
장소 : 한국항공대학교 항공우주센타 206호
주관 : 한국정보과학회 프로그래밍언어연구회
        한국항공대학교 인터넷정보검색연구센터

안녕하십니까?

프로그래밍언어연구회에서는 2005년도 추계학술대회 및 정기 총회를 한국항공대학교에서 개최합니다. 초청강연과 7 편의 논문 발표가 마련되었습니다. 프로그래밍 언어 분야에서 활동하는 연구자와 학생들이 최근 동향과 결과를 토론하는 좋은 자리가 될 것입니다. 많은 참여 및 성원을 부탁드립니다.


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

 운영위원장 도경구


 * 프로그램 *

12:30 - 13:00  등록

13:00 - 14:20   세션 1 : 좌장 한환수(KAIST)

  SMT 멀티 프로세서 시스템을 위한 적응형 실행기법 - 정창희(ETRI), 이재진(서울대) [발표자료]
  간단한 자바프로그램을 위한 CTL 모델 체킹 - 이정림, 이태훈, 권기현(경기대)
  시스템 종속 그래프를 기반한 프로그램 자르개의 구현 -  노상훈, 신승철(동양대) [발표자료]
  자바프로그램의 보안 정보 흐름 분석 - 박숙영, 이상규(숙명여대)
14:20 - 14:30  휴식

14:30 - 15:20  초청강연 : 좌장 신승철(동양대)

 다단계 매크로 프로그래밍 해커를 위한 타입 시스템 - 이광근(서울대)
15:20 - 15:30 휴식

15:30 - 16:30  세션 2 : 좌장 이은영(동덕여대)

  fFSM 모델의 정형 분석 - 박사천, 권기현(경기대) [발표자료]
  C프로그램을 위한 효율적인 버퍼 오버런 분석기의 개발 - 김유일,전진성,한환수(KAIST) [발표자료]
  요약해석기 AiracV - 신재호,김재황,오학주,정영범,이광근(서울대)

정기총회 16:30 - 17:20  정기총회 - 사회:총무 신승철(동양대)

 

 *등록안내

 (1) 등록비 : 1만원(KISS 및 SIGPL 일반회원), 1만5천원(KISS와 SIGPL 중 하나만 일반회원), 2만원(비회원) -- 학생은 5000원 할인

 (2) 등록비에는 간식 및 음료, 논문집 포함

 (3) 영수증은 당일 등록과 동시에 등록 데스크에서 발급

 (4) 현장에서 회원 가입 가능 
 

 *준비위원회
 조직위원장 한국항공대학교 이긍해 교수
 학술위원장 서울대 이광근 교수
 

 * 문  의 

 총무 동양대 신승철 교수(shin at dyu.ac.kr, 016-820-4447)

* 장소안내 


* 교통편 안내 
ㆍ광역버스 (정문 하차)
   
광역버스 (RED) 9708 - 신촌, 수색전철역, 능곡역, 일산구청 경유
    
9706 - 서울역, 광화문, 연대앞, 수색전철역, 백석역, 이마트 경유
    
9713 - 광화문, 서울역, 수색전철역, 능곡역, 화정전철역 경유
ㆍ지하철
   
2호선 신촌전철역 1번 출구 현대백화점→ 중소기업은행 앞에서 광역버스(RED) 9706번,9708번
                                                                
지선버스(GREEN) 7726번,7727번,7728번  (30분 소요)
    
6호선 수색전철역 5번 출구광역버스(RED) 9706번,9708번,9713번
                                               
지선버스(GREEN) 7726번,7727번,7728번,7730번 (15분 소요)
    
3호선 화정전철역 1번 출구→ 롯데마트 맞은편에서 광역버스(RED) 9713번
                                              
지선버스(GREEN) 7728번
     : 항공대 동문으로 운행하는 순환형 지선버스(녹색) 7726번(15분 간격)이 항공우주센터에서 가깝습니다.
       (다른 버스는 정문으로 운행. 정문에서 도보 10분)

ㆍ승용차
  
- 강북강변로 이용
  
  가양대교를 밑을 지나자 마자 LG주유소(충전소)를 끼고 우회전 → 250m직진후 삼거리에서 좌회전 →
    큰 길따라 2km 직진후 3거리에서 좌회전(항공대 이정표 참조) → 한국항공대학교(동문)
  
- 올림픽 대로 이용
    가양대교 건너서 다리 끝까지 거의 온 후(우측 차선 이용) 일산방향 자유로 들어선 직후 LG 주유소 끼고
     우회전 후 위와 같이 진행


ㆍ기차
- 서울역에서 경의선 탑승하여 화전역에서 하차(1200원, 20분소요), 하차 후 도보로 10분.
  (서울역 출발시간 : 매시 50분에 출발)