한국정보과학회 프로그래밍언어연구회 겨울학교
(SIGPL Winter School 2023)
-
일시: 2023년 2월 22일(수) ~ 2023년 2월 24일(금)
-
장소: 고려대학교 서울캠퍼스
-
주최: 한국정보과학회 프로그래밍언어연구회
|
|---|
초대의 글
한국정보과학회 프로그래밍언어연구회에서 주최하는 2023 겨울학교에 여러분을 초대합니다.
프로그래밍언어연구회에서는 매년 최신 연구 동향 소개와 함께 참가자들이 교류할 수 있는 자리를 마련해 왔습니다.
이번 겨울학교에서는 특별히 정형검증, 음악프로그래밍, 소프트웨어 보안, 한글 모아쓰기 등 다양한
주제로 초청강연을 준비하였고 각 연구실에서 진행중인 연구들을 소개하는 시간을 마련하였습니다.
또한 최근 주요 화두인 ChatGPT를 주제로 토론을 준비했습니다.
프로그래밍언어 2023 겨울학교에 여러분의 많은 참여와 관심을 바랍니다.
한국정보과학회 프로그래밍언어연구회 공동운영위원장 오학주 (고려대), 임현승 (강원대)
조직위원장: 오학주 (고려대)
프로그램위원장: 허충길 (서울대)
프로그램위원: 김지응 (인하대)
프로그램
| 2월 22일 (수요일) |
|---|
| 12:00-13:00 | 등록 | |
| 13:00-13:55 | [초청강연] Formal verification and modeling of concurrent systems | 김지응 (인하대학교) |
| 13:55-14:00 | 5분 휴식 | |
| 14:00-14:55 | 병렬 프로그램 디자인 및 검증 | 강지훈 교수 연구실 |
| 14:55-15:00 | 5분 휴식 | |
| 15:00-15:55 | 논리 기반 정형명세 및 모델검증 | 배경민 교수 연구실 |
| 15:55-16:00 | 5분 휴식 | |
| 16:00-16:30 | 한양대학교 프로그램 합성 연구 소개 | 이우석 교수 연구실 |
| 16:30-16:35 | 5분 휴식 | |
| 16:35-17:30 | 프로그램분석 + 쉬운전문용어 포털 소개 | 이광근 교수 연구실 |
| 17:30-20:00 | 저녁 만찬 | |
| 20:00-22:00 | 포스터 발표 | 대학원생 |
| 2월 23일 (목요일) |
|---|
| 10:00-10:55 | [초청강연] 회상 + 음악 프로그래밍 | 도경구 (한양대 ERICA) |
| 10:55-11:05 | 10분 휴식 | |
| 11:05-11:35 | (산업체 동향) 코드마인드와 프로그래밍 언어 기술 | 신승철 (코드마인드) |
| 11:35-11:40 | 5분 휴식 | |
| 11:40-12:10 | 실행 가능한 파일을 파악하고 조작하는 여러 가지 방법 | 조은선 교수 연구실 |
| 12:10-13:40 | 점심 | |
| 13:40-14:35 | [초청강연] Symbolic Query on Decompiled Code for Finding Bugs in COTS Binaries | 한형석 (KAIST) |
| 14:35-14:45 | 10분 휴식 | |
| 14:45-15:40 | 믿고 쓰는 프로그래밍 환경 | 허기홍 교수 연구실 |
| 15:40-15:45 | 5분 휴식 | |
| 15:45-16:40 | 소프트웨어 오류 자동 수정 기술 | 오학주 교수 연구실 |
| 16:40-16:45 | 5분 휴식 | |
| 16:45-18:10 | [난상토론] ChatGPT 어디까지 해봤니? | |
| 18:10-19:30 | 저녁 | |
| 2월 24일 (금요일) |
|---|
| 10:00-10:55 | [초청강연] 한글 모아쓰기에 관하여 | 최광무 (KAIST) |
| 10:55-11:05 | 10분 휴식 | |
| 11:05-12:00 | 안전한 소프트웨어를 위한 프로그래밍 언어 | 류석영 교수 연구실 |
| 12:00-12:05 | 5분 휴식 | |
| 12:05-13:00 | 소프트웨어 검증을 위한 기반 다지기 | 허충길 교수 연구실 |
| 13:00 | 폐회 | |
|
사진
등록
2023.02.14: 등록 가능 인원이 마감되어 사전등록이 종료되었으며, 현장등록을 진행하지 않습니다.
- 사전등록 마감: 2월 10일 (금요일)
- 등록 방법: 등록 페이지 를 통하여 등록할 수 있습니다.
| | 학생 | 일반 |
|---|
| 사전 등록 | 100,000원 | 200,000원 |
|---|
| 현장 등록 | 150,000원 | 300,000원 |
|---|
- 무료 제공되는 식사는 수요일 저녁 만찬, 목요일 점심/저녁입니다.
숙박안내
시내 호텔등에 개별적으로 예약해주시기 바랍니다.
오시는 길
[행사장소:
고려대학교 서울캠퍼스 하나스퀘어 (강당, B112호)]
프로그래밍언어연구회
