[Coq][FM] Formal Methods Forum #4 on 4/29

　形式仕様に関する勉強会のATND - 第4回FormalMethods勉強会を4/29に行います。
　Coqに関してはCerti􏰀ed Programming with Dependent Typesという教科書を今回から読み進める予定です。この本は、関数型言語のプログラマ向けに書かれた割と実践的な教科書です。
　Coq以外の内容についてはATNDのページからFormal Methods Forumのページを辿って下さい。