- ホーム
- 会議・シンポジウム
- 国際会議・シンポジウム
- シンポジウムのお知らせ
シンポジウムのお知らせ
JAIST 21世紀COEシンポジウム2006
「検証進化可能電子社会」
日時・場所
2006年3月8日（水）, 9日（木）
北陸先端科学技術大学院大学
プログラム
3月8日（水）10:00 - 17:30
GRP研究員発表会（プログラムは以下参照）
3月9日（木）10:00 - 17:00 （知識講義棟2階中講義室）
10:00 基調講演
片山 卓也（拠点リーダー） : 「検証進化可能電子社会」の実現にむけて
10:45 - 12:15 セッション 1 論理と法推論
小野 寛晰（*1） : 論理における証明論的方法と代数的方法の接点
東条 敏（*1） : 法律知識の矛盾の発見・解消を行う論理システム
島津 明（*1） : 法律条文の言語処理
13:15 - 15:15 セッション 2 モデル化と検証
二木 厚吉（*1） : CafeOBJを用いた形式手法―実行可能形式仕様言語によるシステム検証―
平石 邦彦（*1） : ビジネスプロセスの安心性検証
小川 瑞史（*2） : モデル化と証明に基づく電子社会の安心性検証
落水浩一郎（*1） : ソフトウェアアカウンタビリティの定義と実現法
15:30 - 17:00 セッション 3 セキュリティとインフラストラクチャー
宮地 充子（*1） : 電子社会の安心性検証のための情報セキュリティ
Xavier Defago（*1） : Fault-tolerant group communication protocols and fault-detection
for distributed systems and their application to autonomous mobile systems
篠田 陽一（*3） : インターネットシミュレータによる電子社会の安心性検証
※講演者の所属（*1 北陸先端科学技術大学院大学情報科学研究科*2 北陸先端科学技術大学院大学安心電子社会研究センター
*3 北陸先端科学技術大学院大学情報科学センター）
3月8日（水）GRP（Graduate Research Program）研究員発表会（人材養成プログラム 高信頼インターネットソフトウェア開発検証と共催）
10:00-17:30 場所：北陸先端科学技術大学院大学
セッションA
情報講義棟2階I-3, 4講義室
［セッションA-1］
10:00-12:00
検証（ポスドク）
松本 利雅（小野研究室）
Litak Tadeusz（小野研究室）
XIANG, Jianwen（二木研究室）
Nguyen Truong Thang（片山研究室）
［セッションA-2］
13:00-14:15
検証（1）
KONG, Weiqiang（二木研究室）
SENACHAK, Jittisak（二木研究室）
NGUYEN, Duc Huu（大堀研究室）
Liu Bochao（大堀研究室）
LI, Xin（小川研究室）
［セッションA-3］
14:30-15:45
検証（2）
Li Guoqiang（小川研究室）
NGUYEN, Loc The（片山研究室）
林 信宏（片山研究室）
矢竹 健朗（片山研究室）
YARED, Rami （Defago研究室）
［セッションA-4］
16:00-16:45
検証（3）
XIONG, Nai Xue（Defago研究室）
早稲田 篤志（宮地研究室）
寺田 剛陽（宮地研究室）
セッションB
材料講義棟1階M-1, 2講義室
［セッションB-1］
10:00-11:30
応用/ ネットワーク（ポスドク）
大橋 功治（金子研究室）
NGUYEN, Minh Le（島津研究室）
鈴木 義崇（東条研究室）
［セッションB-2］
13:00-14:15
応用（1）
LE, Cuong Anh（島津研究室）
NGUYEN, Thai Phuong（島津研究室）
NGUYEN, Thanh Tri （島津研究室）
NWE, Ni Tun（東条研究室）
萩原 信吾（東条研究室）
［セッションB-3］
14:30-15:45
応用（2）
KIM, MyungSik（Chong研究室）
YANG, Woosung（Chong研究室）
LEE, Geunho（Chong研究室）
RYU, Jae-Kwan（Chong研究室）
LIANG, Xuefeng（浅野研究室）
［セッションB-4］
16:00-17:30
応用（3）
SAW, Sanda Aye（落水研究室）
新里 圭司（鳥澤研究室）
VU, Thang Tat（赤木研究室）
WEI, Jianguo（党研究室）
YING, Dongwen（党研究室）
錦戸 信和（党研究室）
セッションC
情報講義棟1階I-1, 2講義室
［セッションC-2］
13:00-14:15
ネットワーク（1）
PENG, Chao（Shen研究室）
SANG,Yingpeng（Shen研究室）
ZHANG, Zong Hua（Shen研究室）
QU, Wenyu（Shen研究室）
TIAN, Hui （Shen研究室）
［セッションC-3］
14:30-15:45
ネットワーク（2）
CHEN,Yawen（Shen研究室）
ZHANG, Haibo（Shen研究室）
中田 潤也（丹研究室）
GAO, Feng（松澤研究室）
LE, Vinh Trong（井口研究室）
［セッションC-4］
16:00-17:15
ネットワーク（3）
Zhang Yuanyuan（井口研究室）
SUN, Wei （井口研究室）
YANG, Jun（日比野研究室）
白勢 政明（日比野研究室）
小畑 貴之（金子研究室）
お問い合わせ
安心電子社会研究センター（TRUST）
〒923-1292石川県能美市旭台1-1
TEL: 0761-51-1975 / 1261 FAX: 0761-51-1149
E-MAIL: miyuki-s@jaist.ac.jp
URL: http://www.jaist.ac.jp/jaist-coe
シンポジウム講演集（PDFファイル） 講演集のカバー（PDFファイル）
