[Coq][Formal Methods] Proof Assistant Day 2011 on 9/25(Sun)

　今年の９月は東京で ICFP 2011 が開催されることもあり、その前後の週末も公式/非公式な関数型言語イベントが多数開催される見込みです。

　我々の形式手法勉強会 Formal Methods Forum も、名古屋の ProofCafe と一緒に、昨年開催された Coq庵 と同様の定理証明系イベントを開催したいと計画しています。

　会場は新宿の豆蔵セミナールームを予定しています。（豆蔵様、会場提供ありがとうございます）

　諸々決まりましたら、また報告します。