フォーマル・メソッド分科会 (sigfm)

フォーマル・メソッド分科会 (sigfm)は、フォーマルメソッド(形式手法)の普及のため、2000年3月3日の雛祭りを期して発足しました。

sigfmは以下の活動を行います。

フォーマル・メソッド分科会 (sigfm)の活動について

月例会
分科会の最も中心的な活動です。原則として、毎月第1金曜日にフォーラム形式で行います。
チュートリアル
年に2回位の割合でチュートリアルを開催し、フォーマル・メソッドの普及を図ります。
懇親会
発起人・世話人がすべて酒飲みのため、集まりの後にはほぼ確実に懇親会が企画されます。普通の日本社会と異なり、この懇親会で酒を強要すること及び酔いつぶれることは歓迎されませんが、酒を飲まない方の参加は歓迎されます。高い酒を飲む方、普通に飲む方、飲まない方で懇親会参加費は区別されますので、安心してご参加ください。

sigfmに関するリンクがあります。

フォーマルメソッド(形式手法)ホームページ

劉少英さんの研究室

Call for Papers
FM 2003: the 12th International FME Symposium
Pisa, Italy -September 8-14, 2003

世話人は、この分科会運営方針の決定を行い運営していきます。世話人になる規定は特にありません。月例会などで「世話人をやりたい」と言えば、どなたでも世話人になる資格があります。

世話人グループのメールアドレスは以下の通りです。

ｓｉｇｆｍ－ｍａｎａｇｅｒｓ＠ｓｈｉｎｓａｈａｒａ．ｃｏｍ

現在の世話人は以下の通りです。

荒木啓二郎九州大学 (九州担当)
伊藤昌夫ニルソフトウェア
熊谷章 PFU
佐原伸 CSKシステムズ(東京担当)
張漢明南山大学(名古屋地区担当)
山崎利治 free