sigfm スケジュール

月例会は基本的に毎月第1金曜日(休日の場合は第2金曜日)に開催します。以下、最新のものから表示しています。

2007年6月8日（金）14：00〜17：30

Speaker：Gustavo Cabral （The University of Tokyo）
Title:Title: Formal Specifications Generation and Possible Applications
場所：SRA先端技術研究所(四谷三丁目)　会議室

 

2005年5月13日(金) １４：００〜１６：４５


　講師： Ralph-Johan Back先生
　内容：Incremental Software Construction


　 場所：SRA先端技術研究所(四谷三丁目)　会議室

２００４年７月１６日（金）１３：３０〜１６：４５


　講師：Kenji Taguchi さん（ブラッドフォード大学）
　内容：Integrated Formal Notations for Concurrent and Dynamically Reconfigurable Communication Systems


　 場所：SRA先端技術研究所(四谷三丁目)　会議室


2004年5月21日（金）１３：３０〜１６：４５

　講師：玉井哲雄さん（東京大学）
　内容：
　　1．ヨーロッパのソフトウェア工学研究動向
　　2．オブジェクトの協調型適応モデルEpsilon


　 場所：SRA先端技術研究所(四谷三丁目)　会議室

2004年２月13日（金）１３：３０〜１６：４５

　　講師：柳生孝昭さん

　　講演題：
　　　工業製品と組込みSoftwareの形式的要求仕様
　　　--暦時計と自動航空Systemを題材として--

　　場所：SRA先端技術研究所会議室

2003年10月14日（火）13:30-17:00

報告者 有賀貞一さん（CSK)、荒木啓二郎さん（九州大学）、佐原伸（日本フィッツ）

内容　FM２００３報告

9月にイタリアのピサで行われたFM2003報告会です。

場所　SRA先端技術研究所(四谷三丁目)　会議室

2003年８月4日（月）14:00-17:00

講師 Prof. Dines Bjorner (Technical Unversity of Denmark)

内容 ソフトウェア工学のための存在論はどうあるべきか？

Whither an Ontology for Software Engineering - is it too early ?

場所 東京大学・駒場キャンパス（目黒区駒場3-8-1)

数理科学研究科棟・セミナー室(1F 056)

2003年3月28日（金）13:30-16:45

講師　佐伯元司さん（東工大）

内容　未定

場所　川崎市産業振興会館（川崎市）

懇親会　 午後5時15分から近くの「和志」にて


酒は、「常きげん」と「菊姫」を準備します。

2002年12月２０日 13:00受付。13:30-16:45

講師　谷津弘一さん（日本フィッツ）

内容　パイ計算とオブジェクト指向

場所　労働スクエア東京（八丁堀）

懇親会　 17：15から割烹「さがみや」：ふくコース（会費1．5万円位）

今回は忘年会と来年の活動を期して「ふくコース」で場を盛り上げたいと考えています。
酒は、「常きげん」と「菊姫」を準備します。

その他の銘柄のご要望があれば、申し付け下さい。

2002年11月15日（金）13：30-16：45

講師　高橋孝一さん（産総研　尼崎サイト　主任研究員）

内容　モデル検査による検証に関する研究および応用

場所　川崎市産業振興会館（川崎市）

2002年９月２６日（木）

講師　柳生孝昭さん

内容　「形式的仕様記述の実数型処理への応用」

場所　 労働スクウェア（八丁堀）　５０４室

2002年5月10日（金）

講師　中田恒夫さん・岩下洋哲さん（富士通研究所）

内容　「システムLSI開発のためのCWLとはなにか？　−その狙い、目的、機能、将来の展望−」（仮題）

場所　川崎産業振興会館（川崎市）

2002年2月26日（火）

講師　安浦寛人さん(九州大学)

内容　（仮題）システムLSI開発においてフォーマルメソッドに期待する役割と機能に関する話題

場所　川崎産業振興会館（川崎市）

2002年1月11日（金）

講師　中島震さん(NEC)

内容　オブジェクト指向デザインへの形式手法の適用

2001年12月13日（木）

講師　米崎直樹さん(東工大）
内容　「リアクティブシステムの形式仕様の検証技法」(仮題）

2001年11月22日（木）

講師　中川中さん（ＳＲＡ−ＫＴＬ）

内容　「algebra-coalgebra structures for behavioural specifications」

2001年９月２８日（金）「形式仕様記述言語はどう動くか」（仮題）、澤田寿実さん（SRA）

2001年7月例会＝７月６日（金）に法政大学の劉少英さんからお話しいただく予定です

2001年６月8日特別チュートリアル「欧州産業界における形式的方法の利用とVDMTools」

2001年5月24日〜２５日セミナー「形式手法の魅力とは何か？」

2001年4月例会

2001年3月例会

３月例会の会場の川崎市産業振興会館が良かったので、労働スクエア東京と併用しようということになりました。

2001年1月例会

2000年12月例会

2000年10月特別月例会

2000年9月例会

2000年7月例会

2000年6月月例会

2000年5月月例会


会場