[Link] Formal Methods Forum

　東京でほぼ毎月開催している形式手法の勉強会、Formal Methods Forum ですが、FMFのGoogle groupに登録して頂くと開催案内や開催日程相談のメールが配信されます。
　ATNDで告知しているのですが、Google groupに登録して頂いた方がより確実だと思います。

　活動内容ですが11月分についてはkencobaさんの日記なんかも参考にして頂けるといいかと。