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

일시: 2026년 8월 26일 (수) ~ 2026년 8월 28일 (금) 장소: 공주 한국문화연수원 (홈페이지) 주최: 한국정보과학회 프로그래밍언어연구회 후원: FuriosaAI, 리벨리온, 하이퍼엑셀, TenX, Upstage

초대의 글

한국정보과학회 프로그래밍언어연구회에서 주최하는 2026 여름학교로 여러분을 초대합니다. 이번 여름학교에서는 국내외 학계 및 산업계의 전문가분들을 모시고, 'AI를 활용한 프로그래밍 언어(PL) 연구'와 'AI 시대에 PL 연구가 나아갈 방향'에 대해 심도 있게 논의하는 자리를 마련했습니다. 또한 예년과 마찬가지로 국내 주요 연구실의 최신 연구를 직접 살펴볼 수 있는 포스터 세션을 비롯해, PL 분야 교수님들의 진솔한 경험담과 조언을 들을 수 있는 특별한 시간도 준비되어 있습니다. 여러분의 많은 관심과 참여를 부탁드립니다.

한국정보과학회 프로그래밍언어연구회
운영위원장 이성호 (충남대학교)

2026 프로그래밍언어연구회 여름학교
조직위원장 김지응 (연세대학교)
프로그램위원장 고상기 (서울시립대학교)

프로그램

• 8월 26일 (수요일) 12:00 ~ 14:00 도착 개별 14:00 ~ 14:30 등록 연수원 로비 14:30 ~ 14:40 개회식 이성호 교수 (SIGPL 위원장) 김지응 교수 (여름학교 운영위원장) 14:50 ~ 15:50 초청강연 I 허충길 교수 (서울대학교) AI와 프로그램 검증의 만남 16:00 ~ 17:00 초청강연 II 허기홍 교수 (KAIST) 논리와 직관이 융합된 검증형 AI로 만들어 갈 미래 17:00 ~ 18:00 번개 발표 세션 번개 발표 (1인 1분) 18:00 ~ 20:00 환영 만찬 - 20:00 ~ 22:00 포스터 세션 포스터 발표 및 우수 포스터 심사 8월 27일 (목요일) 07:30 ~ 08:30 조식 - 09:00 ~ 09:55 초청강연 III 김윤승 교수 (DGIST) 컴퓨터 증명으로 AI의 실속만 챙기기 — 더 빠르고, 더 안전한 실시간 시스템을 향해 10:10 ~ 11:05 초청강연 IV 홍신 교수 (충북대학교) 11:15 ~ 12:00 초청강연 V 정대룡 교수 (서울대학교) 계층 간 명세 불일치로 인한 보안 결함: 커널-하드웨어 경계의 두 가지 사례 연구 12:00 ~ 13:00 중식 - 13:00 ~ 16:00 마곡사 문화 투어 백제권 천년고찰 (도보 이동) 16:00 ~ 18:00 후원 기업 발표 - 18:00 ~ 20:00 만찬 - 20:00 ~ 22:00 단체 프로그램 또는 자유 시간 한국문화연수원 자체 프로그램 (다도 · 명상 등) 8월 28일 (금요일) 07:30 ~ 08:30 조식 · 퇴실 준비 - 09:00 ~ 10:00 미해결 문제 세션 미해결 문제 발제 및 그룹 토의 10:15 ~ 11:00 패널 토의 신뢰 가능한 AI를 위한 PL&SE 연구 어젠다 11:00 ~ 11:30 우수 포스터 시상식 · 폐회식 - 12:00 ~ 해산 -

발표 모집 — 포스터 · 번개 발표 · 미해결 문제 발제 (마감: 8월 9일(일))

이번 여름학교를 함께 채워 갈 세 가지 발표를 모집합니다. 아래 하나의 구글폼으로 모두 신청하실 수 있습니다.

• 신청 링크: 발표 신청 구글폼
• 신청 마감: 8월 9일(일) 23:59

포스터 발표 (학부생, 대학원생 대상)

