COEセミナーのお知らせ
平成18年5月19日
関係各位
21世紀COEプログラム
−検証進化可能電子社会−
拠点リーダー 片 山 卓 也
=======================================================================
*** 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プログラム
−検証進化可能電子社会−
拠点リーダー 片 山 卓 也
=======================================================================
*** 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
宛てお送りください。
=======================================================================