国際会議・シンポジウム
| 2008年11月25日 （火） | JAISTフォーラム2008−検証進化可能電子社会− |
| 2008年3月13日 （木） | 情報処理学会 第７０回全国大会記念イベント ワクワクＩＴ＠あきば ２００８ 「暮らしを守る！法令工学って何だろう？」 |
| 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 |
