- ホーム
- 会議・シンポジウム
- 国際会議・シンポジウム
- シンポジウムのお知らせ
シンポジウムのお知らせ
JAIST 21世紀COEシンポジウム2005
「検証進化可能電子社会」講演集 (PDFファイル)
| Key note speech | |
| T. Katayama (JAIST) | Perspective of Verifiable and Evolvable e-Society |
| Technical session 1 <Logic and Verification> | |
| J. Slaney (NICTA) | The Focus Problem: A Fundamental Issue in Automatic Verification File 1 File 2 |
| H. Ono (JAIST) | Reasoning in Nonclassical Logics |
| K. Hiraishi (JAIST) | Modeling and Verification of Workflows for e-Society |
| Technical session 2 <Legal Reasoning> | |
| K. Nitta (Titech) | Logical Representation of Legal Knowledge |
| S. Tojo (JAIST) | Inference from Paraconsistent Legal Knowledge |
| Technical session 3 <Security> | |
| S. Tsujii (Institute of Information Security) | Paradigm of Information Security as Interdisciplinary Comprehensive Science |
| A. Miyaji (JAIST) | Information Security for Privacy Protection |
| Technical session 4 <Modelling and Evolution> | |
| C. Ghezzi (Polimi) | Evolution of Software Composition Mechanisms |
| K. Ochimizu (JAIST) | Software Architecture with Accountability and Evolvability |
| Technical session 5 <Dependable Infrastructure> | |
| R. Schlichting (AT&T Labs - Research) | Building Foundations for Dependable Systems |
| X. Defago (JAIST) | Challenges toward a Dependable Infrastructure for a Trustworthy e-Society |