• 일시: 8월 26일(수) 저녁 (환영 만찬 후 야간 세션, 20:00~22:00)
• 대상: 학부생, 대학원생 누구나 — 진행 중인 연구, 최근 발표 논문, 아이디어 단계 모두 환영합니다.
• 우수 포스터는 심사를 거쳐 폐회식(8/28)에서 시상합니다.
• 신청 시 제목·초록(3~5문장)·저자 정보를 받습니다.

번개 발표 (1분 발표)

• 일시: 8월 26일(수) 오후 (17:00~18:00)
• 형식: 1분 내외로 본인의 연구 관심사를 한 줄 소개하는 짧은 발표입니다. 슬라이드 사용 여부는 선택입니다.

미해결 문제 발제

• 일시: 8월 28일(금) 오전 미해결 문제 세션 (09:00~10:00)
• 형식: 5분 내외로 우리 분야의 미해결 문제 하나를 던져 주시면, 학생들이 그룹으로 함께 고민한 뒤 결과를 나눕니다.
• 대상: 시니어 연구자에 한정하지 않습니다. 던지고 싶은 미해결 문제가 있는 분이라면 누구나 발제하실 수 있습니다. (4~5분 발제 슬롯)

등록

• 1차 사전 등록 마감: 2026년 7월 31일(금요일)
• 2차 사전 등록 마감: 2026년 8월 14일(금요일)
• 등록 방법: 등록 페이지를 통해 신청 가능합니다. 행사 장소의 특성상 등록비에는 숙박비가 포함되어 있습니다. 일반 등록자들에게는 1인 1실을 제공하고자 하며, 학생 등록자들은 성별/연구실/학교 순으로 매칭하여 3인 1실~6인 1실을 제공할 예정입니다.
  
  일반 등록자들은 "현장 등록"은 가능하지만, 행사 장소의 특성상 숙박 제공을 해드리지 못합니다. 사전 등록을 못 하실 경우 주변 숙소를 이용하셔야 합니다. 또한, 등록 시 일반 등록/학생 등록 구분에 따라 아래 구글 폼을 필수로 작성 부탁드립니다. 연수원 숙박과 관련된 "숙박 안내" 유의 사항도 꼼꼼히 읽어주시기 바랍니다.
  
  

  	학생	일반
  1차 사전 등록 (~2026.07.31)	270,000원	470,000원
  2차 사전 등록 (~2026.08.14)	320,000원	570,000원
  현장 등록	-	300,000원
  특별 할인	80,000원	-

  
  
• 참석 정보 작성 서류 (필히 작성 부탁 드립니다.)
  • 일반 등록자 참석 정보 작성 구글 폼
  • 학생 등록자 (특별할인 포함) 참석 정보 작성 구글 폼
• 유의 사항
  • 계절학교에서 제공되는 식사는 수요일 저녁, 목요일 아침/점심/저녁, 금요일 아침입니다.
  • 이번 계절학교에서는 두 개의 단체 프로그램이 마련되어 있습니다: 1) 마곡사 나들이 2) 전통 문화 체험. 전통 문화 체험은 수업별로 인원수가 제한되어 있으니 구글 폼을 통해 필수로 선호도를 응답해 주세요.
  • 작년과 마찬가지로, 포스터 세션에서 쉬운 용어로 좋은 발표를 진행한 학생에게 세종 발표상을 수여합니다. 쉬운 전문 용어가 궁금하다면 여기를 클릭 하세요.
  • 참가확인서가 필요한 분들은 행사 종료 후 한국정보과학회(담당: 문은정 차장)에 이메일로 요청해 주십시오.

숙박 안내

