|
프로그래밍언어연구회 2003년도 여름 워크숍
LiComR Summer 2003
[프로그램]
* 2003년 8월 18일(월) - 저녁모임좌장 : 도경구
18:50-19:00 환영인사 - 오세만
07:00-09:00 Program Analysis Techniques - 이광근 [자료][사진]
* 2003년 8월 19일(화) - 아침모임좌장 : 이광근, 낮모임좌장 : 변석우
07:00-08:00 Language-Based Information-Flow Security - 도경구 [자료][사진]
08:00-09:00 Automatic Construction of Hoare proofs from Abstract Interpretation
Results - 서선애 [자료][사진]
09:00-10:00 Separability of Term Rewriting Systems and Lambda Calculus - 변석우 [자료][사진]
10:00-11:00 Description Logics for Solving Scheduling Problems - 김복선[자료][사진]
11:00-13:00 식사 및 휴식
13:00-15:00 Modal Logic의 소개 - 신승철 [자료][사진]
15:00-18:00 조계산 등반 (천자암, 보리밥집)
* 2003년 8월 20일(수) - 아침모임좌장 : 신승철, 낮모임좌장 : 배민오
08:00-10:00 Algebraic Tools for Modal Logic - 정주희 [자료][사진]
10:00-11:00 CSP, Casper, Security Verification - 김일곤 [자료][사진]
11:00-13:00 식사 및 휴식
13:00-14:00 Formal Methods SPIN 과 그 응용 - 방기석 [자료][사진]
14:00-15:00 우선 순위 디폴트 규칙 시스템의 의미론 - 유희준 [자료][사진]
15:00-16:00 Visual Formal Methods Survey - 김진현 [자료][사진]
16:00-17:00 Current Issues in Mobile Network Security - 안영아 [자료][사진]
* 2003년 8월 21일(목) - 아침모임좌장 : 정주희
08:00-09:00 Functional Data Model and Algebra
for XML Query - 배민오 [자료][사진]
09:00-11:00 Substructural Logic -
양홍석 [자료][사진]
|
