シンポジウムのお知らせ

JAIST 21世紀COEシンポジウム2005

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

2005年3月10日（木）, 11日（金）

石川ハイテク交流センター（JAIST隣り）

プログラム

Mar. 10 (Thu)
10:00 - 17:00 GRP研究員発表会（人材養成プログラム　 高信頼インターネットソフトウェア開発検証と共催）

Mar. 11 (Fri) 9:00 Greetings: A. Kameoka (vice president JAIST)
9:15 Key note speech
T. Katayama (JAIST)
Title: Perspective of Verifiable and Evolvable e-Society
10:00 - 11:30 Technical session 1 <Logic and Verification>
J. Slaney (NICTA)
Title: The Focus Problem: A Fundamental Issue in Automatic Verification
H. Ono (JAIST)
Title: Reasoning in Nonclassical Logics
K. Hiraishi (JAIST)
Title: Modeling and Verification of Workflows for e-Society

11:30 - 12:30 Technical session 2 <Legal Reasoning>
K. Nitta (Titech)
Title: Logical Representation of Legal Knowledge
S. Tojo (JAIST)
Title: Inference from Paraconsistent Legal Knowledge

12:30 - 13:30 Lunch

13:30 - 14:30 Technical session 3 <Security>
S. Tsujii (Institute of Information Security)
Title: Paradigm of Information Security as Interdisciplinary Comprehensive Science
A. Miyaji (JAIST)
Title: Information Security for Privacy Protection

14:30 - 15:40 Technical session 4 <Modelling and Evolution>
C. Ghezzi (Polimi)
Title: Evolution of Software Composition Mechanisms
K. Ochimizu (JAIST)
Title: Software Architecture with Accountability and Evolvability

15:40 - 16 :00 Coffee Break

16:00 Technical session 5 <Dependable Infrastructure>
R. Schlichting (AT&T Labs - Research)
Title: Building Foundations for Dependable Systems
X. Defago (JAIST)
Title: Challenges toward a Dependable Infrastructure for a Trustworthy e-Society

17:15 Closing Remark: A. Shimazu (JAIST)

使用言語：英語および日本語

参加無料

参加申し込み：http://www.jaist.ac.jp/jaist-coe/
下のボタンを押すと参加申し込み用のフォームが現れます.

参加申し込み(締め切りました)

連絡先：
〒923-1292石川県能美市旭台1-1
北陸先端科学技術大学院大学
安心電子社会研究センター（TRUST）

TEL: 0761-51-1975 / 1261
FAX: 0761-51-1149
E-MAIL: miyuki-s@jaist.ac.jp

シンポジウム用ポスター（PDFファイル）
シンポジウム講演集（PDFファイル）