• 행사 장소: 한국문화연수원 (공주)
• 본 행사가 진행되는 "한국문화연수원"은 개인 예약이 어렵습니다. 따라서 운영진이 방 배정을 진행할 예정입니다. 아래 유의 사항을 참고해 주시기 바라며, 문의 사항은 아래 이메일로 연락 부탁드립니다.
  • 숙박 시설 사진: 확인하기 (클릭)
  • 구비 시설 및 물품: 침구류, TV, 에어컨, 수건, 헤어드라이어, 샴푸, 바디워시, 치약, 비누, 화장실
  • 필수 준비 품목: 칫솔, 텀블러 등 개인 물품 (생수와 칫솔은 비치되어 있지 않습니다.)
  • 기타 유의 사항:
    - 분리수거는 라동 앞 분리수거장을 이용해 주시기 바랍니다.
    - 객실 내에서의 흡연 및 취사는 엄격히 금지되어 있습니다.
    - 연수원 객실에는 수건(3인실 4장, 4인실 5장, 6인실 8장)이 비치되어 있습니다. 2박 이상 이용 시 사용하신 수건을 신발장 위에 올려두시면 14~15시 사이에 교체해 드립니다.
    - 생수는 비치되어 있지 않으므로 식당 앞 휴게실 정수기를 이용해 주시기 바랍니다.
    - 객실 내 음주는 가능하나, 퇴실 시 분리수거를 철저히 해 주시기 바랍니다.
  • 문의 이메일: jieungkim@yonsei.ac.kr (메일 제목에 [SIGPL2026여름학교 - 숙박] 말머리를 기재해 주시기 바랍니다.)
• 숙박이 제공되지 않는 경우, 근처 호텔에 개별적으로 예약해 주시기 바랍니다.

오시는 길

• 버스(고속/시외) 이용 시
  • 각 지역에서 출발 시 공주종합버스터미널로 이동
  • 터미널 하차 후 최종 이동 (아래 시내버스 및 택시 연계 방법 참고)
    • 시내버스 이용 시 (가장 경제적인 방법)
      • 공주종합버스터미널 버스정류장에서 770번 시내버스 탑승 (마곡사 행, 배차 간격 약 1시간)
      • 소요 시간: 1시간 30분 이상
      • 주의 사항: 마곡사 종점에서 하차 후 한국문화연수원까지는 도보로 약 30~40분(산책로 코스) 걸어 올라가셔야 합니다. 짐이 많으시다면 택시를 추천합니다.
    • 택시 이용 시 (가장 편안한 방법)
      • 공주종합버스터미널 출발: 약 35분 소요 (요금 약 32,000원 내외)
      • 콜택시 번호: 공주 운불련 (041-852-4000) / 유구 택시 (041-841-2027)
• 기차 (KTX/SRT/일반열차)
  • 이용 시 연수원과 가장 가까운 KTX역은 천안아산역
  • 천안아산역은 버스 이용 시 시간이 너무 오래 걸려 택시 이용을 추천
    • 천안아산역(KTX/SRT) 또는 천안역(일반열차) 하차
    • 천안아산역 출발: 택시 이용 시 약 45분 소요 (요금 약 45,000원~50,000원 내외)

후원 모집

2026 SIGPL 겨울학교 후원 기업을 모집하고 있습니다. 후원에 관심이 있으신 기업에서는 조직위원장 김지응 교수에게 이메일로 문의해주시면 후원 혜택을 안내해드립니다.

후원사 소개

