日時：2008年3月3日(月) 〜 5日(水)/p>
場所： 東京工業大学
http://www.coe21-lkr.titech.ac.jp/lkr2008/
2007年10月11日（木）〜12日（金）
場所：立命館大学大阪オフィス
（大阪市中央区北浜3 丁目1-18 島ビル6F）
案内(pdf)
http://www.iscie.or.jp/seminar.html
日時：2007年11月8日(木) 〜 10日(土)
場所： 東京第一ホテル下関
(〒750-0007 山口県下関市赤間町6-2)
http://kishi-www.jaist.ac.jp/fose2007/
日時：2006年9月18日(月) 〜 22日(金)
場所： 学術総合センター（東京都千代田区）
ACM日本支部会員のみなさまは、下記の３件の基調講演に関して、無料での聴講ができます。なお、事前申し込みは不要です。
【基調講演】
1. Verifying Specifications with Proof Scores in CafeOBJ
Kokichi Futatsugi, 北陸先端科学技術大学院大学, 日本
９月２０日 ９：００−１０：３０
2. Winning the DARPA Grand Challenge: A Robot Race through the
Mojave Desert
Sebastian Thrun, Stanford University, USA
９月２１日 ９：００−１０：３０
3. Automatic property checking for software: past, present and
future
Sriram K. Rajamani, Microsoft Research India, インド
９月２２日 １４：００−１５：３０
詳細は
http://www.ase-conference.jp/Keynotes.html を御覧ください。
日時：2006年11月16日(木) 〜 18日(土)
場所： ウェルサンピア立山
(〒930-1451 富山県富山市粟巣野)
http://fose2006.media.kyoto-u.ac.jp/
日時：2006年12月6日(木) 〜 8日(土)
場所： 岩手県盛岡市つなぎ温泉ホテル紫苑
日時：2006年2月1日〜3日
場所：国立情報学研究所
http://www.vogue.is.uec.ac.jp/apvis2006/
日時：2005年11月28日（月）〜30日（水）
場所：徳島大学
http://lttf.ieee.org/wmte2005/
日時：2005年11月10日(木) 〜 12日(土)
場所： 作並温泉 ゆづくしの宿「一の坊」
http://www.sde.cs.titech.ac.jp/fose2005/
日時：2004年11月11日(木) 〜 13日(土)
場所：伊勢志摩ロイヤルホテル（三重県志摩郡）
http://fose2004.it.nanzan-u.ac.jp
日時：2004年11月18日〜20日
会場：東京工業大学
日時：9月13日（月）〜14日（火）
場所：東京大学駒場キャンパス
http://kumiki.c.u-tokyo.ac.jp/WNASC2004/
論文締め切り：8月27日（金）
ACM日本支部は，2003年度（2003年7月1日〜2004年6月30日）年次総会および特別講演会を下記の通り開催します．是非ご参加ください．
日時： 2004年7月14日（水） 13時10分〜15時
場所： 大手町サンケイプラザ 201・202 （地図）
東京都千代田区大手町1-7-2
交通：地下鉄丸の内線・半蔵門線・千代田線・東西線・都営地下鉄三田線 「大手町」 A4・E1出口直結。
またはJR東京駅丸の内北口より徒歩7分。
13:15〜14:15 特別講演
藤本 隆宏 教授（東京大学大学院経済学研究科）
「ものづくり戦略論とソフトウェア：アーキテクチャと組織能力」
14:20〜15:00 年次総会
2003年7月-2004年6月の支部年次報告
会費： ACM会員 --無料 非会員--1000円
講演者紹介：
藤本 隆宏 教授 （東京大学大学院経済学研究科）
経営学の技術・生産管理分野を専門とされ、特にトヨタ自動車の製造組織やシステムの研究で著名です。2002年にはその研究で若くして日本学士院賞と恩賜賞を受賞されました。昨年出版された「能力構築競争 - 日本の自動車産業はなぜ強いのか」(中公新書)は大きな反響を呼び、広く読まれています。特に日本のものづくりの強みは「摺り合わせ型アーキテクチャ」にあるという視点は、情報システムやソフトウェアを考える上でも大きな刺激を与えるものと言えましょう。
ACM日本支部は，2002年度（2002年7月1日〜2003年6月30日）年次総会および特別講演会を下記の通り開催します．是非ご参加ください．
日時： 2003年7月14日（月） 午後1時30分〜
場所： 東京理科大学 森戸記念館 （地図）
東京都新宿区神楽坂4-2-2
ＪＲ・有楽町線・南北線・東西線・大江戸線 「飯田橋駅」
ＪＲ飯田橋駅西口、地下鉄Ｂ5出口から神楽坂を上り、
毘沙門天向い、鳥茶屋横入る。徒歩5分。
特別講演： 坂村健氏（東京大学教授）
会費： ACM日本支部会員 無料
非会員 1000円
申込み： office@acm-japan.org 宛にメールでお申し込みください。
氏名と会員・非会員の種別を明記してください。
※定員に達し次第、締め切らせていただきます。
日程：2003年11月13日(木) 13:00 〜 15日(土) 12:10
会場：南紀白浜 コガノイ ベイ ホテル
和歌山県西牟婁郡白浜町3212-1 Tel:0739-43-6000
詳細：http://fose03.wakayama-u.ac.jp
日時：2002年10月25日（金）
場所：学術総合センター2階 中会議場3，中会議場4
(地図)
営団地下鉄半蔵門線／都営地下鉄三田線・新宿線「神保町」A8出口
営団地下鉄東西線「竹橋」1b出口
共に出口から徒歩3〜5分
■ 10：00〜12：30 講演会
(主催：ACM日本支部)
講演者: Axel van Lamsweerde 教授(ベルギー)
ゴール駆動要求工学の手法で著名ですが，形式手法の理論面でも強く，また
ACM Transactions on Software Engineering & Methodologyの編集委員長を長
年勤めるなど国際的な学会活動でも活躍されています．
(講演者プロフィール)
タイトル： "High Assurance Systems Require Goal Oriented Requirements Engineering"
概要：High assurance systems must guarantee safety, security, fault tolerance and survivability objectives; it is therefore essential that such objectives be made explicit, refined, specified precisely and completely in application-specific terms, interrelated and analyzed thoroughly. The talk will argue that goals are an essential abstraction for eliciting, elaborating, modeling, specifying, analyzing, verifying, negotiating and documenting robust and conflict-free requirements for high assurance systems. Two concrete examples will be used to illustrate the key role of goals while engineering such requirements: a safety-critical system for a nuclear power plant and a security-critical purse system to be run on Palm handhelds.
■ 14:00-17:00
「新しいソフトウェアの実現」ワークショップ
（主催：科学研究費特定領域研究「ITの深化の基盤を拓く情報学研究」
A01「新しいソフトウェアの実現」）
発表とパネル討論
（司会: 玉井哲雄(東大)）
佐伯元司(東工大)
中小路久美代（東大）
中島震(法政大)
+ Axel van
Lamsweerde
日時： 2002年11月7日（木） 13:00 〜9日（土）
12:00
会場： ホテル奥道後（愛媛県松山市）
詳細： http://www.fose2002.cs.ehime-u.ac.jp/
日時：2002年10月3日（木）〜4日（金）
会場：奈良県新公会堂（奈良県奈良市）
詳細：http://se.aist-nara.ac.jp/isese2002/
ACM日本支部は，2001年度（2001年7月1日〜2002年6月30日）年次総会および講演会を下記の通り開催します．是非ご参加ください．
日時：2002年6月28日（金） 15:30-18:00
会場：青学会館 （ 地図 ）
東京都渋谷区渋谷4-4-25
(tel) 03-3409-8181
営団地下鉄 銀座線・千代田線・半蔵門線
表参道駅Ｂ１・Ｂ３出口より徒歩５分
エスカレーターの有るＢ３出口が便利です
渋谷駅から徒歩１０分
15:30〜16:00 総会 （本館3階 シノノメの間）
16:00〜17:00 講演会 （本館3階
シノノメの間）
土居範久 慶應義塾大学理工学部教授，ACM日本支部長
「我が国の情報科学技術政策」
17:00〜18:30 懇親会 （新館5階 オリーブの間）
日時： 2001年11月8日（木）14:00
- 10日（土）12:20
会場： 安比グランドホテル （岩手県 安代町）
URL: http://www.hamid2.soft.iwate-pu.ac.jp/fose2001/
ソフトウェア工学の実践経験から知識体系（Body of Knowledge）を 構築する活動がIEEE Computer Societyなどで行われています． また，e-ビジネスや情報家電などの新たなソフトウェア開発の要求， 開発期間の短縮など，ソフトウェア開発の実践における要求は一層高まっており，Lightweight Methodologyやオープンソース開発などの これまでにない開発スタイルも提案されています．このようなソフトウ ェア開発における実践経験の活用や開発の現状，今後のあり方をテーマとして，この分野の先駆者である米国メリーランド大学のBasili教授の基調講演を始めとする講演と討論を予定しています．多数の方々の参加をお待ちしています．
日 時：2001年6月28日(木) 13:00-18:00
会 場：TIME24ビル2Fセミナールーム2 （ 地図 ）
[東京臨海新交通(ゆりかもめ)
テレコムセンター駅下車徒歩1分]
主 催：情報処理学会 ソフトウェア工学研究会 ，ACM日本支部
協 賛：情報サービス産業協会
参加費：無料
13:00-13:10 挨拶
玉井 哲雄 (東大)
13:10-14:45 基調講演：Using Experiments to Build a Body of Knowledge
［ソフトウェア工学の実践経験に基づく知識体系の確立］
Victor R. Basili (University of Maryland, USA)
15:00-17:00ソフトウェア工学の新しいスタイルと課題
15:00-15:30 e-ビジネスソフトウェア開発の展望
上原 三八 (富士通)
15:30-16:00 通信系組込みソフトウェアの開発経験から
藤森 隆 (NEC)
16:00-16:30 XP(エクストリ−ムプログラミング)の現状
平鍋 健児(永和システムマネジメン ト)
16:30-17:00 オープンソース開発：Apache SOAP/Axisの開発経験から
中村 祐一 (日本IBM)
17:00-17:50 総合討論：ソフトウェア工学の挑戦
17:50-18:00 まとめ
青山 幹雄（南 山大）
照 会 先 青山 幹雄（南山大） E-mail: mikio.aoyama@nifty.com
＊詳細は，情報処理学会ソフトウェア工学研究会Webページ(http://www.ipsj.or.jp/sig/se/)
をご覧ください．
ACM日本支部は，2000年度（2000年7月1日〜2001年6月30日）年次総会および講演会を下記の通り開催します．今回は特別講演として，国際派エコノミストである榊原英資氏の講演を行います．是非ご参加ください．
日時：2001年7月25日（水） 14:00-16:30
会場：ホテルフロラシオン青山 3階 「孔雀の間」 （
地図 ）
東京都港区南青山 4-17-58
(tel) 03-3403-1541
地下鉄銀座線・千代田線・半蔵門線「表参道駅」A4出口より徒歩約5分
14:00-15:00 講演会
榊原英資氏 慶應義塾大学教授 （元大蔵財務官）
「今後のアジア政策とインド」いち早く世界的IT先進国となったインドの秘密を明快に解き明かした榊原氏の著書「インドIT革命の驚異」から，現地の最新の情報をまじえながら，インドのソフトウェア産業に関する研究の成果をもとにスケールの大きな分析を展開します．
15:00-15:30 総会
幹事選挙の報告および紹介
2000年度活動報告および会計報告
15:30-16:30 懇親会 （2階 「梅の間」）