2010년 제3차 ROSAEC Workshop(2010.1.7 ~ 2010.1.9, 제주도)

2010년 제 3회 ROSAEC 워크샵이 1월 7일부터 1월 9일까지 제주도에서 열렸습니다. 교수님과  genilhs, parjong, eastcirclek, jplim이 참석하였으며 parjong이 발표자로 참가하여 seperation logic의 cut free property에 대해 발표하는 시간을 가졌습니다.

Workshop을 가졌던 호텔 뒤 편에 아름다운 자연공원이 조성되어 있었기 때문에 두 번째 날에 세미나 일정을 예정보다 약간 일찍 마치고 자유롭게 구경을 하는 시간을 가졌습니다. 특히 드라마 '올인'에서 나온 성당이 이 공원 안에 있었는데, 제주도의 아름다운 자연환경과 탁 트인 바다와 어우러져서 한 폭의 그림같이 멋진 풍경을 만들어 냈습니다.

그리고 이번 Workshop에 참석한 모 군이 첫 번째 날 밤에 있었던 은밀한 불법 꽃놀이(??)로 인해 치킨을 사야 했었다는 아픈 일화가 있었습니다....

TV 시청 중

이 멤버에  genilhs가 추가되어 주성치와 '장표'형사가 콤비로 나오는 중국영화를 열심히 보았습니다...;;

종현이 형과 귀여운 열차

위압적인 포스를 풍기는 종현이 형과 귀여운 열차가 자연스러운 조화를 이룬 한 폭의 수채화 같은 사진!

사진 촬영 중

사진 촬영 중인 무웅이 형을 뒤에서 도촬함...(이 사진을 찍은 의미는 무엇일까...)

종현이 형과 고인돌

종현이 형을 왜소하게 만드는 고인돌...(음..)

We are all "PL GUYS"...!!

설명이 필요 없는 올스타들!! 제주도 접수 후에 기념촬영 찰칵!

드라마 '올인'에 나온 성당

아쉽게도 내부는 들어가지 못했음..ㅋ

 

--written by jplim