골드 후원사 FuriosaAI는 대한민국을 대표하는 인공지능 반도체 유니콘 기업입니다. 대규모 언어모델(LLM)을 고효율로 가속할 수 있는 2세대 AI 반도체 RNGD는 26년 1월부터 양산되어 많은 고객이 찾고 있습니다. Broadcom, Meta, OpenAI, Aramco, LG AI Research, UpstageAI 등 국내외 및 세계 유수 기업들이 관심을 보일 정도로 높은 기술력과 인지도를 인정받으며 글로벌 AI 반도체 시장에서 혁신을 주도하는 기업으로 자리매김하고 있습니다. 리벨리온은 AI가속기, 컴파일러, vLLM 기반의 오픈소스 SW를 개발하는 스타트업입니다. 2025년 10월 기준으로MIT, Harvard, Stanford등 총 75명 이상의 박사들과 구글, 엔비디아, 메타 등 총 50명 이상의 해외 빅테크 출신들로 구성된 250명 규모의 개발자들로 구성되어 있습니다. 주력제품인 R100은 블랙웰 수준의 추론성능을 보다 뛰어난 전력 효율로 구현하였으며, 현재 일론 머스크의 xAI, 미국 투자은행 JP Morgan 등과 상용화를 진행하고 있습니다. 또한 Red Hat의 유일한 스타트업 공식 파트너로서, 오픈소스 SW를 통해 사우디의 소버린AI 데이터센터를 구축하고 있습니다. 하이퍼엑셀은 생성형 AI 추론(Inference)에 최적화된 LPU(LLM Processing Unit)를 개발하는 대한민국의 AI 반도체 스타트업입니다. 자체 개발한 AI 가속기와 소프트웨어 스택을 통해 대규모 언어모델(LLM)과 생성형 AI 서비스를 GPU 대비 더 높은 전력 효율과 비용 효율로 구현하며, 하드웨어부터 컴파일러·런타임까지 전 영역을 아우르는 시스템 최적화로 데이터센터부터 엣지 AI까지 다양한 환경에서 AI 인프라 혁신을 이끌고 있습니다. 네이버클라우드, LG전자, 삼성전자, 세미파이브, 어드밴텍, 인벤텍, HPE 등 국내외 주요 기업들과 협력하며 글로벌 AI 생태계를 확장하고 있으며, LPU 아키텍처 연구로 IEEE Micro 최우수 논문상(2025)을 수상하고 IEEE/ACM DAC 2023 공학부문 최고 발표상, 대만 ICTGC AI 코어 기술 부문 수상(2025) 등 세계적인 학회에서 기술력을 인정받았습니다. AI 인프라의 전력과 비용 문제를 하드웨어와 소프트웨어의 긴밀한 co-design으로 풀어가는 차세대 AI 반도체 기업으로서, 글로벌 시장에서 새로운 표준을 만들어가고 있습니다. 브론즈 후원사 TenX Semi는 반도체 설계와 검증의 개발 속도를 10배 이상 높이고 디자인의 quality를 향상시키는 "Design & Verification AI Agent" 를 개발합니다. 스탠포드 Mitra 교수 연구그룹의 Formal Verification 알고리즘을 원천 기술로 하여, 기존 팹리스들이 잡기 어려웠던 Long-tail 버그 검증부터 Automatic Chip Design까지 반도체 설계의 미래를 혁신합니다. 2025년 설립되어 Stanford/서울대/KAIST 출신은 물론 Samsung, Google, Apple, Synopsys, Cadence, Broadcom, Qualcomm 등 글로벌 빅테크 출신의 최고 수준 전문가들로 팀이 구성되어 있으며, 기술력을 인정받아 미국 Tier-1 VC의 투자를 유치하며 빠르게 성장하고 있습니다. 업스테이지는 문서 AI와 자체 개발 LLM을 하나의 스택으로 수직 통합한 대한민국 대표 풀스택 AI 기업입니다. 소형·고효율 언어모델 Solar는 적은 파라미터로도 프런티어급 추론 성능을 내며, 온프레미스·프라이빗 클라우드 배포까지 지원해 데이터 주권이 중요한 금융·제조·공공 조직이 실무에 투입하고 있습니다. 문서 AI(Document Parse·Extract·Classify)는 글로벌 OCR·VQA 벤치마크 최상위권 성능과 90% 이상의 복잡 문서 파싱 정확도로 비정형 문서를 즉시 자동화 가능한 구조화 데이터로 바꾸며, 노코드 플랫폼 Upstage Studio를 통해 에이전트와 문서 파이프라인을 코드 없이 구축·배포·모니터링할 수 있습니다. 현재 금융·제조·공공을 아우르는 산업 전반에서 200곳 이상의 엔터프라이즈가 업스테이지의 AI 스택을 운영하고 있습니다. 국산 AI 반도체 위에서 효율적으로 구동되는 소버린 AI 스택을 지향하며, 대한민국이 자체 기술로 완결된 AI 인프라를 갖추는 데 앞장서고 있습니다.

---

프로그래밍언어연구회