22 December, 2010

[Link] Formal Methods Forum

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

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

No comments: