한국정보과학회 프로그래밍언어연구회 여름학교
(SIGPL Summer School 2013)
(SIGPL Summer School 2013)
|
|---|
초대의 글
최근의 인터넷 및 모바일 환경변화에서 프로그래밍언어(PL)의 역할이 커지고 있습니다.우리가 이미 널리 사용하고 있는 XML, Java, Javascript 등은 PL 분야의 연구결과의 산물입니다. 특히 최근에 중요한 이슈가 되고 있는 보안 분야에서도 PL의 기본이론인 타입이론과 코딩이론이 적용되고 있습니다. 이번 여름학교에서는 전통적인 PL 이론과 최근의 트렌드의 융합을 모색해 봅니다.
첨단기술 공부모임 장소가 늘 대학이나 콘도나 호텔이었습니다. 우리나라 공부의 전통이 1000년을 넘은 것에 비하면, 그 건물 환경이 좀 가볍습니다. 훌륭한 학승을 가장 많이 배출해서 "승보사찰"이라는 닉네임을 얻은 800년 고찰 송광사. 이곳 경내 선승들의 공간을 빌려 여름학교가 열립니다. 송광사 경내에서 머무는 3박4일 입니다.
이번 여름학교에 많이 참가하셔서 연구동향을 얻어가시는 동시에 조계산의 정기를 흠뻑 받아가시기 바랍니다.
프로그래밍언어연구회 2013 여름학교
조직위원장 이수현
프로그램위원장 창병모
프로그램
| ||||||||||||||||||||||||||||||||||||||||||
등록
- 등록 마감: 2013년 8월 22일 (목)
- 등록 방법: 등록페이지를 통하여 등록할 수 있습니다.
- 등록비: 교육 기간 중의 숙박비 및 식비가 모두 포함됩니다.
학생 일반 등록비 200,000원 300,000원
강의 내용
- 제1강: 자바스크립트: 왜? 어떻게?
- 제2강: 자바스크립트 웹 앱의 정적 분석
- 제3강: 자바스크립트 민감도 분석을 위한 요약 해석
- 제2강 확률 모델과 추론 문제
- 제3강 추론 알고리즘
- 제1강 암호론 개요: 대칭키암호, 기초 정수론, 공개키 암호
- 제2강 동형암호 소개: 동형암호 개념 및 스킴 소개
- 제3강 동형암호 구현과 응용
정규언어와 그의 응용, 한요섭 교수 (연세대)
본 강좌에서는 정규 언어 전반적인 내용에 대해서 간략히 논의한 후 정규 언어의 응용사례 한가지인 고속 정규 언어 검색 시스템 관련하여 검색 시간 및 리소스 할당 등에 관점에서 살펴본다.JavaScript와 그의 분석, 류석영 교수, 박창희, 김세원 (KAIST)
전세계 대부분의 웹페이지와 스마트 가전, 컴파일러 등 분야를 막론하고 그 활동 범위를 넓혀가고 있는 자바스크립트 언어에 대해서 살펴본다. 자바스크립트 연구가 왜 필요한지, 극단적으로 동적인 프로그래밍 언어를 어떻게 분석하는지에 대해 알아본다확률적 모델링과 추론 기법, 김기응 교수 (KAIST)
확률적 방법론은 다양한 불확실성이나 모호함을 효과적으로 모델링하는 강점을 갖기 때문에 기계학습을 비롯한 인공지능 연구에 있어서 핵심이 되는 방법론이다. 본 강연에서는 베이지안 확률론과 모델 표현법, 그리고 모델 기반 추론 문제와 알고리즘을 살펴보도록 한다.- 제1강 베이지안 확률론
동형암호(homorphic cryptography)와 계산의 위탁실행, 천정희 교수 (서울대)
동형암호는 여러개 평문의 암호문이 주어졌을때 이 평문들의 평균, 분산등의 암호문을 복호화없이 구할수 있는 암호를 말한다. 본 강연에서는 동형암호를 소개하고 이의 응용을 살펴보도록 한다. 이를 이해하기 위해 필요한 기초정수론과 동형암호의 구현에 대해서도 설명한다.안드로이드 프로그래밍 모델과 타입시스템, 최광훈 교수 (연세대)
안드로이드 응용프로그램의 주요 요소와 실행 과정 등 프로그래밍 모델을 설명하고, FJ(Featherweight Java)를 확장하여 안드로이드 응용프로그램을 단순하게 모델링한 다음, 이 응용프로그램의 실행 중 화면 전환 흐름을 분석하는 타입시스템을 설계한다.준비위원회
- 조직위원장: 이수현 교수 (창원대)
- 프로그램위원장: 창병모 교수 (숙명여대)
- 문의: 창병모 교수 (
)
프로그래밍언어연구회
프로그래밍언어연구회