SIGPL Summer School 2009 - 목포대학교 (2009.08.18~20, )

목포대학교에서 열린 2009년 SIGPL 여름학교에서는 정형 증명 도구 coq을 배우는 시간을 가졌습니다.
박성우 교수님과 서울대학교 이계식 박사님이 주 강사로 나서시고, Genilhs과 Parjong이 조교로 참석하였습니다. (Jplin과 Eastcirclek는 학생으로 참석...) POSTECH에서 1학기 동안 배우는 전산논리 수업의 실습 내용을 여름학교가 개최되는 단 3일 동안(-_-;) 전부 배울 수 있는 좋은 기회였습니다.

아래는 여름학교가 끝난 뒤, 목포대학교 인근에 있는 무안 회산 백련지에서 열린 13회 연꽃 축제에 들려서 찍은 사진들입니다. 아쉬웠던 점은 이날은 날씨가 흐려서 꽃은 거의 볼 수 없었으며, 설상가상으로 오후에 방문해서 더더욱 볼 수 없었습니다 ㅜㅜ 아래는 연꽃 축제에 관한 인터넷 기사입니다... 다음에 가실 분들은 참조 하시면 좋을 듯 합니다 :)

 "연꽃은 아침 일찍 개화해 오후 3~4시경 꽃봉우리가 닫기기 시작하며, 수련의 경우 1~2시간 더 일찍 꽃봉우리를 닫기 때문에 연꽃은 오전 중에 감상하는 것이 좋다-_-."
 

백련지 전경

 

아름다운 연꽃

 

PL Guys

바람이 몹시 불던 날이었지...

 

백련지에서 커플들이 한 번씩 해본다는 그 포즈!!

 

말 잘 못 타는 Eastcirclek와 그게 답답한 Genilhs ㅋㅋ (촬영 천하미남 gla)

 

-- written by eastcirclek