国際会議・シンポジウム
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 |