sigpl 2012 겨울학교 (2012.2.2-2012.2.4, 경북 영주시 무섬마을 무섬문화촌)

2012년 2월 2일부터 2월 4일까지 경북 영주시 무섬마을에 위치한 무섬문화촌에서 2012 프로그래밍언어연구회 겨울학교가 열렸습니다. 이번 겨울학교에서는 박성우 교수님의 증명 이론 소개, 오학주 박사님의 프로그램 분석의 비용절감 기술 강의, 이광근 교수님의 특별 글쓰기 강좌 (두괄식 글쓰기), 최광무 교수님의 언어, 문법, 파서에 관한 강의, 그리고 도경구 교수님의 확장 원칙을 통한 풀그림 언어의 이해 등 각기 다른 분야의 강의를 경험할 수 있는 즐거운 기회를 가질 수 있었습니다. 강의 뿐만이 아니라 문화재 해설 전문가와 함께한 무섬마을 문화 여행, 무섬문화촌 마당에서 진행된 야외 바비큐 파티 등 다양한 야외 활동을 통해 서로 화합하며 즐거운 시간을 가질 수 있었습니다. 또한 무섬문화촌을 둘러싸고 있는 옛 마을의 아즈넉한 분위기는 복잡한 도시 생활과 고된 연구에 지쳐있던 우리의 심신을 달래주기에 충분하였습니다.