프로그래밍언어연구회 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 - 양홍석 [자료][사진]