한국정보과학회 프로그래밍언어연구회 여름학교
(SIGPL Summer School 2025)

일시: 2025년 8월 20일 (수) ~ 2025년 8월 22일 (금) 장소: 서강대학교 김대건관(K관) 302호 주최: 한국정보과학회 프로그래밍언어연구회 후원: NSHC

초대의 글

한국정보과학회 프로그래밍언어연구회에서 주최하는 2025 여름학교에 여러분을 초대합니다. 매년 이어져온 전통처럼, 이번 여름학교 역시 최신 연구 동향 소개와 참가자 간의 깊이 있는 교류의 장을 마련하였습니다. 특히 올해는 국내 주요 연구실에서 진행 중인 다양한 연구들을 직접 소개받을 수 있는 기회와 함께, PL 분야의 유망한 신진 연구자들을 초청하여 그분들의 연구 여정과 비전을 공유받는 자리를 준비했습니다. 또한, AI가 바꾸는 프로그래밍의 미래 지형이라는 주제로 자유로운 난상토론 시간을 마련하여, AI기술의 빠른 변화가 프로그래밍 언어분야의 연구 및 교육에 미치는 영향에 대해 다양한 시각을 나눌 수 있는 기회를 제공합니다. 여러분의 많은 관심과 참여 바랍니다.

한국정보과학회 프로그래밍언어연구회
운영위원장 이우석 (한양대)

2025 프로그래밍언어연구회 여름학교
조직위원장 최재승 (서강대)
프로그램위원장 박지혁 (고려대)

프로그램

8월 20일 (수요일) 12:00 ~ 13:00 등록 13:00 ~ 13:15 개회사 최재승 (서강대) 13:15 ~ 14:00 고려대 소프트웨어 분석 연구 소개 오학주 (고려대) 14:00 ~ 14:10 휴식 14:10 ~ 15:10 (초청강연 1) "연속적 계산"의 기초 다지기 이원열 (POSTECH) 15:10 ~ 15:20 휴식 15:20 ~ 16:30 프로그래밍 언어 의미의 기계화 류석영 (KAIST) 16:30 ~ 18:00 난상 토론: AI가 바꾸는 프로그래밍의 미래 지형 박지혁 (고려대) 18:00 ~ 19:30 저녁 식사 (거구장) 8월 21일 (목요일) 09:30 ~ 10:30 (초청강연 2) 컨텍스트 터널링: 고정관념에 도전하기 전민석 (DGIST) 10:30 ~ 10:45 휴식 10:45 ~ 11:30 정적 분석의 효능 허기홍 (KAIST) 11:30 ~ 13:00 점심 식사 (거구장) 13:00 ~ 13:20 (후원기업발표) NSHC 소개 NSHC 13:20 ~ 14:00 Deductive model checking: 모델검증을 통한 연역검증 배경민 (POSTECH) 14:00 ~ 14:15 휴식 14:15 ~ 15:00 안전한 자바스크립트 언어 생태계 확보 기술 박지혁 (고려대) 15:00 ~ 15:15 휴식 15:15 ~ 16:15 서울대 프로그래밍연구실 이광근 (서울대) 16:15 ~ 16:30 휴식 16:30 ~ 18:00 포스터 (곤자가 컨벤션) 대학원생 18:00 ~ 18:10 사진 촬영 18:10 ~ 19:30 저녁 만찬 (곤자가 컨벤션) 8월 22일 (금요일) 09:30 ~ 10:30 (초청강연 3) 스마트 컨트랙트 취약점 탐지를 위한 기호실행 탐색공간 축소 기법 소순범 (GIST) 10:30 ~ 10:45 휴식 10:45 ~ 11:30 PL과 LLM의 상호보완적 결합을 통한 프로그램 합성 및 분석 이우석 (한양대) 11:30 ~ 11:45 폐회 및 포스터 시상 박지혁 (고려대)

등록

• 사전등록 마감: 2025년 8월 11일 (월요일)
• 등록 방법: 등록 페이지를 통해 신청 가능합니다.

  	학생	일반
  사전 등록	150,000원	250,000원
  현장 등록	200,000원	350,000원
  특별 할인	10,000원	10,000원
  명예회원		무료

• 특별 할인
  • 최근 R&D 예산 삭감으로 많은 연구실이 연구비가 부족한 상황입니다.
    올해에도 "특별 할인"을 통해 연구비가 부족한 경우에 지원하고자 합니다.
    지원을 위해서는 지도교수 추천서가 필요합니다.
  • 등록 페이지에서 동일하게 정보 작성하고 아래의 사항을 적용하여 등록합니다.
    • 참가신청 결제 - 결제방법: 계좌이체 선택
    • 입금 메모에 "특별할인" 기재
  • 구글폼을 통해 지원해 주시면 승인 시 메일에 결제 링크가 포함되어 전달됩니다.
  • 지원마감: 2025년 8월 8일(금)
• 무료로 제공되는 식사는 수요일 저녁, 목요일 점심/저녁입니다.

포스터 발표 신청

• 포스터 신청 구글폼을 통해 8월 11일(월요일)까지 신청해 주시기 바랍니다.
• 올해 여름학교는 별도의 번개발표 없이 포스터 발표만 진행됩니다. 그 대신 연구실 별로 진행하는 발표를 신청 받고 있으므로, 해당 세션을 통해 학생들의 다양한 발표를 들어볼 수 있기를 기대합니다.
• 작년과 마찬가지로, 포스터 세션에서 쉬운 용어로 좋은 발표를 진행한 학생에게 세종 발표상을 수여합니다.

숙박안내

• 시내 호텔 등에 개별적으로 예약해주시기 바랍니다.

근처 역	호텔	거리
공덕역	롯데시티호텔 마포	대중교통 10분
신촌역	브라운스위트 신촌센트럴	자동차 5분
이대역	에이치에비뉴호텔 이대점	자동차 8분

오시는 길

• 행사 장소: 서강대학교 김대건관(K관) 302호

후원사 소개

• NSHC: 2004년 해커들의 모임으로 시작된 NSHC는 2008년 법인 설립 후 아시아 최고의 정보보안기업이 되기 위한 목표를 가지고 보안 컨설팅, 모바일 보안 솔루션 개발, 악성코드 분석 및 취약점 정보 제공(ISAC) 분야에 집중하고 있는 정보보안 벤처기업입니다. 국내는 물론 싱가포르와 일본 등의 해외 지사를 통해 세계적인 IT 보안 전문 기업으로의 성장을 위해 노력하고 있습니다. 현재 모바일 보안 솔루션 시장에서는 점유율 1위를 차지하며, 국내 약 180개의 스마트폰 금융 애플리케이션에 제품을 공급하고 있으며, 금융보안 특화 정보보안 컨설팅 서비스도 제공하고 있습니다. 2024년 기준으로 97명의 임직원을 보유하고 연매출 126억을 달성하고 있으며, 특히 2017년 LLVM 4.0에 기반한 난독화 솔루션 개발을 시작하여, 최신 버전의 LLVM까지 Swift 지원을 포함한 안정적인 업데이트와 지원을 성공적으로 지속하고 있습니다. 2022년에는 LLVM 연구소를 설립하여 그동안 축적한 LLVM 기반 보안 솔루션을 다양한 분야에 적용하는 동시에, 정형검증과 웹어셈블리를 포함한 추가 연구개발에도 집중하고 있습니다.

후원 모집

2025 SIGPL 여름학교 후원 모집은 마감되었습니다, 감사합니다.

---

프로그래밍언어연구회