Name:  Lab Seminar

Code:  17-001-PP-01

Charge:  SH

Period: 

Begin: 2017년 1월 1주

End: 

Goals:

1) 각각 맡은 Formal Methods 에 대한 자료 정리 및 발표 

Description:

연구원 각자가 담당한 Formal Method에 대하여 세미나를 진행

Meetings: 

1) [2017년 1월 3일]

- 연구실 세미나 일정 논의

-1월 업무가 많으므로 일정을 변경할 것인지를 논의하기로 결정함

 2) [2017년 1월 5일]

- 연구실 세미나 일정 결정

-YB 1/19, SH 2/2, JS 2/16, MR 2/23

- MR에 대한 세미나 주제(Logic) 선정 필요

- YB 세미나 주제: Z

3) [17.02.3주] 

[JS] Real-Time Logic

  - 자료 조사

  - 자료 정리

  - 예제 구성

  - 발표 자료 준비

  - 준비미흠으로 17.02.4주 월 로 연기

[SH Temporal Logic

- Plan

  1. Temporal Logic 자료 조사

- 자료 추가 및 보강

- 기존 자료 점검

2. Temporal Logic 자료 정리

- 정리한 자료 정제

- 정리한 자료 워드에 입력

3. Temporal Logic 예제 구성

- PBC 및 EMS 예제 구성

4) [17.02.4주] 

[JS] Real-Time Logic

  - 세미나 발표 진행

= 미흡사항 보안 필요(예제 구성, Tool 추가 검색)

= [include1]1-월-2017-02-20-RTL.docx

5) [2017-03-21] [MK] 

- 금주 YB과 JS의 세미나가 목요일에 같이 이루어질 것

- SH은 오는 30일, MR은 내달 4월 6일에 세미나 발표가 계획 됨

- [JS]

- Calculus of Communicating Systems (CCS) 발표 준비

- 23일 발표 예정

6) [2017-03-28]

- [MK] 기존 예정된 세미나는 연구실 일정으로 4월 6, 8일로 PPed

[2017/4/1] 

[Mon] [2017-04-03] Plan

[4/1]

1) CCS 세미나 준비

- CCS 세미나 자료 준비

[2017/4/5] 

[MK]Task closed due to work overload.