COEセミナーのお知らせ
平成18年5月19日
関係各位
２１世紀ＣＯＥプログラム
−検証進化可能電子社会−
拠点リーダー 片 山 卓 也
=======================================================================
*** 21世紀COEプログラム検証進化可能電子社会オープンセミナーのご案内 ***
=======================================================================
VDM(Vienna Development Method)の創始者として著名なDines Bjorner先生が、
2006年2月からJAIST情報科学研究科の特任教授として研究教育活動を展開され
ており、すでに4月5月とJAIST本校においてDomain Engineeringの講義を開講
しています。この機会にJAISTの東京キャンパスにおいても先生によるDomain
Engineeringのオープンセミナーを以下の要領で開催いたします。
今回はオープンセミナーとして参加費等は徴収しませんが、会場の関係で参加
可能人数は二十数名と限られております。参加希望の方は、以下を参照いただ
き、必ず参加申し込みのe-mailを早めに指定のアドレス宛てお送りください。
なお、セミナーは全て英語で行われ同時通訳等はありません。
=======================================================================
日時： 2006年6月12日（月曜日）18：30−21：40
6月13日（火曜日）18：30−21：40
6月14日（水曜日）18：30−21：40
6月15日（木曜日）18：30−21：40
場所： JAIST東京八重洲キャンパス
http://www.jaist.ac.jp/satellite/sate/satemap0603.pdf
題目： Domain Engineering
概要： http://www.jaist.ac.jp/~bjorner/tokyo-course-1/
を参照
参加申し込み方法：
「domain engineeringオープンセミナー申し込み」と件名(subject)欄に記入
し、参加希望者の氏名、所属、連絡先、e-mailアドレスを明記したe-mailを、
sate@jaist.ac.jp
宛てお送りください。
=======================================================================
関係各位
２１世紀ＣＯＥプログラム
−検証進化可能電子社会−
拠点リーダー 片 山 卓 也
=======================================================================
*** 21世紀COEプログラム検証進化可能電子社会オープンセミナーのご案内 ***
=======================================================================
VDM(Vienna Development Method)の創始者として著名なDines Bjorner先生が、
2006年2月からJAIST情報科学研究科の特任教授として研究教育活動を展開され
ており、すでに4月5月とJAIST本校においてDomain Engineeringの講義を開講
しています。この機会にJAISTの東京キャンパスにおいても先生によるDomain
Engineeringのオープンセミナーを以下の要領で開催いたします。
今回はオープンセミナーとして参加費等は徴収しませんが、会場の関係で参加
可能人数は二十数名と限られております。参加希望の方は、以下を参照いただ
き、必ず参加申し込みのe-mailを早めに指定のアドレス宛てお送りください。
なお、セミナーは全て英語で行われ同時通訳等はありません。
=======================================================================
日時： 2006年6月12日（月曜日）18：30−21：40
6月13日（火曜日）18：30−21：40
6月14日（水曜日）18：30−21：40
6月15日（木曜日）18：30−21：40
場所： JAIST東京八重洲キャンパス
http://www.jaist.ac.jp/satellite/sate/satemap0603.pdf
題目： Domain Engineering
概要： http://www.jaist.ac.jp/~bjorner/tokyo-course-1/
を参照
参加申し込み方法：
「domain engineeringオープンセミナー申し込み」と件名(subject)欄に記入
し、参加希望者の氏名、所属、連絡先、e-mailアドレスを明記したe-mailを、
sate@jaist.ac.jp
宛てお送りください。
=======================================================================
