シンポジウムのお知らせ

ＪＡＩＳＴ　21世紀COEシンポジウム2007

「検証進化可能電子社会」

JAIST 21st Century COE Symposium 2007

Verifiable and Evolvable e-Society

日時・場所

2007年3月7日（水）・8日（木）
北陸先端科学技術大学院大学

プログラム

3月7日（水） 10:00-17:15　（知識講義棟２階中講義室）

JAIST/TRUST-AIST/CVS joint workshop (4th VERITE)と共催

10:00 開催の挨拶
片山 卓也（拠点リーダー）

10:10-12:10　セッション1 法令文書表現と推論 (座長：平石邦彦)
東条 敏(*1) : 法律文の中の不整合の検出 -オントロジーを用いた矛盾概念の拡張-
島津 明(*1) : 法令文書の自然言語処理 1,2
Stijn De Saeger (*2) : Channels for Agent Communication

13:00-15:00　セッション2 形式検証技術・形式推論機構 (座長：小川瑞史)
緒方 和博(*1) : 帰納法と有界モデル検査の組み合わせによる反例発見
Weiqiang Kong(*2） : Algebraic Approaches to Formal Analysis of the Mondex Electronic Purse System
青木 利晃(*3) : マルチタスクソフトウェアの検証法

15:15-17:15　セッション3 モデル化技術・安心基盤技術 (座長：青木利晃)
落水 浩一郎(*1) : 法令工学におけるソフトウェアアカウンタビリティの実現法
金子 峰雄(*1) : 極微細ＬＳＩのタイミング設計
双紙 正和(*1) : 量子理論に基づくセキュリティプロトコル

※講演者の所属（*1 北陸先端科学技術大学院大学 情報科学研究科*2 北陸先端科学技術大学院大学 COEポスドク研究員
*3 北陸先端科学技術大学院大学 安心電子社会研究センター）

---

3月8日（木） 10:00-17:00

GRP研究員発表会（人材養成プログラム　 高信頼インターネットソフトウェア開発検証と共催）

10:00-17:30 場所：北陸先端科学技術大学院大学

セッションA
情報講義棟2階I-3,4

10:00-12:00 A-1
ポスドク：検証 (座長：小川瑞史)
KUCERA, Petr（平石研究室） : Learning assumptions for visibly pushdown languages
木原　均（小野研究室） : Algebraic characterizations of several logical properties for substructural logics
LITAK, Tadeusz（小野研究室） : Semantics for extended modal formalisms
矢竹　健朗（片山研究室） : Security verification of a firewall server in HOL

13:00-14:00 A-2
学生：検証(1) (座長：青木利晃)
VO, Hieu Dinh（鈴木研究室） : A framework for securing component-based applications
HUANG, Ming-Jen（片山研究室） : A rule-based software evolution
Pham Hung Ngoc（片山研究室） : An assume-guarantee approach for modular component-based software verification

14:20-15:20 A-3
学生：検証（2) (座長：緒方和博)
LIN, Hsin-Hung（片山研究室） : Model checking coordination systems
LI, Xin（小川研究室） : Program analysis based on weighted pushdown model checking
NGUYEN, Van Tang（小川研究室） : Visibly stack automata: a formal model of Java stack inspection

15:40-17:00 A-4
学生：検証(3) (座長：緒方和博)
LI, Guoqiang（小川研究室） : On-the-fly model checking of security protocols and its implementation by Maude
MIRCEA, Gaina Daniel（二木研究室） : Institution theory applied to algebraic specifications
SENACHAK, Jittisak（二木研究室） : Tool support for dynamic Nash equilibria in graphical models in systems biology
萩原　信吾（東条研究室） : Discordance detection in regional ordinance: ontology-based verification

セッションB
マテリアル講義棟1階 M-1,2

10:00-12:00 B-1
ポスドク：法令工学・検証 (座長：青木利晃)
NGUYEN, Minh Le（島津研究室） : Transforming natural language sentences to logical forms using structured prediction methods
鈴木　義崇（東条研究室） : Strategic aspect in legal reasoning
XIANG, Jianwen（二木研究室） : Digital Rights: Consumers and Producers in A Digital World

13:00-14:00 B-2
学生：応用(1) (座長：双紙正和)
LE, Anh Cuong（島津研究室） : Classifier combination and semi-supervised learning for word sense disambiguation
NGUYEN, Thai Phuong（島津研究室） : Phrase-based statistical machine translation
NGUYEN, Van Vinh（島津研究室） : Rich linguistic knowledge for phrase-based machine translation

14:20-15:20 B-3
学生：応用 (2) (座長：小川瑞史)
CHEN, Fan（小谷研究室） : Facial expression recognition by elastic bunch graph matching-based classifier
VU, Thang Tat（赤木研究室） : Restoration of bone-conducted speech
YING, Dongwen（党研究室） : Noise eigenspace and its applications for robust speech recognition

15:40-17:00 B-4
学生：応用 (3) (座長：双紙正和)
HUANG, Chun-Fang（赤木研究室） : Three-layer perceptual model of emotional speech project
FANG, Qiang（党研究室） : Linguistic information aided speech inversion
錦戸　信和（党研究室） : Estimation and visualization of articulation from speech signal
WEI, Jianguo（党研究室） : Text-to-speech system for Chinese using physiological articulatory model

セッションC
情報講義棟1階 I-1,2

10:00-12:00 C-1
ポスドク：応用/ネットワーク (座長：井口寧)
山内　肇（東条研究室） : Baldwinian niche construction based accounts of the reverse Baldwin effect
LIANG, Xuefeng（浅野研究室） : A more robust fingerprint identification algorithm
PENG, Chao（丹研究室） : Efficient routing algorithms for large networks
YARED, Rami（Defago研究室） : Collision prevention platform for cooperative mobile robots with asynchronous communication

13:00-14:00 C-2
学生：ネットワーク（1) (座長：Defago Xavier)
NGUYEN, Loc The（片山研究室） : Scheduling methods for divisible workloads in distributed environments
SUN, Wei（井口研究室） : Performance and fault tolerance in scheduling deadline constrained tasks in homogeneous and heterogeneous computing
NGUYEN, Lan Tien（篠田研究室） : A study of QoS on multi-interface multi-channel wireless mesh network

14:20-15:20 C-3
学生：ネットワーク（2) (座長：井口寧)
SANG, Yingpeng（丹研究室） : An efficient and secure protocol for privacy preserving set intersection
XIONG, Naixue（Defago研究室） : Comparative analysis of quality of service and memory usage of failure detectors

15:40-17:00 C-4
学生：応用 (4) (座長：Defago Xavier)
KIM, Myungsik（Chong研究室）: Automated target acquisition and docking RFID system for mobile robot applications
LEE, Geunho（Chong研究室） : Formation control for robot swarms in constrained environments
YANG, Yan（Defago研究室） : Fault-tolerant coordination for a group of mobile robots
RYU, Jae-Kwan（Chong研究室） : Adaptive CPG (Central Pattern Generator) for whole-body humanoid motion control

---

お問い合わせ
安心電子社会研究センター（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