프로그래밍언어연구회 겨울학교 개최

2017 프로그래밍언어연구회 겨울학교를 2월 8(수) ~ 2월 10일(금) KAIST에서 개최합니다. 2017년 겨울학교에서는 정형 증명 도구 Coq를 이용하여 논리학의 정리 증명 이론을 프로그래밍하고 실습하는 강의를 준비하였습니다. 프로그래밍언어, 정형 기법, 시스템의 검증과 안전성, 그리고 전산학의 기초 이론 분야에 유익한 기회가 될 수 있을 것입니다. 자세한 내용은 겨울학교 홈페이지에서 확인하시고, 등록 페이지를 통해 등록 가능합니다. 회원 여러분의 많은 참여와 성원을 부탁드립니다.

웹 페이지 이미지 모집

새로 개편된 연구회 웹페이지는 매달 그 테마를 바꿀 수 있도록 설계되어 있습니다. 연구회와 관련하여 매 달별로 좋은 이미지가 있으신 회원 분께서는 로 송부바랍니다.
프로그래밍언어연구회