ページ内の各所へジャンプします。
メインメニューへ
本文へ
フッターへ
  1. ホーム
  2. 会議・シンポジウム
  3. 国際会議・シンポジウム

国際会議・シンポジウム

2008年11月25日 (火)    JAISTフォーラム2008−検証進化可能電子社会−
2008年3月13日 (木)    情報処理学会 第70回全国大会記念イベント ワクワクIT@あきば 2008 「暮らしを守る!法令工学って何だろう?」
2008年3月3日 (月)・4日(火)    JAIST 21世紀COEシンポジウム2008 「検証進化可能電子社会」
2007年9月6日 (木)・7日(金)    JAIST 21世紀COEシンポジウム 「検証進化可能電子社会」 プログラム(PDFファイル)
9月6日 (木)    JAIST-COE/AIST-CVS シンポジウム:形式検証技術―現状と安心電子社会への適用
9月7日(金)    JAIST-COE シンポジウム:法令工学の可能性と展望
2007年3月7日 (水)・8日(木)    JAIST 21世紀COEシンポジウム2007 「検証進化可能電子社会」
2006年3月8日 (水), 9日(木)    JAIST 21世紀COEシンポジウム2006 「検証進化可能電子社会」
シンポジウム用ポスター(PDFファイル)はこちら.
シンポジウム講演集(PDFファイル)はこちら. 講演集のカバーはこちら.
2005年3月10日 (木), 11日(金)    JAIST 21世紀COEシンポジウム2005 「検証進化可能電子社会」
このシンポジウムに参加するには申し込みが必要です.
下のボタンを押すと参加申し込み用のフォームが現れます.
(締め切りました)
シンポジウム用ポスター(PDFファイル)はこちら.
シンポジウム講演集(PDFファイル)はこちら.
2005年3月8日 (火)    International Symposium on Communication and Software Technologies for Ubiquitous Computing