第21回Formal Methods Forum勉強会日程調整

[ken coba]

こんにちは、小林(今日で最繁忙期がおわるぞー)です。

みなさま、ProofSummit2012では大変お世話になりました。


ということで、日程調整(10月-11月)でございます。
http://chosuke.rumix.jp/main.aspx?g=6af9af588d6a8a8bb

現時点のテーマ:
・MAUDE Primerをみんなで読み進めよう!(kencoba)


話したい内容があれば、このメールにどんどん追加しちゃってください。

[ken coba]

こんにちは、小林(結局繁忙期が終わらない)です。
超繁忙期は超えたので大丈夫!

ということで、日程調整(10月-11月)でございます。
http://chosuke.rumix.jp/main.aspx?g=6af9af588d6a8a8bb

再度アナウンスです。
10/5に日程を確定しようとしてますので、
入力してない方は入力お願いしまーす。

2012年9月13日 12:01 ken coba <ken....@gmail.com>: